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