S. Doaitse Swierstra
From MaRDI portal
Person:656861
Available identifiers
zbMath Open swierstra.s-doaitseWikidataQ102270595 ScholiaQ102270595MaRDI QIDQ656861
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 | 2015-10-07 | Paper |
| Scripting the type inference process | 2015-07-02 | Paper |
| Polish parsers, step by step | 2015-07-02 | Paper |
| Attribute grammars fly first-class | 2015-01-06 | Paper |
| Combinator Parsers: From Toys to Tools | 2013-05-10 | Paper |
| A lean specification for gadts: System F with first-class equality proofs | 2012-01-13 | Paper |
| Combinator Parsing: A Short Tutorial | 2009-07-28 | Paper |
| Web Cube | 2009-03-11 | Paper |
| Linear, bounded, functional pretty-printing | 2009-01-08 | Paper |
| Ruler: Programming Type Rules | 2007-05-02 | Paper |
| Advanced Functional Programming | 2006-10-25 | Paper |
| Principles of Distributed Systems | 2005-12-15 | Paper |
| FUNCTIONAL PEARL Parsing permutation phrases | 2005-03-21 | Paper |
| Factorizing fault tolerance. | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281546 | 1994-04-07 | Paper |
| Distributed maximum maintenance on hierarchically divided graphs | 1993-06-29 | Paper |
Research outcomes over time
This page was built for person: S. Doaitse Swierstra
