Atze Dijkstra

List of publications from the DBLP Bibliography Server - FAQ

2006

2 EE Atze Dijkstra, S. Doaitse Swierstra: Ruler: Programming Type Rules. FLOPS 2006: 30-46

2004

1 EE Atze Dijkstra, S. Doaitse Swierstra: Typing Haskell with an Attribute Grammar. Advanced Functional Programming 2004: 1-72

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

Coauthor Index