Instellingen beheren
MENU
Over deze site
In English
Home
Onderzoekers
Projecten
Organisaties
Publicaties
Contact
Research Explorer
Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.
Onderzoeker
Steven Keuchel
Profiel
Projecten
Publicaties
Activiteiten
Prijzen & Erkenningen
4
Resultaten
2016
Needle & knot : binder boilerplate tied up
Steven Keuchel
Stephanie Weirich
Tom Schrijvers
P1
Conferentie
2016
2013
Generic datatypes a la carte
Steven Keuchel
Tom Schrijvers
C1
Conferentie
2013
Modular monadic meta-theory
Benjamin Delaware
Steven Keuchel
Tom Schrijvers
Bruno CdS Oliveira
A1
Artikel in een tijdschrift
in
ACM SIGPLAN NOTICES
2013
2012
Generic conversions of abstract syntax representations
Steven Keuchel
Johan Jeuring
C1
Conferentie
2012