Skip to main content
Kent Academic Repository
Simple search | Advanced search

Browse by Publisher

[up] Up a level
Group by: Item Type | Date | No Grouping
Jump to: Reports and Papers
Number of items: 2.

Reports and Papers

Sulzmann, Martin and Wang, Meng (2005) Translating Generalized Algebraic Data Types to System F. Technical report. National University of Singapore (Unpublished) (KAR id:47488)
Format: PDF
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)
Format: PDF
This list was generated on Sat Dec 21 01:34:45 2024 GMT.
SensusAccess
Feedback