KNAW
Narcis
Terug naar zoekresultaat
Persoon
Prof.dr. S.D. Swierstra
Pagina-navigatie:
Overzicht
Lopend onderzoek (2)
Afgesloten onderzoek (7)
Publicaties (43)
Diverse bijdragen (1)
Verrijkte publicaties (2)
Wijzig persoonsdata
Exporteer deze pagina
QR code
abstracte
engineering
informatica
interpretatie
programmeertalen
programmeren
software
systeemprogrammatuur
systemen
type
vertalerbouw
Expertise
Informatica; Systeemprogrammatuur; Programmeertalen; Software engineering; Vertalerbouw; Programmeren; Type systemen; Abstracte interpretatie
Expertise (EN)
Computer science; Systems programming; Programming languages; Software engineering; Compiler construction; Programming; Type Systems; Abstract interpretation
Digital Author ID
info:eu-repo/dai/nl/069184364
Aanvulling
Emeritus per 30-5-2013
Werkzaam als
Emeritus
Organisatie
Departement Informatica (UU)
Leeropdracht (NL)
Informatica, in het bijzonder software technologie
Leeropdracht (EN)
Computer science, in particular software technology
Telefoon
+31-30-2533962
Email
S. D. Swierstra -at- uu. nl
URL
http://www.uu.nl/medewerkers/SDSwierstra
Publicaties
(de meest recente is bovenaan geplaatst)
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
Alle publicaties
Verrijkte publicaties
(de meest recente is bovenaan geplaatst)
Doctoral Thesis: Stepping through Haskell
Doctoral Thesis: Exercises in Free Syntax. Syntax Definition, Parsing, and Assimilation of Language Conglomerates
Lopende onderzoeksactiviteiten
(de meest recente activiteit is bovenaan geplaatst)
Projectleider
Non-Invasive Incremental Evaluation
Projectleider
Realising Optimal Sharing
Afgesloten onderzoeksactiviteiten
(de meest recente activiteit is bovenaan geplaatst)
Promotor
First Class Syntax, Semantics and Their Composition
Promotor
Vastleggen van de tijdlijn variabiliteit met transparante configuratieomgevingen
Projectleider
Software Technology & Engineering
Promotor
Een stapsgewijze implementatie van de programmeertaal Haskell
Projectleider
Uitvoerbare ontwerppatronen
Alle afgesloten onderzoeksactiviteiten..
Classificatie
D11000
Wiskunde
D16000
Informatica
Website Navigatie:
Home
over narcis
English
Omhoog
Ga terug naar de inhoud
Ga terug naar de site navigatie