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

Relating typability and expressiveness in finite-rank inter..:

, In: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming,
Kfoury, Assaf J. ; Mairson, Harry G. ; Turbak, Franklyn A.. - p. 90-101 , 1999
Link: https://dl.acm.org/doi/10.1145/317636.317788