P. Lee, M. Leone, S. Michaylov, and F. Pfenning. Towards a Practical Programming Language Based on the Polymorphic Lambda Calculus. Technical report, School of Computer Science, Carnegie Mellon University, November 1989. Ergo Project Report ERGO-89-085. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Polymorphic Calculus for Database Languages - Fegaras (1997) (Correct)
....type. An instance of such a type is actually a program that performs computations over this type. For example, the Church numerals are actually iteration schemes that can perform any primitive recursive computation over numerals. There are already some programming languages (e.g. LEAPS [18, 14] and Charity [7] as well as some database calculi (e.g. the fold algebra [8] that are based on iteration instead of recursion. The main problem of representing sets in F 1 using Church encodings is that sets become semantically equivalent to lists. Under this representation, one can convert a ....
P. Lee, M. Leone, S. Michaylov, and F. Pfenning. Towards a Practical Programming Language Based on the Polymorphic Lambda Calculus. Technical report, School of Computer Science, Carnegie Mellon University, November 1989. Ergo Project Report ERGO-89-085.
A Polymorphic Calculus for Database Languages - Fegaras (Correct)
....types) is a higher order type. An instance of such a type is actually a program that performs computations over this type. For example, the Church numerals are actually iteration schemes that can perform any primitive recursive computation. There are already some programming languages (e.g. LEAPS [20, 17], ADL [16] and Charity [8] as well as some database calculi (e.g. the fold algebra [9] that are based on iteration instead of recursion. The main problem of representing sets and bags in F 1 using Church encodings is that they become semantically equivalent to lists. Under this representation, ....
P. Lee, M. Leone, S. Michaylov, and F. Pfenning. Towards a Practical Programming Language Based on the Polymorphic Lambda Calculus. Technical report, School of Computer Science, Carnegie Mellon University, November 1989. Ergo Project Report ERGO-89-085.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC