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

Type specialisation for imperative languages:

, In: Proceedings of the second ACM SIGPLAN international conference on Functional programming,
Dussart, Dirk ; Hughes, John ; Thiemann, Peter - p. 204-216 , 1997
Link: https://dl.acm.org/doi/10.1145/258948.258968