λProlog: Logic programming in higher-order logic(lix.polytechnique.fr)149 points by ux266478 8 months ago | 36 comments
Waterloo Style(theprogrammersparadox.blogspot.com)135 points by todsacerdoti 3 years ago | 40 comments
A decade of developing a programming language(yorickpeterse.com)250 points by YorickPeterse 2 years ago | 127 comments
Programming languages going above and beyond(whileydave.com)305 points by rrampage 3 years ago | 167 comments