S. Doaitse Swierstra

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Incremental evaluation of higher-order attributes.
Sci. Comput. Program., 2017

2016
A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts.
CoRR, 2016

2015
Compositional compiler construction: Oberon0.
Sci. Comput. Program., 2015

2014
Attribute grammar macros.
Sci. Comput. Program., 2014

Lazy stateless incremental evaluation machinery for attribute grammars.
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

Expand: Towards an Extensible Pandoc System.
Proceedings of the Practical Aspects of Declarative Languages, 2014

2013
First Class Syntax, Semantics, and Their Composition.
Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, 2013

Parse Your Options.
Proceedings of the Beauty of Functional Code, 2013

2012
Forty hours of declarative programming: Teaching Prolog at the Junior College Utrecht
Proceedings of the Proceedings First International Workshop on Trends in Functional Programming in Education, 2012

The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars.
Proceedings of the Practical Aspects of Declarative Languages, 2012

UUAG meets AspectAG: how to make attribute grammars first-class.
Proceedings of the International Workshop on Language Descriptions, 2012

Grammar fragments fly first-class.
Proceedings of the International Workshop on Language Descriptions, 2012

Building JavaScript Applications with Haskell.
Proceedings of the Implementation and Application of Functional Languages, 2012

2011
Visitor-based Attribute Grammars with Side Effect.
Electr. Notes Theor. Comput. Sci., 2011

Stepwise evaluation of attribute grammars.
Proceedings of the Language Descriptions, Tools and Applications, 2011

2010
A lean specification for GADTs: system F with first-class equality proofs.
Higher-Order and Symbolic Computation, 2010

Typed Transformations of Typed Grammars: The Left Corner Transform.
Electr. Notes Theor. Comput. Sci., 2010

Dependently Typed Attribute Grammars.
Proceedings of the Implementation and Application of Functional Languages, 2010

Iterative type inference with attribute grammars.
Proceedings of the Generative Programming And Component Engineering, 2010

2009
Linear, bounded, functional pretty-printing.
J. Funct. Program., 2009

Abstract Interpretation of Functional Programs using an Attribute Grammar System.
Electr. Notes Theor. Comput. Sci., 2009

Typed transformations of typed abstract syntax.
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.
Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

The architecture of the Utrecht Haskell compiler.
Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, 2009

2008
Beyond ASCII - Parsing Programs with Graphical Presentations.
J. UCS, 2008

A Leaner Specification for GADTs.
Proceedings of the Nineth Symposium on Trends in Functional Programming, 2008

Combinator Parsing: A Short Tutorial.
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.
Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008

2007
The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity.
Proceedings of the Implementation and Application of Functional Languages, 2007

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

Ruler: Programming Type Rules.
Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

2005
Formal design of self-stabilizing programs.
J. High Speed Networks, 2005

Facilitating the Verification of Diffusing Computations and Their Applications.
CLEI Electron. J., 2005

2004
Parsing permutation phrases.
J. Funct. Program., 2004

A UNITY-Based Framework Towards Component Based Systems.
Proceedings of the Principles of Distributed Systems, 8th International Conference, 2004

Type-safe, self inspecting code.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2004

Typing Haskell with an Attribute Grammar.
Proceedings of the Advanced Functional Programming, 2004

2003
Factorizing fault tolerance.
Theor. Comput. Sci., 2003

Polish parsers, step by step.
SIGPLAN Notices, 2003

Scripting the type inference process.
SIGPLAN Notices, 2003

Generating Spreadsheet-Like Tools from Strong Attribute Grammars.
Proceedings of the Generative Programming and Component Engineering, 2003

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

2000
First-class Attribute Grammars.
Informatica (Slovenia), 2000

Combinator Parsers - From Toys to Tools.
Electr. Notes Theor. Comput. Sci., 2000

Functional Incremental Attribute Evaluation.
Proceedings of the Compiler Construction, 9th International Conference, 2000

1999
Fast, Error Correcting Parser Combinatiors: A Short Tutorial.
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.
Proceedings of the Compiler Construction, 8th International Conference, 1999

1998
Attribute grammars in the functional style.
Proceedings of the Systems Implementation 2000, 1998

Designing and Implementing Combinator Languages.
Proceedings of the Advanced Functional Programming, 1998

1997
Make your Enemies Transparent.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1997

1996
Deterministic, Error-Correcting Combinator Parsers.
Proceedings of the Advanced Functional Programming, 1996

1995
Constructing Functional Programs for Grammar Analysis Problems.
Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

1994
Bottom-up Grammar Analysis - A Functional Formulation.
Proceedings of the Programming Languages and Systems, 1994

1993
Distributed Maximum Maintenance on Hierarchically Divided Graphs.
Formal Asp. Comput., 1993

Towards the Formal Design of Self-Stabilizing Distributed Algorithms.
Proceedings of the STACS 93, 1993

Virtual Data Structures.
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.
Proceedings of the Programming Language Implementation and Logic Programming, 1992

1991
Higher Order Attribute Grammars.
Proceedings of the Attribute Grammars, 1991

Efficient Incremental Evaluation of Higher order Attribute Grammars.
Proceedings of the Programming Language Implementation and Logic Programming, 1991

1990
Parallel Attribute Evaluation: Structure of Evaluators and Detection of Parallelism.
Proceedings of the Attribute Grammars and their Applications, 1990

Smart cabling: an overview.
Proceedings of the 4th ACM SIGOPS European Workshop, Bologna, Italy, September 3-5, 1990, 1990

1989
Higher-Order Attribute Grammars.
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.
Inf. Process. Lett., 1982


  Loading...