-
1
Proceedings of the 2001 ACM SIGPLAN Haskell Workshop
Julkaistu 2001“…Electronic Notes in Theoretical Computer Science…”
Conference item -
2
From Predicates to Programs: The Semantics of a Method Language
Julkaistu 2007“…Electronic Notes in Theoretical Computer Science…”
Conference item