Atze Dijkstra

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Functional Programming in Financial Markets (Experience Report).

Atze Dijkstra, José Pedro Magalhães, Pierre Néron

Proc. ACM Program. Lang., 2024

2017

Incremental evaluation of higher-order attributes.

Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra

Sci. Comput. Program., 2017

2016

A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts.

S. Doaitse Swierstra, Marcos Viera, Atze Dijkstra

Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, 2016

2015

Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving.

Jeroen Bransen, L. Thomas van Binsbergen, Koen Claessen, Atze Dijkstra

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection.

L. Thomas van Binsbergen, Jeroen Bransen, Atze Dijkstra

Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, 2015

2014

Lazy stateless incremental evaluation machinery for attribute grammars.

Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra

Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

2013

Parse Your Options.

S. Doaitse Swierstra, Atze Dijkstra

Proceedings of the Beauty of Functional Code, 2013

2012

The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars.

Jeroen Bransen, Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra

Proceedings of the Practical Aspects of Declarative Languages, 2012

Grammar fragments fly first-class.

Marcos Viera, S. Doaitse Swierstra, Atze Dijkstra

Proceedings of the International Workshop on Language Descriptions, 2012

Building JavaScript Applications with Haskell.

Atze Dijkstra, Jurriën Stutterheim, Alessandro Vermeulen, S. Doaitse Swierstra

Proceedings of the Implementation and Application of Functional Languages, 2012

2011

Stepwise evaluation of attribute grammars.

Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra

Proceedings of the Language Descriptions, Tools and Applications, 2011

2010

A lean specification for GADTs: system F with first-class equality proofs.

Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra

High. Order Symb. Comput., 2010

Visitor-based Attribute Grammars with Side Effect.

Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra

Proceedings of the Second Workshop on Generative Technologies, 2010

Dependently Typed Attribute Grammars.

Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra

Proceedings of the Implementation and Application of Functional Languages, 2010

A generic deriving mechanism for Haskell.

José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh

Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, 2010

Iterative type inference with attribute grammars.

Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra

Proceedings of the Generative Programming And Component Engineering, 2010

2009

The architecture of the Utrecht Haskell compiler.

Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra

Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, 2009

2008

A Leaner Specification for GADTs.

Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra

Proceedings of the Nineth Symposium on Trends in Functional Programming, 2008

2007

The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity.

Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra

Proceedings of the Implementation and Application of Functional Languages, 2007

2006

Ruler: Programming Type Rules.

Atze Dijkstra, S. Doaitse Swierstra

Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

2005

Stepping through Haskell.

Atze Dijkstra

PhD thesis, 2005

2004

Typing Haskell with an Attribute Grammar.

Atze Dijkstra, S. Doaitse Swierstra

Proceedings of the Advanced Functional Programming, 2004