Atze Dijkstra

发表

S. Doaitse Swierstra, Arie Middelkoop, Atze Dijkstra, 2010, GPCE '10.

Atze Dijkstra, S. D. Swierstra, A. Dijkstra, 2004 .

S. Doaitse Swierstra, Atze Dijkstra, Jeroen Bransen, 2017, Sci. Comput. Program..

S. Doaitse Swierstra, Atze Dijkstra, Marcos Viera, 2016, IFL 2016.

S. Doaitse Swierstra, Atze Dijkstra, Jeroen Fokker, 2007, IFL.

S. Doaitse Swierstra, Arie Middelkoop, Atze Dijkstra, 2010, IFL.

S. Doaitse Swierstra, Arie Middelkoop, Atze Dijkstra, 2008, Trends in Functional Programming.

S. Doaitse Swierstra, Atze Dijkstra, Marcos Viera, 2012, LDTA.

Atze Dijkstra, Henrique Ferreiro, Víctor M. Gulías, 2009 .

S. Doaitse Swierstra, Atze Dijkstra, Jeroen Bransen, 2014, PEPM '14.

S. Doaitse Swierstra, Atze Dijkstra, Jurriën Stutterheim, 2012, IFL.

Johan Jeuring, Andres Löh, Atze Dijkstra, 2010 .

Atze Dijkstra, D. S. Swierstra, A. Dijkstra, 2001 .

S. Doaitse Swierstra, Arie Middelkoop, Atze Dijkstra, 2012, PADL.

Johan Jeuring, Andres Löh, Atze Dijkstra, 2010, Haskell '10.

S. Doaitse Swierstra, Atze Dijkstra, Jeroen Bransen, 2015, PEPM.

S. Doaitse Swierstra, Atze Dijkstra, 2006, FLOPS.

S. Doaitse Swierstra, Atze Dijkstra, A. Dijkstra, 2004, Advanced Functional Programming.

Atze Dijkstra, 2000 .

S. Doaitse Swierstra, Arie Middelkoop, Atze Dijkstra, 2010, High. Order Symb. Comput..

Atze Dijkstra, L. Thomas van Binsbergen, Jeroen Bransen, 2015, PEPM.

S. Doaitse Swierstra, Atze Dijkstra, Jeroen Bransen, 2014 .

S. Doaitse Swierstra, Atze Dijkstra, 2013, The Beauty of Functional Code.

S. Doaitse Swierstra, Arie Middelkoop, Atze Dijkstra, 2011, Electron. Notes Theor. Comput. Sci..

S. Doaitse Swierstra, Atze Dijkstra, Jeroen Fokker, 2009, Haskell.

Koen Claessen, Atze Dijkstra, L. Thomas van Binsbergen, 2015, TACAS.