dblp.uni-trier.dewww.uni-trier.de

Atze Dijkstra

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
2EEAtze Dijkstra, S. Doaitse Swierstra: Ruler: Programming Type Rules. FLOPS 2006: 30-46
2004
1EEAtze Dijkstra, S. Doaitse Swierstra: Typing Haskell with an Attribute Grammar. Advanced Functional Programming 2004: 1-72

Coauthor Index

1S. Doaitse Swierstra [1] [2]

Copyright © Thu Jun 5 07:42:39 2008 by Michael Ley (ley@uni-trier.de)