KNAW

Back to search results
Person

Prof.dr. S.D. Swierstra

Pagina-navigatie:


Update Persondata


Export page
Expertise Computer science; Systems programming; Programming languages; Software engineering; Compiler construction; Programming; Type Systems; Abstract interpretation
Expertise (NL) Informatica; Systeemprogrammatuur; Programmeertalen; Software engineering; Vertalerbouw; Programmeren; Type systemen; Abstracte interpretatie
Digital Author ID info:eu-repo/dai/nl/069184364
Addition Emeritus per 30-5-2013

Active as

Professor emeritus
Organisation Department of Information and Computing Sciences (UU)
Chair (EN) Computer science, in particular software technology
Chair (NL) Informatica, in het bijzonder software technologie
Phone +31-30-2533962
Email S. D. Swierstra -at- uu. nl
URL http://www.uu.nl/medewerkers/SDSwierstra

Publications

(the most recent at the top)
Visitor-based attribute grammars with side effect
Dependently-typed attribute grammars
Exploiting Type Annotations
Generic validation in an XPath-Haskell data binding
Preserving order in non-order preserving parsers
All publications..

Enhanced publications

(the most recent at the top)
Doctoral Thesis: Stepping through Haskell
Doctoral Thesis: Exercises in Free Syntax. Syntax Definition, Parsing, and Assimilation of Language Conglomerates

Current research

(the most recent research is at the top)
Project leader Non-Invasive Incremental Evaluation
Project leader Realising Optimal Sharing

Completed research projects

(the most recent research is at the top)
Supervisor First Class Syntax, Semantics and Their Composition
Supervisor Exercises in Free Syntax. Syntax Definition, Parsing, and Assimilation of Language Conglomerates
Project leader Software Technology & Engineering
Supervisor Stepping through Haskell
Project leader Executable design patterns
All completed research..

Classification

D11000 Mathematics
D16000 Computer science

Go to page top
Go back to contents
Go back to site navigation