BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × India
1 × Japan
2 × Estonia
2 × Germany
2 × The Netherlands
2 × USA
2 × United Kingdom
Collaborated with:
S.D.Swierstra J.Bransen A.Middelkoop J.Fokker L.T.v.Binsbergen M.Viera K.Claessen J.Stutterheim A.Vermeulen J.P.Magalhães J.Jeuring A.Löh
Talks about:
attribut (9) grammar (9) haskel (5) order (4) type (4) compil (3) evalu (3) increment (2) linear (2) depend (2)

Person: Atze Dijkstra

DBLP DBLP: Dijkstra:Atze

Contributed to:

PEPM 20152015
TACAS 20152015
PEPM 20142014
IFL 20122012
LDTA 20122012
PADL 20122012
LDTA 20112011
GPCE 20102010
IFL 20102010
IFL 20072007
FLOPS 20062006
AFP 20042004
Haskell 20092009
Haskell 20102010

Wrote 15 papers:

PEPM-2015-BinsbergenBD #attribute grammar #automation #dependence #order
Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection (LTvB, JB, AD), pp. 49–60.
PEPM-2015-BransenDS #evaluation #higher-order #incremental
Incremental Evaluation of Higher Order Attributes (JB, AD, SDS), pp. 39–48.
TACAS-2015-BransenBCD #attribute grammar #order #scheduling #using
Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving (JB, LTvB, KC, AD), pp. 289–303.
PEPM-2014-BransenDS #attribute grammar #incremental #lazy evaluation
Lazy stateless incremental evaluation machinery for attribute grammars (JB, AD, SDS), pp. 145–156.
IFL-2012-DijkstraSVS #haskell #javascript
Building JavaScript Applications with Haskell (AD, JS, AV, SDS), pp. 37–52.
Grammar fragments fly first-class (MV, SDS, AD), p. 5.
PADL-2012-BransenMDS #algorithm #attribute grammar
The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars (JB, AM, AD, SDS), pp. 183–197.
LDTA-2011-MiddelkoopDS #attribute grammar
Stepwise evaluation of attribute grammars (AM, AD, SDS), p. 5.
GPCE-2010-MiddelkoopDS #attribute grammar #type inference
Iterative type inference with attribute grammars (AM, AD, SDS), pp. 43–52.
IFL-2010-MiddelkoopDS #attribute grammar
Dependently Typed Attribute Grammars (AM, AD, SDS), pp. 105–120.
IFL-2007-DijkstraFS #compilation #complexity #haskell
The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity (AD, JF, SDS), pp. 57–74.
FLOPS-2006-DijkstraS #named #programming
Ruler: Programming Type Rules (AD, SDS), pp. 30–46.
AFP-2004-DijkstraS04 #attribute grammar #haskell #type system
Typing Haskell with an Attribute Grammar (AD, SDS), pp. 1–72.
Haskell-2009-DijkstraFS #architecture #compilation #haskell
The architecture of the Utrecht Haskell compiler (AD, JF, SDS), pp. 93–104.
Haskell-2010-MagalhaesDJL #haskell
A generic deriving mechanism for Haskell (JPM, AD, JJ, AL), pp. 37–48.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.