I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Typed compilation of recursive datatypes:

, In: Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation,
Vanderwaart, Joseph C. ; Dreyer, Derek ; Petersen, Leaf... - p. 98-108 , 2003
Link: https://dl.acm.org/doi/10.1145/604174.604187