Atze Dijkstra

24 papers A 1B 1C 6Misc 1Journal 4Unranked 10
YearRankTypeTitle / Venue / Authors
2024 J jnl
Functional Programming in Financial Markets (Experience Report).
Proc. ACM Program. Lang.
Atze Dijkstra, José Pedro Magalhães, Pierre Néron
2017 J jnl
Incremental evaluation of higher-order attributes.
Sci. Comput. Program.
Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra
2016 — conf
A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts.
IFL
S. Doaitse Swierstra, Marcos Viera, Atze Dijkstra
2016 J jnl
A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts.
CoRR
S. Doaitse Swierstra, Marcos Viera, Atze Dijkstra
2015 C conf
Incremental Evaluation of Higher Order Attributes.
PEPM
Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra
2015 A conf
Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving.
TACAS
Jeroen Bransen, L. Thomas van Binsbergen, Koen Claessen, Atze Dijkstra
2015 C conf
Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection.
PEPM
L. Thomas van Binsbergen, Jeroen Bransen, Atze Dijkstra
2014 C conf
Lazy stateless incremental evaluation machinery for attribute grammars.
PEPM
Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra
2013 — conf
Parse Your Options.
The Beauty of Functional Code
S. Doaitse Swierstra, Atze Dijkstra
2012 — conf
Building JavaScript Applications with Haskell.
IFL
Atze Dijkstra, Jurriën Stutterheim, Alessandro Vermeulen, S. Doaitse Swierstra
2012 — conf
Grammar fragments fly first-class.
LDTA
Marcos Viera, S. Doaitse Swierstra, Atze Dijkstra
2012 C conf
The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars.
PADL
Jeroen Bransen, Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
2011 — conf
Stepwise evaluation of attribute grammars.
LDTA
Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
2010 C conf
A generic deriving mechanism for Haskell.
Haskell
José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh
2010 J jnl
A lean specification for GADTs: system F with first-class equality proofs.
High. Order Symb. Comput.
Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
2010 — conf
Dependently Typed Attribute Grammars.
IFL
Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
2010 B conf
Iterative type inference with attribute grammars.
GPCE
Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
2010 — conf
Visitor-based Attribute Grammars with Side Effect.
WGT
Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
2009 C conf
The architecture of the Utrecht Haskell compiler.
Haskell
Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra
2008 — conf
A Leaner Specification for GADTs.
Trends in Functional Programming
Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
2007 — conf
The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity.
IFL
Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra
2006 Misc conf
Ruler: Programming Type Rules.
FLOPS
Atze Dijkstra, S. Doaitse Swierstra
2005 — —
Stepping through Haskell.
Atze Dijkstra
2004 — conf
Typing Haskell with an Attribute Grammar.
Advanced Functional Programming
Atze Dijkstra, S. Doaitse Swierstra