KNAW

Back to search results
Person

Prof.dr. S.D. Swierstra

Pagina-navigatie:


Update Persondata


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 Voorzitter onderzoekschool IPA; Lid bestuur Stichting SERC

Active as

Professor
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.cs.uu.nl/staff/doaitse.html

Publications

Visitor-based attribute grammars with side effect
Dependently-typed attribute grammars
Exploiting Type Annotations
Generic validation in an XPath-Haskell data binding
Making Implicit Parameters Explicit
All publications..

Enhanced publications

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
Project leader Software Technology
Project leader Software Technology & Engineering

Completed research projects

(the most recent research is at the top)
Supervisor Exercises in Free Syntax. Syntax Definition, Parsing, and Assimilation of Language Conglomerates
Supervisor Stepping through Haskell
Project leader Executable design patterns
Project leader Why did we reach T?
Supervisor Proxima - A presentation-oriented editor for structured documents

Classification

D11000 Mathematics
D16000 Computer science

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