Wouter Swierstra

Utrecht University - Utrecht / Netherlands

Engineering & Technology / Computer Science

AD Scientific Index ID: 1873243

Universiteit Utrecht

Go Premium -
Unlock Full Profile Tools

Get Your Global Impact Certificate

Utrecht University

Wouter Swierstra's MOST POPULAR ARTICLES

1-) Data types à la carte Journal of functional programming 18 (4), 423-436, 2008

2-) Observational equality, now! Proceedings of the 2007 workshop on Programming languages meets program …, 2007

3-) The power of Pi Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008

4-) Engineering proof by reflection in Agda Symposium on Implementation and Application of Functional Languages, 157-173, 2012

5-) Beauty in the beast Proceedings of the ACM SIGPLAN workshop on Haskell workshop, 25-36, 2007

ARTICLES

Add your articles