The λ-calculus with constructors: Syntax, confluence and separation.
- Published in:
- Journal of Functional Programming, 2009, v. 19, n. 5, p. 581, doi. 10.1017/S0956796809007369
- By:
- Publication type:
- Article
Works matching IS 09567968 AND DT 2009 AND VI 19 AND IP 5
Results: 5
1
2
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages.
- Published in:
- Journal of Functional Programming, 2009, v. 19, n. 5, p. 509, doi. 10.1017/S0956796809007205
- By:
- Publication type:
- Article
3
FUNCTIONAL PEARLS: The Bird Tree.
- Published in:
- Journal of Functional Programming, 2009, v. 19, n. 5, p. 491, doi. 10.1017/S0956796809990116
- By:
- Publication type:
- Article
4
Editorial.
- Published in:
- 2009
- By:
- Publication type:
- Editorial
5
Algebra of programming in Agda: Dependent types for relational program derivation.
- Published in:
- Journal of Functional Programming, 2009, v. 19, n. 5, p. 545, doi. 10.1017/S0956796809007345
- By:
- Publication type:
- Article