| 2009 |
|---|
| 40 | EE | Arthur I. Baars,
S. Doaitse Swierstra,
Marcos Viera:
Typed transformations of typed abstract syntax.
TLDI 2009: 15-26 |
| 39 | EE | S. Doaitse Swierstra,
Olaf Chitil:
Linear, bounded, functional pretty-printing.
J. Funct. Program. 19(1): 1-16 (2009) |
| 2007 |
|---|
| 38 | EE | Atze Dijkstra,
Jeroen Fokker,
S. Doaitse Swierstra:
The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity.
IFL 2007: 57-74 |
| 2006 |
|---|
| 37 | EE | Atze Dijkstra,
S. Doaitse Swierstra:
Ruler: Programming Type Rules.
FLOPS 2006: 30-46 |
| 36 | EE | I. S. W. B. Prasetya,
Tanja E. J. Vos,
S. Doaitse Swierstra:
Web Cube.
FORTE 2006: 77-92 |
| 2005 |
|---|
| 35 | EE | Tanja E. J. Vos,
S. Doaitse Swierstra:
Facilitating the Verification of Diffusing Computations and Their Applications.
CLEI Electron. J. 8(1): (2005) |
| 34 | EE | I. S. W. B. Prasetya,
S. Doaitse Swierstra:
Formal design of self-stabilizing programs.
J. High Speed Networks 14(1): 59-83 (2005) |
| 2004 |
|---|
| 33 | EE | Atze Dijkstra,
S. Doaitse Swierstra:
Typing Haskell with an Attribute Grammar.
Advanced Functional Programming 2004: 1-72 |
| 32 | EE | I. S. W. B. Prasetya,
Tanja E. J. Vos,
A. Azurat,
S. Doaitse Swierstra:
A UNITY-Based Framework Towards Component Based Systems.
OPODIS 2004: 52-66 |
| 31 | EE | Arthur I. Baars,
Andres Löh,
S. Doaitse Swierstra:
Parsing permutation phrases.
J. Funct. Program. 14(6): 635-646 (2004) |
| 2003 |
|---|
| 30 | EE | João Saraiva,
S. Doaitse Swierstra:
Generating Spreadsheet-Like Tools from Strong Attribute Grammars.
GPCE 2003: 307-323 |
| 29 | EE | R. John M. Hughes,
S. Doaitse Swierstra:
Polish parsers, step by step.
ICFP 2003: 239-248 |
| 28 | EE | Bastiaan Heeren,
Jurriaan Hage,
S. Doaitse Swierstra:
Scripting the type inference process.
ICFP 2003: 3-13 |
| 27 | | I. S. W. B. Prasetya,
S. Doaitse Swierstra:
Factorizing fault tolerance.
Theor. Comput. Sci. 290(2): 1201-1222 (2003) |
| 2002 |
|---|
| 26 | EE | Arthur I. Baars,
S. Doaitse Swierstra:
Typing dynamic typing.
ICFP 2002: 157-166 |
| 2000 |
|---|
| 25 | EE | João Saraiva,
S. Doaitse Swierstra,
Matthijs F. Kuiper:
Functional Incremental Attribute Evaluation.
CC 2000: 279-294 |
| 24 | EE | S. Doaitse Swierstra:
Combinator Parsers - From Toys to Tools.
Electr. Notes Theor. Comput. Sci. 41(1): (2000) |
| 23 | | Oege de Moor,
Kevin Backhouse,
S. Doaitse Swierstra:
First-class Attribute Grammars.
Informatica (Slovenia) 24(3): (2000) |
| 1999 |
|---|
| 22 | | S. Doaitse Swierstra:
Programming Languages and Systems, 8th European Symposium on Programming, ESOP'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings
Springer 1999 |
| 21 | | S. Doaitse Swierstra,
Pedro Rangel Henriques,
José N. Oliveira:
Advanced Functional Programming, Third International School, Braga, Portugal, September 12-19, 1998, Revised Lectures
Springer 1999 |
| 20 | | João Saraiva,
S. Doaitse Swierstra:
Data Structure Free Compilation.
CC 1999: 1-16 |
| 19 | EE | S. Doaitse Swierstra,
Pablo R. Azero Alcocer:
Fast, Error Correcting Parser Combinatiors: A Short Tutorial.
SOFSEM 1999: 112-131 |
| 1998 |
|---|
| 18 | | S. Doaitse Swierstra,
Pablo R. Azero Alcocer,
João Saraiva:
Designing and Implementing Combinator Languages.
Advanced Functional Programming 1998: 150-206 |
| 17 | | S. Doaitse Swierstra,
Pablo R. Azero Alcocer:
Attribute grammars in the functional style.
Systems Implementation 2000 1998: 180-193 |
| 1997 |
|---|
| 16 | | Tanja E. J. Vos,
S. Doaitse Swierstra:
Make your Enemies Transparent.
WG 1997: 342-353 |
| 1996 |
|---|
| 15 | | Herbert Kuchen,
S. Doaitse Swierstra:
Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings
Springer 1996 |
| 14 | | S. Doaitse Swierstra,
Luc Duponcheel:
Deterministic, Error-Correcting Combinator Parsers.
Advanced Functional Programming 1996: 184-207 |
| 1995 |
|---|
| 13 | | Manuel V. Hermenegildo,
S. Doaitse Swierstra:
Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings
Springer 1995 |
| 12 | | Johan Jeuring,
S. Doaitse Swierstra:
Constructing Functional Programs for Grammar Analysis Problems.
FPCA 1995: 259-269 |
| 1994 |
|---|
| 11 | | Johan Jeuring,
S. Doaitse Swierstra:
Bottom-up Grammar Analysis - A Functional Formulation.
ESOP 1994: 317-332 |
| 1993 |
|---|
| 10 | | S. Doaitse Swierstra,
Oege de Moor:
Virtual Data Structures.
Formal Program Development 1993: 355-371 |
| 9 | | P. J. A. Lentfert,
S. Doaitse Swierstra:
Towards the Formal Design of Self-Stabilizing Distributed Algorithms.
STACS 1993: 440-451 |
| 8 | | P. J. A. Lentfert,
S. Doaitse Swierstra:
Distributed Maximum Maintenance on Hierarchically Divided Graphs.
Formal Asp. Comput. 5(1): 21-60 (1993) |
| 1992 |
|---|
| 7 | | Maarten Pennings,
S. Doaitse Swierstra,
Harald Vogt:
Using Cached Functions and Constructors for Incremental Attribute Evaluation.
PLILP 1992: 130-144 |
| 1991 |
|---|
| 6 | | S. Doaitse Swierstra,
Harald Vogt:
Higher Order Attribute Grammars.
Attribute Grammars, Applications and Systems 1991: 256-296 |
| 5 | | Harald Vogt,
S. Doaitse Swierstra,
Matthijs F. Kuiper:
Efficient Incremental Evaluation of Higher order Attribute Grammars.
PLILP 1991: 231-242 |
| 1990 |
|---|
| 4 | EE | A. H. Uittenbogaard,
P. J. A. Lentfert,
S. Doaitse Swierstra:
Smart cabling: an overview.
ACM SIGOPS European Workshop 1990 |
| 3 | | Matthijs F. Kuiper,
S. Doaitse Swierstra:
Parallel Attribute Evaluation: Structure of Evaluators and Detection of Parallelism.
WAGA 1990: 61-75 |
| 1989 |
|---|
| 2 | | Harald Vogt,
S. Doaitse Swierstra,
Matthijs F. Kuiper:
Higher-Order Attribute Grammars.
PLDI 1989: 131-145 |
| 1982 |
|---|
| 1 | | 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): 20-22 (1982) |
