S. Doaitse Swierstra

72 papers A* 1A 7B 7C 9Misc 1Journal 14Unranked 28

Year	Rank	Type	Title / Venue / Authors
2017	J	`jnl`	Incremental evaluation of higher-order attributes. Sci. Comput. Program. Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra
2016	—	`conf`	A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts. IFL S. Doaitse Swierstra, Marcos Viera, Atze Dijkstra
2016	J	`jnl`	A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts. CoRR S. Doaitse Swierstra, Marcos Viera, Atze Dijkstra
2015	J	`jnl`	Compositional compiler construction: Oberon0. Sci. Comput. Program. Marcos Viera, S. Doaitse Swierstra
2015	C	`conf`	Incremental Evaluation of Higher Order Attributes. PEPM Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra
2015	—	`ed.`	Programming Languages - 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings SBLP Alberto Pardo, S. Doaitse Swierstra
2014	J	`jnl`	Attribute grammar macros. Sci. Comput. Program. Marcos Viera, S. Doaitse Swierstra
2014	C	`conf`	Expand: Towards an Extensible Pandoc System. PADL Jacco Krijnen, S. Doaitse Swierstra, Marcos Viera
2014	C	`conf`	Lazy stateless incremental evaluation machinery for attribute grammars. PEPM Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra
2013	—	`conf`	First Class Syntax, Semantics, and Their Composition. IFL Marcos Viera, S. Doaitse Swierstra
2013	—	`conf`	Parse Your Options. The Beauty of Functional Code S. Doaitse Swierstra, Atze Dijkstra
2012	—	`conf`	Attribute Grammar Macros. SBLP Marcos Viera, S. Doaitse Swierstra
2012	—	`conf`	Building JavaScript Applications with Haskell. IFL Atze Dijkstra, Jurriën Stutterheim, Alessandro Vermeulen, S. Doaitse Swierstra
2012	—	`conf`	Forty hours of declarative programming: Teaching Prolog at the Junior College Utrecht TFPIE Jurriën Stutterheim, Wouter Swierstra, S. Doaitse Swierstra
2012	—	`conf`	Grammar fragments fly first-class. LDTA Marcos Viera, S. Doaitse Swierstra, Atze Dijkstra
2012	C	`conf`	The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars. PADL Jeroen Bransen, Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
2012	—	`conf`	UUAG meets AspectAG: how to make attribute grammars first-class. LDTA Marcos Viera, S. Doaitse Swierstra, Arie Middelkoop
2011	—	`conf`	Stepwise evaluation of attribute grammars. LDTA Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
2010	J	`jnl`	A lean specification for GADTs: system F with first-class equality proofs. High. Order Symb. Comput. Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
2010	—	`conf`	Dependently Typed Attribute Grammars. IFL Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
2010	B	`conf`	Iterative type inference with attribute grammars. GPCE Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
2010	—	`conf`	Visitor-based Attribute Grammars with Side Effect. WGT Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
2009	—	`ed.`	Advanced Functional Programming, 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures Advanced Functional Programming Pieter W. M. Koopman, Rinus Plasmeijer, S. Doaitse Swierstra
2009	A	`conf`	Attribute grammars fly first-class: how to do aspect oriented programming in Haskell. ICFP Marcos Viera, S. Doaitse Swierstra, Wouter Swierstra
2009	J	`jnl`	Linear, bounded, functional pretty-printing. J. Funct. Program. S. Doaitse Swierstra, Olaf Chitil
2009	C	`conf`	The architecture of the Utrecht Haskell compiler. Haskell Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra
2009	—	`conf`	Typed Transformations of Typed Grammars: The Left Corner Transform. LDTA Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera
2009	—	`conf`	Typed transformations of typed abstract syntax. TLDI Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera
2008	—	`conf`	A Leaner Specification for GADTs. Trends in Functional Programming Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
2008	—	`conf`	Abstract Interpretation of Functional Programs using an Attribute Grammar System. LDTA Jeroen Fokker, S. Doaitse Swierstra
2008	J	`jnl`	Beyond ASCII - Parsing Programs with Graphical Presentations. J. Univers. Comput. Sci. Martijn M. Schrage, S. Doaitse Swierstra
2008	—	`conf`	Combinator Parsing: A Short Tutorial. LerNet ALFA Summer School S. Doaitse Swierstra
2008	C	`conf`	Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime. Haskell Marcos Viera, S. Doaitse Swierstra, Eelco Lempsink
2007	—	`conf`	The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity. IFL Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra
2006	Misc	`conf`	Ruler: Programming Type Rules. FLOPS Atze Dijkstra, S. Doaitse Swierstra
2006	C	`conf`	Web Cube. FORTE I. S. W. B. Prasetya, Tanja E. J. Vos, S. Doaitse Swierstra
2005	J	`jnl`	Facilitating the Verification of Diffusing Computations and Their Applications. CLEI Electron. J. Tanja E. J. Vos, S. Doaitse Swierstra
2005	J	`jnl`	Formal design of self-stabilizing programs. J. High Speed Networks I. S. W. B. Prasetya, S. Doaitse Swierstra
2004	B	`conf`	A UNITY-Based Framework Towards Component Based Systems. OPODIS I. S. W. B. Prasetya, Tanja E. J. Vos, A. Azurat, S. Doaitse Swierstra
2004	J	`jnl`	Parsing permutation phrases. J. Funct. Program. Arthur I. Baars, Andres Löh, S. Doaitse Swierstra
2004	C	`conf`	Type-safe, self inspecting code. Haskell Arthur I. Baars, S. Doaitse Swierstra
2004	—	`conf`	Typing Haskell with an Attribute Grammar. Advanced Functional Programming Atze Dijkstra, S. Doaitse Swierstra
2003	J	`jnl`	Factorizing fault tolerance. Theor. Comput. Sci. I. S. W. B. Prasetya, S. Doaitse Swierstra
2003	B	`conf`	Generating Spreadsheet-Like Tools from Strong Attribute Grammars. GPCE João Saraiva, S. Doaitse Swierstra
2003	A	`conf`	Polish parsers, step by step. ICFP R. John M. Hughes, S. Doaitse Swierstra
2003	A	`conf`	Scripting the type inference process. ICFP Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra
2002	A	`conf`	Typing dynamic typing. ICFP Arthur I. Baars, S. Doaitse Swierstra
2000	C	`conf`	Combinator Parsers - From Toys to Tools. Haskell S. Doaitse Swierstra
2000	J	`jnl`	First-class Attribute Grammars. Informatica (Slovenia) Oege de Moor, Kevin Backhouse, S. Doaitse Swierstra
2000	B	`conf`	Functional Incremental Attribute Evaluation. CC João Saraiva, S. Doaitse Swierstra, Matthijs F. Kuiper
1999	—	`ed.`	Advanced Functional Programming, Third International School, Braga, Portugal, September 12-19, 1998, Revised Lectures S. Doaitse Swierstra, Pedro Rangel Henriques, José Nuno Oliveira
1999	B	`conf`	Data Structure Free Compilation. CC João Saraiva, S. Doaitse Swierstra
1999	B	`conf`	Fast, Error Correcting Parser Combinatiors: A Short Tutorial. SOFSEM S. Doaitse Swierstra, Pablo R. Azero Alcocer
1999	A	`ed.`	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 ESOP S. Doaitse Swierstra
1998	—	`conf`	Attribute grammars in the functional style. Systems Implementation 2000 S. Doaitse Swierstra, Pablo R. Azero Alcocer
1998	—	`conf`	Designing and Implementing Combinator Languages. Advanced Functional Programming S. Doaitse Swierstra, Pablo R. Azero Alcocer, João Saraiva
1997	B	`conf`	Make your Enemies Transparent. WG Tanja E. J. Vos, S. Doaitse Swierstra
1996	—	`conf`	Deterministic, Error-Correcting Combinator Parsers. Advanced Functional Programming S. Doaitse Swierstra, Luc Duponcheel
1996	—	`ed.`	Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings PLILP Herbert Kuchen, S. Doaitse Swierstra
1995	—	`conf`	Constructing Functional Programs for Grammar Analysis Problems. FPCA Johan Jeuring, S. Doaitse Swierstra
1995	—	`ed.`	Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings Manuel V. Hermenegildo, S. Doaitse Swierstra
1994	A	`conf`	Bottom-up Grammar Analysis - A Functional Formulation. ESOP Johan Jeuring, S. Doaitse Swierstra
1993	J	`jnl`	Distributed Maximum Maintenance on Hierarchically Divided Graphs. Formal Aspects Comput. P. J. A. Lentfert, S. Doaitse Swierstra
1993	A	`conf`	Towards the Formal Design of Self-Stabilizing Distributed Algorithms. STACS P. J. A. Lentfert, S. Doaitse Swierstra
1993	—	`conf`	Virtual Data Structures. Formal Program Development S. Doaitse Swierstra, Oege de Moor
1992	—	`conf`	Using Cached Functions and Constructors for Incremental Attribute Evaluation. PLILP Maarten Pennings, S. Doaitse Swierstra, Harald Vogt
1991	—	`conf`	Efficient Incremental Evaluation of Higher order Attribute Grammars. PLILP Harald Vogt, S. Doaitse Swierstra, Matthijs F. Kuiper
1991	—	`conf`	Higher Order Attribute Grammars. Attribute Grammars, Applications and Systems S. Doaitse Swierstra, Harald Vogt
1990	—	`conf`	Parallel Attribute Evaluation: Structure of Evaluators and Detection of Parallelism. WAGA Matthijs F. Kuiper, S. Doaitse Swierstra
1990	—	`conf`	Smart cabling: an overview. ACM SIGOPS European Workshop A. H. Uittenbogaard, P. J. A. Lentfert, S. Doaitse Swierstra
1989	A*	`conf`	Higher-Order Attribute Grammars. PLDI Harald Vogt, S. Doaitse Swierstra, Matthijs F. Kuiper
1982	J	`jnl`	A Memory-Management Unit for the Optimal Exploitation of a Small Address Space. Inf. Process. Lett. Coenraad Bron, E. J. Dijkstra, S. Doaitse Swierstra