Meta II a syntax-oriented compiler writing language (1964)(dl.acm.org)23 points by begoon 1 year ago | 2 comments
Looplets: A Language for Structured Coiteration(dl.acm.org)50 points by matt_d 3 years ago | 21 comments
The Janus System: Multi-Paradigm Programming in Prolog and Python(arxiv.org)81 points by woolion 3 years ago | 9 comments
C*: Unifying Programming and Verification in C (2025)(arxiv.org)71 points by rramadass 1 month ago | 41 comments