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

A theory of type qualifiers:

, In: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation,
Foster, Jeffrey S. ; Fähndrich, Manuel ; Aiken, Alexander - p. 192-203 , 1999
Link: https://dl.acm.org/doi/10.1145/301618.301665