Pages that link to "Item:Q1314540"
From MaRDI portal
The following pages link to Semantics-directed generation of a Prolog compiler (Q1314540):
Displaying 4 items.
- On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory (Q1120558) (← links)
- Semantics, applications, and implementation of program generation. International workshop, SAIG 2000, Montrèal, Canada, September 20, 2000. Proceedings (Q1582979) (← links)
- (Q3212266) (← links)
- (Q4294268) (← links)