Back to Results
First PageMeta Content
Lambda calculus / Type theory / Combinatory logic / Fixed-point combinator / Recursion / Type system / Monad / Declaration / First-order logic / Theoretical computer science / Software engineering / Mathematical logic


Everything old is new again: Quoted Domain Specific Languages Shayan Najd Sam Lindley
Add to Reading List

Document Date: 2015-03-15 07:34:21


Open Document

File Size: 257,50 KB

Share Result on Facebook
UPDATE