Bibtex actions: edit source raw source raw html
1996
-
Peter Achten.
Interactive functional programs - Models, methods, and implementations.
Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands ,
1996.
-
Erik Barendsen and Sjaak Smetsers.
Uniqueness typing for functional languages with graph rewriting semantics.
Mathematical Structures in Computer Science,
6,
579-612,
1996.
