Research Explorer

Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.

Researcher

Steven Keuchel

Awards & Distinctions

4 Results

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 Journal Article in ACM SIGPLAN NOTICES

2012

Generic conversions of abstract syntax representations

Steven KeuchelJohan Jeuring