Atze Dijkstra

Orcid: 0000-0003-2906-3067

According to our database1, Atze Dijkstra authored at least 22 papers between 2004 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Functional Programming in Financial Markets (Experience Report).
Proc. ACM Program. Lang., 2024

2017
Incremental evaluation of higher-order attributes.
Sci. Comput. Program., 2017

2016
A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts.
Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, 2016

2015
Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection.
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, 2015

2014
Lazy stateless incremental evaluation machinery for attribute grammars.
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

2013
Parse Your Options.
Proceedings of the Beauty of Functional Code, 2013

2012
The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars.
Proceedings of the Practical Aspects of Declarative Languages, 2012

Grammar fragments fly first-class.
Proceedings of the International Workshop on Language Descriptions, 2012

Building JavaScript Applications with Haskell.
Proceedings of the Implementation and Application of Functional Languages, 2012

2011
Stepwise evaluation of attribute grammars.
Proceedings of the Language Descriptions, Tools and Applications, 2011

2010
A lean specification for GADTs: system F with first-class equality proofs.
High. Order Symb. Comput., 2010

Visitor-based Attribute Grammars with Side Effect.
Proceedings of the Second Workshop on Generative Technologies, 2010

Dependently Typed Attribute Grammars.
Proceedings of the Implementation and Application of Functional Languages, 2010

A generic deriving mechanism for Haskell.
Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, 2010

Iterative type inference with attribute grammars.
Proceedings of the Generative Programming And Component Engineering, 2010

2009
The architecture of the Utrecht Haskell compiler.
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
The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity.
Proceedings of the Implementation and Application of Functional Languages, 2007

2006
Ruler: Programming Type Rules.
Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

2005
Stepping through Haskell.
PhD thesis, 2005

2004
Typing Haskell with an Attribute Grammar.
Proceedings of the Advanced Functional Programming, 2004


  Loading...