S. Doaitse Swierstra

According to our database, S. Doaitse Swierstra authored at least 63 papers between 1982 and 2017.

Collaborative distances:

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

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

Compositional compiler construction: Oberon0.

Marcos Viera, S. Doaitse Swierstra

Sci. Comput. Program., 2015

2014

Attribute grammar macros.

Marcos Viera, S. Doaitse Swierstra

Sci. Comput. Program., 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

Expand: Towards an Extensible Pandoc System.

Jacco Krijnen, S. Doaitse Swierstra, Marcos Viera

Proceedings of the Practical Aspects of Declarative Languages, 2014

2013

First Class Syntax, Semantics, and Their Composition.

Marcos Viera, S. Doaitse Swierstra

Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, 2013

Parse Your Options.

S. Doaitse Swierstra, Atze Dijkstra

Proceedings of the Beauty of Functional Code, 2013

2012

Forty hours of declarative programming: Teaching Prolog at the Junior College Utrecht

Jurriën Stutterheim, Wouter Swierstra, S. Doaitse Swierstra

Proceedings of the Proceedings First International Workshop on Trends in Functional Programming in Education, 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

UUAG meets AspectAG: how to make attribute grammars first-class.

Marcos Viera, S. Doaitse Swierstra, Arie Middelkoop

Proceedings of the International Workshop on Language Descriptions, 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

Visitor-based Attribute Grammars with Side Effect.

Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra

Electron. Notes Theor. Comput. Sci., 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

Typed Transformations of Typed Grammars: The Left Corner Transform.

Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera

Electron. Notes Theor. Comput. Sci., 2010

Dependently Typed Attribute Grammars.

Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra

Proceedings of the Implementation and Application of Functional Languages, 2010

Iterative type inference with attribute grammars.

Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra

Proceedings of the Generative Programming And Component Engineering, 2010

2009

Linear, bounded, functional pretty-printing.

S. Doaitse Swierstra, Olaf Chitil

J. Funct. Program., 2009

Abstract Interpretation of Functional Programs using an Attribute Grammar System.

Jeroen Fokker, S. Doaitse Swierstra

Electron. Notes Theor. Comput. Sci., 2009

Typed transformations of typed abstract syntax.

Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera

Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2009

Attribute grammars fly first-class: how to do aspect oriented programming in Haskell.

Marcos Viera, S. Doaitse Swierstra, Wouter Swierstra

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 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

Beyond ASCII - Parsing Programs with Graphical Presentations.

Martijn M. Schrage, S. Doaitse Swierstra

J. Univers. Comput. Sci., 2008

A Leaner Specification for GADTs.

Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra

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

Combinator Parsing: A Short Tutorial.

S. Doaitse Swierstra

Proceedings of the Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24, 2008

Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime.

Marcos Viera, S. Doaitse Swierstra, Eelco Lempsink

Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 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

Web Cube.

I. S. W. B. Prasetya, Tanja E. J. Vos, S. Doaitse Swierstra

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

Ruler: Programming Type Rules.

Atze Dijkstra, S. Doaitse Swierstra

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

2005

Formal design of self-stabilizing programs.

I. S. W. B. Prasetya, S. Doaitse Swierstra

J. High Speed Networks, 2005

Facilitating the Verification of Diffusing Computations and Their Applications.

Tanja E. J. Vos, S. Doaitse Swierstra

CLEI Electron. J., 2005

2004

Parsing permutation phrases.

Arthur I. Baars, Andres Löh, S. Doaitse Swierstra

J. Funct. Program., 2004

A UNITY-Based Framework Towards Component Based Systems.

I. S. W. B. Prasetya, Tanja E. J. Vos, A. Azurat, S. Doaitse Swierstra

Proceedings of the Principles of Distributed Systems, 8th International Conference, 2004

Type-safe, self inspecting code.

Arthur I. Baars, S. Doaitse Swierstra

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2004

Typing Haskell with an Attribute Grammar.

Atze Dijkstra, S. Doaitse Swierstra

Proceedings of the Advanced Functional Programming, 2004

2003

Factorizing fault tolerance.

I. S. W. B. Prasetya, S. Doaitse Swierstra

Theor. Comput. Sci., 2003

Polish parsers, step by step.

R. John M. Hughes, S. Doaitse Swierstra

ACM SIGPLAN Notices, 2003

Scripting the type inference process.

Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra

ACM SIGPLAN Notices, 2003

Generating Spreadsheet-Like Tools from Strong Attribute Grammars.

João Saraiva, S. Doaitse Swierstra

Proceedings of the Generative Programming and Component Engineering, 2003

2002

Typing dynamic typing.

Arthur I. Baars, S. Doaitse Swierstra

Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002

2000

First-class Attribute Grammars.

Oege de Moor, Kevin Backhouse, S. Doaitse Swierstra

Informatica (Slovenia), 2000

Combinator Parsers - From Toys to Tools.

S. Doaitse Swierstra

Electron. Notes Theor. Comput. Sci., 2000

Functional Incremental Attribute Evaluation.

João Saraiva, S. Doaitse Swierstra, Matthijs F. Kuiper

Proceedings of the Compiler Construction, 9th International Conference, 2000

1999

Fast, Error Correcting Parser Combinatiors: A Short Tutorial.

S. Doaitse Swierstra, Pablo R. Azero Alcocer

Proceedings of the SOFSEM '99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27, 1999

Data Structure Free Compilation.

João Saraiva, S. Doaitse Swierstra

Proceedings of the Compiler Construction, 8th International Conference, 1999

1998

Attribute grammars in the functional style.

S. Doaitse Swierstra, Pablo R. Azero Alcocer

Proceedings of the Systems Implementation 2000, 1998

Designing and Implementing Combinator Languages.

S. Doaitse Swierstra, Pablo R. Azero Alcocer, João Saraiva

Proceedings of the Advanced Functional Programming, 1998

1997

Make your Enemies Transparent.

Tanja E. J. Vos, S. Doaitse Swierstra

Proceedings of the Graph-Theoretic Concepts in Computer Science, 1997

1996

Deterministic, Error-Correcting Combinator Parsers.

S. Doaitse Swierstra, Luc Duponcheel

Proceedings of the Advanced Functional Programming, 1996

1995

Constructing Functional Programs for Grammar Analysis Problems.

Johan Jeuring, S. Doaitse Swierstra

Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

1994

Bottom-up Grammar Analysis - A Functional Formulation.

Johan Jeuring, S. Doaitse Swierstra

Proceedings of the Programming Languages and Systems, 1994

1993

Distributed Maximum Maintenance on Hierarchically Divided Graphs.

P. J. A. Lentfert, S. Doaitse Swierstra

Formal Aspects Comput., 1993

Towards the Formal Design of Self-Stabilizing Distributed Algorithms.

P. J. A. Lentfert, S. Doaitse Swierstra

Proceedings of the STACS 93, 1993

Virtual Data Structures.

S. Doaitse Swierstra, Oege de Moor

Proceedings of the Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report, 1993

1992

Using Cached Functions and Constructors for Incremental Attribute Evaluation.

Maarten Pennings, S. Doaitse Swierstra, Harald Vogt

Proceedings of the Programming Language Implementation and Logic Programming, 1992

1991

Higher Order Attribute Grammars.

S. Doaitse Swierstra, Harald Vogt

Proceedings of the Attribute Grammars, 1991

Efficient Incremental Evaluation of Higher order Attribute Grammars.

Harald Vogt, S. Doaitse Swierstra, Matthijs F. Kuiper

Proceedings of the Programming Language Implementation and Logic Programming, 1991

1990

Parallel Attribute Evaluation: Structure of Evaluators and Detection of Parallelism.

Matthijs F. Kuiper, S. Doaitse Swierstra

Proceedings of the Attribute Grammars and their Applications, 1990

Smart cabling: an overview.

A. H. Uittenbogaard, P. J. A. Lentfert, S. Doaitse Swierstra

Proceedings of the 4th ACM SIGOPS European Workshop, Bologna, Italy, September 3-5, 1990, 1990

1989

Higher-Order Attribute Grammars.

Harald Vogt, S. Doaitse Swierstra, Matthijs F. Kuiper

Proceedings of the ACM SIGPLAN'89 Conference on Programming Language Design and Implementation (PLDI), 1989

1982

A Memory-Management Unit for the Optimal Exploitation of a Small Address Space.

Coenraad Bron, E. J. Dijkstra, S. Doaitse Swierstra

Inf. Process. Lett., 1982