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

Soft typing with conditional types:

, In: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages,
Aiken, Alexander ; Wimmers, Edward L. ; Lakshman, T. K. - p. 163-173 , 1994
Link: https://dl.acm.org/doi/10.1145/174675.177847