Atze Dijkstra
Orcid: 0000-0003-2906-3067
According to our database1,
Atze Dijkstra
authored at least 22 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proc. ACM Program. Lang., 2024
2017
2016
Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, 2016
2015
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, 2015
2014
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014
2013
2012
Proceedings of the Practical Aspects of Declarative Languages, 2012
Proceedings of the International Workshop on Language Descriptions, 2012
Proceedings of the Implementation and Application of Functional Languages, 2012
2011
Proceedings of the Language Descriptions, Tools and Applications, 2011
2010
High. Order Symb. Comput., 2010
Proceedings of the Second Workshop on Generative Technologies, 2010
Proceedings of the Implementation and Application of Functional Languages, 2010
Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, 2010
Proceedings of the Generative Programming And Component Engineering, 2010
2009
Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, 2009
2008
A Leaner Specification for GADTs.
Proceedings of the Nineth Symposium on Trends in Functional Programming, 2008
2007
Proceedings of the Implementation and Application of Functional Languages, 2007
2006
Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006
2005
2004
Proceedings of the Advanced Functional Programming, 2004