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

4 Resultaten

2016

Needle & knot : binder boilerplate tied up

Steven KeuchelStephanie WeirichTom Schrijvers

2013

Generic datatypes a la carte

Steven KeuchelTom Schrijvers

Modular monadic meta-theory

Benjamin DelawareSteven KeuchelTom SchrijversBruno CdS Oliveira

A1 Artikel in een tijdschrift in ACM SIGPLAN NOTICES

2012

Generic conversions of abstract syntax representations

Steven KeuchelJohan Jeuring