List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Typing dynamic typing Proceedings of the seventh ACM SIGPLAN international conference on Functional programming | 2015-10-07 | Paper |
| Scripting the type inference process Proceedings of the eighth ACM SIGPLAN international conference on Functional programming | 2015-07-02 | Paper |
| Polish parsers, step by step Proceedings of the eighth ACM SIGPLAN international conference on Functional programming | 2015-07-02 | Paper |
| Attribute grammars fly first-class: how to do aspect oriented programming in Haskell Proceedings of the 14th ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
| Combinator Parsers: From Toys to Tools Electronic Notes in Theoretical Computer Science | 2013-05-10 | Paper |
| A lean specification for gadts: System F with first-class equality proofs Higher-Order and Symbolic Computation | 2012-01-13 | Paper |
| Combinator Parsing: A Short Tutorial Language Engineering and Rigorous Software Development | 2009-07-28 | Paper |
| Web Cube Lecture Notes in Computer Science | 2009-03-11 | Paper |
| Linear, bounded, functional pretty-printing Journal of Functional Programming | 2009-01-08 | Paper |
| Ruler: Programming Type Rules Functional and Logic Programming | 2007-05-02 | Paper |
| Advanced Functional Programming Lecture Notes in Computer Science | 2006-10-25 | Paper |
| Principles of Distributed Systems Lecture Notes in Computer Science | 2005-12-15 | Paper |
| FUNCTIONAL PEARL Parsing permutation phrases Journal of Functional Programming | 2005-03-21 | Paper |
| Factorizing fault tolerance. Theoretical Computer Science | 2003-01-21 | Paper |
| scientific article; zbMATH DE number 512850 (Why is no real title available?) | 1994-04-07 | Paper |
| Distributed maximum maintenance on hierarchically divided graphs Formal Aspects of Computing | 1993-06-29 | Paper |
Research outcomes over time
This page was built for person: S. Doaitse Swierstra
