S. Doaitse Swierstra

Publication Activity (10 Years)

Years Active: 1982-2017
Publications (10 Years): 5

Top Topics

Averaged One Dependence Estimators

Attribute Grammars

Declarative Programming

Top Venues

Sci. Comput. Program.

Publications

Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra
Incremental evaluation of higher-order attributes. Sci. Comput. Program. 137 (2017)
S. Doaitse Swierstra, Marcos Viera, Atze Dijkstra
A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts. CoRR (2016)
S. Doaitse Swierstra, Marcos Viera, Atze Dijkstra
A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts. IFL (2016)
Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra
Incremental Evaluation of Higher Order Attributes. PEPM (2015)
Marcos Viera, S. Doaitse Swierstra
Compositional compiler construction: Oberon0. Sci. Comput. Program. 114 (2015)
Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra
Lazy stateless incremental evaluation machinery for attribute grammars. PEPM (2014)
Jacco Krijnen, S. Doaitse Swierstra, Marcos Viera
Expand: Towards an Extensible Pandoc System. PADL (2014)
Marcos Viera, S. Doaitse Swierstra
Attribute grammar macros. Sci. Comput. Program. 96 (2014)
Marcos Viera, S. Doaitse Swierstra
First Class Syntax, Semantics, and Their Composition. IFL (2013)
S. Doaitse Swierstra, Atze Dijkstra
Parse Your Options. The Beauty of Functional Code (2013)
Jurriën Stutterheim, Wouter Swierstra, S. Doaitse Swierstra
Forty hours of declarative programming: Teaching Prolog at the Junior College Utrecht TFPIE (2012)
Marcos Viera, S. Doaitse Swierstra, Atze Dijkstra
Grammar fragments fly first-class. LDTA (2012)
Marcos Viera, S. Doaitse Swierstra
Attribute Grammar Macros. SBLP (2012)
Marcos Viera, S. Doaitse Swierstra, Arie Middelkoop
UUAG meets AspectAG: how to make attribute grammars first-class. LDTA (2012)
Atze Dijkstra, Jurriën Stutterheim, Alessandro Vermeulen, S. Doaitse Swierstra
Building JavaScript Applications with Haskell. IFL (2012)
Jeroen Bransen, Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars. PADL (2012)
Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
Visitor-based Attribute Grammars with Side Effect. Electron. Notes Theor. Comput. Sci. 264 (5) (2011)
Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
Stepwise evaluation of attribute grammars. LDTA (2011)
Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera
Typed Transformations of Typed Grammars: The Left Corner Transform. Electron. Notes Theor. Comput. Sci. 253 (7) (2010)
Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
Iterative type inference with attribute grammars. GPCE (2010)
Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
Dependently Typed Attribute Grammars. IFL (2010)
Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
A lean specification for GADTs: system F with first-class equality proofs. High. Order Symb. Comput. 23 (2) (2010)
S. Doaitse Swierstra, Olaf Chitil
Linear, bounded, functional pretty-printing. J. Funct. Program. 19 (1) (2009)
Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera
Typed transformations of typed abstract syntax. TLDI (2009)
Jeroen Fokker, S. Doaitse Swierstra
Abstract Interpretation of Functional Programs using an Attribute Grammar System. Electron. Notes Theor. Comput. Sci. 238 (5) (2009)
Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra
The architecture of the Utrecht Haskell compiler. Haskell (2009)
Marcos Viera, S. Doaitse Swierstra, Wouter Swierstra
Attribute grammars fly first-class: how to do aspect oriented programming in Haskell. ICFP (2009)
Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
A Leaner Specification for GADTs. Trends in Functional Programming (2008)
Marcos Viera, S. Doaitse Swierstra, Eelco Lempsink
Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime. Haskell (2008)
Martijn M. Schrage, S. Doaitse Swierstra
Beyond ASCII - Parsing Programs with Graphical Presentations. J. Univers. Comput. Sci. 14 (21) (2008)
S. Doaitse Swierstra
Combinator Parsing: A Short Tutorial. LerNet ALFA Summer School (2008)
Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra
The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity. IFL (2007)
I. S. W. B. Prasetya, Tanja E. J. Vos, S. Doaitse Swierstra
Web Cube. FORTE (2006)
Atze Dijkstra, S. Doaitse Swierstra
Ruler: Programming Type Rules. FLOPS (2006)
Tanja E. J. Vos, S. Doaitse Swierstra
Facilitating the Verification of Diffusing Computations and Their Applications. CLEI Electron. J. 8 (1) (2005)
I. S. W. B. Prasetya, S. Doaitse Swierstra
Formal design of self-stabilizing programs. J. High Speed Networks 14 (1) (2005)
Arthur I. Baars, S. Doaitse Swierstra
Type-safe, self inspecting code. Haskell (2004)
Arthur I. Baars, Andres Löh, S. Doaitse Swierstra
Parsing permutation phrases. J. Funct. Program. 14 (6) (2004)
Atze Dijkstra, S. Doaitse Swierstra
Typing Haskell with an Attribute Grammar. Advanced Functional Programming (2004)
I. S. W. B. Prasetya, Tanja E. J. Vos, A. Azurat, S. Doaitse Swierstra
A UNITY-Based Framework Towards Component Based Systems. OPODIS (2004)
Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra
Scripting the type inference process. ICFP (2003)
R. John M. Hughes, S. Doaitse Swierstra
Polish parsers, step by step. SIGPLAN Notices (2003)
R. John M. Hughes, S. Doaitse Swierstra
Polish parsers, step by step. ICFP (2003)
João Saraiva, S. Doaitse Swierstra
Generating Spreadsheet-Like Tools from Strong Attribute Grammars. GPCE (2003)
Bastiaan Heeren, S. Doaitse Swierstra, Jurriaan Hage
Scripting the type inference process. SIGPLAN Notices (2003)
I. S. W. B. Prasetya, S. Doaitse Swierstra
Factorizing fault tolerance. Theor. Comput. Sci. 290 (2) (2003)
Arthur I. Baars, S. Doaitse Swierstra
Typing dynamic typing. ICFP (2002)
Oege de Moor, Kevin Backhouse, S. Doaitse Swierstra
First-class Attribute Grammars. Informatica (Slovenia) 24 (3) (2000)
João Saraiva, S. Doaitse Swierstra, Matthijs F. Kuiper
Functional Incremental Attribute Evaluation. CC (2000)
S. Doaitse Swierstra
Combinator Parsers - From Toys to Tools. Electron. Notes Theor. Comput. Sci. 41 (1) (2000)
João Saraiva, S. Doaitse Swierstra
Data Structure Free Compilation. CC (1999)
S. Doaitse Swierstra, Pablo R. Azero Alcocer
Fast, Error Correcting Parser Combinatiors: A Short Tutorial. SOFSEM (1999)
S. Doaitse Swierstra, Pablo R. Azero Alcocer
Attribute grammars in the functional style. Systems Implementation 2000 (1998)
S. Doaitse Swierstra, Pablo R. Azero Alcocer, João Saraiva
Designing and Implementing Combinator Languages. Advanced Functional Programming (1998)
Tanja E. J. Vos, S. Doaitse Swierstra
Make your Enemies Transparent. WG (1997)
S. Doaitse Swierstra, Luc Duponcheel
Deterministic, Error-Correcting Combinator Parsers. Advanced Functional Programming (1996)
Johan Jeuring, S. Doaitse Swierstra
Constructing Functional Programs for Grammar Analysis Problems. FPCA (1995)
Johan Jeuring, S. Doaitse Swierstra
Bottom-up Grammar Analysis - A Functional Formulation. ESOP (1994)
S. Doaitse Swierstra, Oege de Moor
Virtual Data Structures. Formal Program Development (1993)
P. J. A. Lentfert, S. Doaitse Swierstra
Towards the Formal Design of Self-Stabilizing Distributed Algorithms. STACS (1993)
P. J. A. Lentfert, S. Doaitse Swierstra
Distributed Maximum Maintenance on Hierarchically Divided Graphs. Formal Aspects Comput. 5 (1) (1993)
Maarten Pennings, S. Doaitse Swierstra, Harald Vogt
Using Cached Functions and Constructors for Incremental Attribute Evaluation. PLILP (1992)
Harald Vogt, S. Doaitse Swierstra, Matthijs F. Kuiper
Efficient Incremental Evaluation of Higher order Attribute Grammars. PLILP (1991)
S. Doaitse Swierstra, Harald Vogt
Higher Order Attribute Grammars. Attribute Grammars, Applications and Systems (1991)
A. H. Uittenbogaard, P. J. A. Lentfert, S. Doaitse Swierstra
Smart cabling: an overview. ACM SIGOPS European Workshop (1990)
Matthijs F. Kuiper, S. Doaitse Swierstra
Parallel Attribute Evaluation: Structure of Evaluators and Detection of Parallelism. WAGA (1990)
Harald Vogt, S. Doaitse Swierstra, Matthijs F. Kuiper
Higher-Order Attribute Grammars. PLDI (1989)
Coenraad Bron, E. J. Dijkstra, S. Doaitse Swierstra
A Memory-Management Unit for the Optimal Exploitation of a Small Address Space. Inf. Process. Lett. 15 (1) (1982)