|
Search the dblp DataBase
S. Doaitse Swierstra:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Atze Dijkstra, S. Doaitse Swierstra
Typing Haskell with an Attribute Grammar. [Citation Graph (0, 0)][DBLP] Advanced Functional Programming, 2004, pp:1-72 [Conf]
- S. Doaitse Swierstra, Pablo R. Azero Alcocer, João Saraiva
Designing and Implementing Combinator Languages. [Citation Graph (0, 0)][DBLP] Advanced Functional Programming, 1998, pp:150-206 [Conf]
- S. Doaitse Swierstra, Luc Duponcheel
Deterministic, Error-Correcting Combinator Parsers. [Citation Graph (0, 0)][DBLP] Advanced Functional Programming, 1996, pp:184-207 [Conf]
- João Saraiva, S. Doaitse Swierstra, Matthijs F. Kuiper
Functional Incremental Attribute Evaluation. [Citation Graph (0, 0)][DBLP] CC, 2000, pp:279-294 [Conf]
- João Saraiva, S. Doaitse Swierstra
Data Structure Free Compilation. [Citation Graph (0, 0)][DBLP] CC, 1999, pp:1-16 [Conf]
- Johan Jeuring, S. Doaitse Swierstra
Bottom-up Grammar Analysis - A Functional Formulation. [Citation Graph (0, 0)][DBLP] ESOP, 1994, pp:317-332 [Conf]
- Atze Dijkstra, S. Doaitse Swierstra
Ruler: Programming Type Rules. [Citation Graph (0, 0)][DBLP] FLOPS, 2006, pp:30-46 [Conf]
- I. S. W. B. Prasetya, Tanja E. J. Vos, S. Doaitse Swierstra
Web Cube. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:77-92 [Conf]
- Johan Jeuring, S. Doaitse Swierstra
Constructing Functional Programs for Grammar Analysis Problems. [Citation Graph (0, 0)][DBLP] FPCA, 1995, pp:259-269 [Conf]
- João Saraiva, S. Doaitse Swierstra
Generating Spreadsheet-Like Tools from Strong Attribute Grammars. [Citation Graph (0, 0)][DBLP] GPCE, 2003, pp:307-323 [Conf]
- Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra
Scripting the type inference process. [Citation Graph (0, 0)][DBLP] ICFP, 2003, pp:3-13 [Conf]
- Arthur I. Baars, S. Doaitse Swierstra
Typing dynamic typing. [Citation Graph (0, 0)][DBLP] ICFP, 2002, pp:157-166 [Conf]
- R. John M. Hughes, S. Doaitse Swierstra
Polish parsers, step by step. [Citation Graph (0, 0)][DBLP] ICFP, 2003, pp:239-248 [Conf]
- S. Doaitse Swierstra, Oege de Moor
Virtual Data Structures. [Citation Graph (0, 0)][DBLP] Formal Program Development, 1993, pp:355-371 [Conf]
- S. Doaitse Swierstra, Pablo R. Azero Alcocer
Attribute grammars in the functional style. [Citation Graph (0, 0)][DBLP] Systems Implementation 2000, 1998, pp:180-193 [Conf]
- I. S. W. B. Prasetya, Tanja E. J. Vos, A. Azurat, S. Doaitse Swierstra
A UNITY-Based Framework Towards Component Based Systems. [Citation Graph (0, 0)][DBLP] OPODIS, 2004, pp:52-66 [Conf]
- Harald Vogt, S. Doaitse Swierstra, Matthijs F. Kuiper
Higher-Order Attribute Grammars. [Citation Graph (0, 0)][DBLP] PLDI, 1989, pp:131-145 [Conf]
- Maarten Pennings, S. Doaitse Swierstra, Harald Vogt
Using Cached Functions and Constructors for Incremental Attribute Evaluation. [Citation Graph (0, 0)][DBLP] PLILP, 1992, pp:130-144 [Conf]
- Harald Vogt, S. Doaitse Swierstra, Matthijs F. Kuiper
Efficient Incremental Evaluation of Higher order Attribute Grammars. [Citation Graph (0, 0)][DBLP] PLILP, 1991, pp:231-242 [Conf]
- S. Doaitse Swierstra, Harald Vogt
Higher Order Attribute Grammars. [Citation Graph (0, 0)][DBLP] Attribute Grammars, Applications and Systems, 1991, pp:256-296 [Conf]
- A. H. Uittenbogaard, P. J. A. Lentfert, S. Doaitse Swierstra
Smart cabling: an overview. [Citation Graph (0, 0)][DBLP] ACM SIGOPS European Workshop, 1990, pp:- [Conf]
- S. Doaitse Swierstra, Pablo R. Azero Alcocer
Fast, Error Correcting Parser Combinatiors: A Short Tutorial. [Citation Graph (0, 0)][DBLP] SOFSEM, 1999, pp:112-131 [Conf]
- P. J. A. Lentfert, S. Doaitse Swierstra
Towards the Formal Design of Self-Stabilizing Distributed Algorithms. [Citation Graph (0, 0)][DBLP] STACS, 1993, pp:440-451 [Conf]
- Matthijs F. Kuiper, S. Doaitse Swierstra
Parallel Attribute Evaluation: Structure of Evaluators and Detection of Parallelism. [Citation Graph (0, 0)][DBLP] WAGA, 1990, pp:61-75 [Conf]
- Tanja E. J. Vos, S. Doaitse Swierstra
Make your Enemies Transparent. [Citation Graph (0, 0)][DBLP] WG, 1997, pp:342-353 [Conf]
- Tanja E. J. Vos, S. Doaitse Swierstra
Facilitating the Verification of Diffusing Computations and Their Applications. [Citation Graph (0, 0)][DBLP] CLEI Electron. J., 2005, v:8, n:1, pp:- [Journal]
- S. Doaitse Swierstra
Combinator Parsers - From Toys to Tools. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2000, v:41, n:1, pp:- [Journal]
- P. J. A. Lentfert, S. Doaitse Swierstra
Distributed Maximum Maintenance on Hierarchically Divided Graphs. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1993, v:5, n:1, pp:21-60 [Journal]
- Oege de Moor, Kevin Backhouse, S. Doaitse Swierstra
First-class Attribute Grammars. [Citation Graph (0, 0)][DBLP] Informatica (Slovenia), 2000, v:24, n:3, pp:- [Journal]
- Coenraad Bron, E. J. Dijkstra, S. Doaitse Swierstra
A Memory-Management Unit for the Optimal Exploitation of a Small Address Space. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1982, v:15, n:1, pp:20-22 [Journal]
- Arthur I. Baars, Andres Löh, S. Doaitse Swierstra
Parsing permutation phrases. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2004, v:14, n:6, pp:635-646 [Journal]
- I. S. W. B. Prasetya, S. Doaitse Swierstra
Formal design of self-stabilizing programs. [Citation Graph (0, 0)][DBLP] J. High Speed Networks, 2005, v:14, n:1, pp:59-83 [Journal]
- I. S. W. B. Prasetya, S. Doaitse Swierstra
Factorizing fault tolerance. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2003, v:290, n:2, pp:1201-1222 [Journal]
Attribute grammars fly first-class: how to do aspect oriented programming in Haskell. [Citation Graph (, )][DBLP]
The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity. [Citation Graph (, )][DBLP]
Typed transformations of typed abstract syntax. [Citation Graph (, )][DBLP]
The architecture of the Utrecht Haskell compiler. [Citation Graph (, )][DBLP]
Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime. [Citation Graph (, )][DBLP]
Combinator Parsing: A Short Tutorial. [Citation Graph (, )][DBLP]
Abstract Interpretation of Functional Programs using an Attribute Grammar System. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.306secs
|