Travelled to:1 × Belgium
1 × France
1 × India
1 × Japan
1 × Portugal
1 × Sweden
2 × Estonia
4 × The Netherlands
4 × United Kingdom
5 × Germany
7 × USA
Collaborated with:A.Dijkstra M.Viera J.Saraiva A.Middelkoop M.F.Kuiper A.I.Baars J.Fokker J.Jeuring H.Vogt J.Bransen W.Swierstra J.Stutterheim R.J.M.Hughes L.Duponcheel J.Krijnen B.Heeren J.Hage P.R.A.Alcocer M.Pennings E.Lempsink A.Vermeulen
Talks about:attribut (16) grammar (16) type (10) evalu (8) haskel (6) increment (5) function (5) program (5) compil (4) order (4)
♂ Person: S. Doaitse Swierstra
DBLP: Swierstra:S=_Doaitse
Facilitated 7 volumes:
Ed
PrCoPrCo
EdEd
EdEdContributed to:
2015
20142014
2013201220122012
20122011
20102010
2009201020092007
20062004200320032002
2000199919981996
1995199419921991
1990
1989
200420082009Wrote 35 papers:
- PEPM-2015-BransenDS #evaluation #higher-order #incremental
- Incremental Evaluation of Higher Order Attributes (JB, AD, SDS), pp. 39–48.
- PADL-2014-KrijnenSV #named #towards
- Expand: Towards an Extensible Pandoc System (JK, SDS, MV), pp. 200–215.
- PEPM-2014-BransenDS #attribute grammar #incremental #lazy evaluation
- Lazy stateless incremental evaluation machinery for attribute grammars (JB, AD, SDS), pp. 145–156.
- IFL-2013-VieraS #composition #semantics #syntax
- First Class Syntax, Semantics, and Their Composition (MV, SDS), p. 73.
- IFL-2012-DijkstraSVS #haskell #javascript
- Building JavaScript Applications with Haskell (AD, JS, AV, SDS), pp. 37–52.
- LDTA-2012-VieraSD
- Grammar fragments fly first-class (MV, SDS, AD), p. 5.
- LDTA-2012-VieraSM #attribute grammar #how
- UUAG meets AspectAG: how to make attribute grammars first-class (MV, SDS, AM), p. 6.
- PADL-2012-BransenMDS #algorithm #attribute grammar
- The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars (JB, AM, AD, SDS), pp. 183–197.
- TFPIE-2012-StutterheimSS #declarative #education #programming #prolog
- Forty hours of declarative programming: Teaching Prolog at the Junior College Utrecht (JS, WS, SDS), pp. 50–62.
- 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.
- ICFP-2009-VieraSS #aspect-oriented #attribute grammar #haskell #how #programming
- Attribute grammars fly first-class: how to do aspect oriented programming in Haskell (MV, SDS, WS), pp. 245–256.
- LDTA-2009-BaarsSV10
- Typed Transformations of Typed Grammars: The Left Corner Transform (AIB, SDS, MV), pp. 51–64.
- LDTA-2008-FokkerS09 #abstract interpretation #attribute grammar #functional #source code #using
- Abstract Interpretation of Functional Programs using an Attribute Grammar System (JF, SDS), pp. 117–133.
- 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.
- GPCE-2003-SaraivaS #attribute grammar #generative #tool support
- Generating Spreadsheet-Like Tools from Strong Attribute Grammars (JS, SDS), pp. 307–323.
- ICFP-2003-HeerenHS #process #type inference
- Scripting the type inference process (BH, JH, SDS), pp. 3–13.
- ICFP-2003-HughesS #parsing
- Polish parsers, step by step (RJMH, SDS), pp. 239–248.
- ICFP-2002-BaarsS #dynamic typing #type system
- Typing dynamic typing (AIB, SDS), pp. 157–166.
- CC-2000-SaraivaSK #attribute grammar #functional #incremental
- Functional Incremental Attribute Evaluation (JS, SDS, MFK), pp. 279–294.
- CC-1999-SariavaS #compilation #data type
- Data Structure Free Compilation (JS, SDS), pp. 1–16.
- AFP-1998-SwierstraAS98 #combinator #design #implementation
- Designing and Implementing Combinator Languages (SDS, PRAA, JS), pp. 150–206.
- AFP-1996-SwierstraD96 #combinator #parsing
- Deterministic, Error-Correcting Combinator Parsers (SDS, LD), pp. 184–207.
- FPCA-1995-JeuringS #analysis #functional #problem #source code
- Constructing Functional Programs for Grammar Analysis Problems (JJ, SDS), pp. 259–269.
- ESOP-1994-JeuringS #analysis #bottom-up #functional
- Bottom-up Grammar Analysis — A Functional Formulation (JJ, SDS), pp. 317–332.
- PLILP-1992-PenningsSV #attribute grammar #incremental #using
- Using Cached Functions and Constructors for Incremental Attribute Evaluation (MP, SDS, HV), pp. 130–144.
- PLILP-1991-VogtSK #attribute grammar #higher-order #incremental #performance
- Efficient Incremental Evaluation of Higher order Attribute Grammars (HV, SDS, MFK), pp. 231–242.
- WAGA-1990-KuiperS #attribute grammar #detection #parallel
- Parallel Attribute Evaluation: Structure of Evaluators and Detection of Parallelism (MFK, SDS), pp. 61–75.
- PLDI-1989-VogtSK #attribute grammar #higher-order
- Higher-Order Attribute Grammars (HV, SDS, MFK), pp. 131–145.
- Haskell-2004-BaarsS #type safety
- Type-safe, self inspecting code (AIB, SDS), pp. 69–79.
- Haskell-2008-VieraSL #haskell #parsing #performance #runtime #top-down
- Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime (MV, SDS, EL), pp. 63–74.
- Haskell-2009-DijkstraFS #architecture #compilation #haskell
- The architecture of the Utrecht Haskell compiler (AD, JF, SDS), pp. 93–104.