S. Doaitse Swierstra
According to our database1,
S. Doaitse Swierstra
authored at least 63 papers
between 1982 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:
-
at orcid.org
-
at www.cs.uu.nl
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