Browse by Publisher

Group by: Item Type | Date | No Grouping

Number of items: 2.

Sulzmann, Martin and Wang, Meng (2005) Translating Generalized Algebraic Data Types to System F. Technical report. National University of Singapore (Unpublished) (KAR id:47488)

Sulzmann, Martin and Wang, Meng (2004) A Systematic Translation of Guarded Recursive Data Types to Existential Types. Technical report. National University of Singapore (Unpublished) (KAR id:47487)

This list was generated on Sat Dec 21 01:34:45 2024 GMT.