Document Search Results

Stratified type inference for generalized algebraic data types. (English) Zbl 1369.68114

Proceedings of the 33rd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’06, Charleston, SC, USA, January 11–13, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-027-2). 232-244 (2006).

MSC: 68N18 68N30 68Q65

Cite Review PDF

Full Text: DOI Link

Pottier, François; Gauthier, Nadji

Polymorphic typed defunctionalization and concretization. (English) Zbl 1105.68018

High.-Order Symb. Comput. 19, No. 1, 125-162 (2006).

MSC: 68N18

Cite Review PDF

Full Text: DOI

Pottier, François; Gauthier, Nadji

Polymorphic typed defunctionalization. (English) Zbl 1325.68049

Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’04, Venice, Italy, January 14–16, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-729-X). 89-98 (2004).

MSC: 68N18 03B70 68N15 68N20 68N30

Cite Review PDF

Full Text: DOI

Gauthier, Nadji; Pottier, François

Numbering matters: first-order canonical forms for second-order recursive types. (English) Zbl 1323.68073

Proceedings of the 9th ACM SIGPLAN international conference on functional programming, ICFP ’04, Uppsala, Snowbird, UT, USA, September 19–21, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-905-5). ACM SIGPLAN Notices 39, No. 9, 150-161 (2004).

MSC: 68N15 03B70 68N18

Cite Review PDF

Full Text: DOI

Found 4 Documents (Results 1–4)

Stratified type inference for generalized algebraic data types. (English) Zbl 1369.68114

Polymorphic typed defunctionalization and concretization. (English) Zbl 1105.68018

Polymorphic typed defunctionalization. (English) Zbl 1325.68049

Numbering matters: first-order canonical forms for second-order recursive types. (English) Zbl 1323.68073

Filter Results by …

Document Type

Author

Year of Publication

Main Field

Software