[ACM Press the 13th international ACM SIGPLAN symposium - Odense, Denmark (2011.07.20-2011.07.22)] Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming - PPDP '11 - Linearity and recursion in a typed Lambda-calculus
Alves, Sandra, Fernández, Maribel, Florido, Mário, Mackie, IanYear:
2011
Language:
english
DOI:
10.1145/2003476.2003500
File:
PDF, 518 KB
english, 2011