Steven Keuchel

  • Needle & Knot: Binder boilerplate tied up [pdf] [git]
    Steven Keuchel, Stephanie Weirich and Tom Schrijvers.

    Submitted to the 25th European Symposium on Programming (ESOP'16), 2016.

  • InBound: Simple yet powerful Specification of Syntax with Binders [pdf] [code]
    Steven Keuchel and Tom Schrijvers.

    Submitted to the 20th ACM SIGPLAN international conference on Functional programming (ICFP' 15), 2015.

  • InfraGen: Binder Boilerplate at Scale [pdf]
    Steven Keuchel, Stephanie Weirich and Tom Schrijvers.

    Unpublished draft.

  • Generic Datatypes à la Carte [pdf] [bib] [acm]
    Steven Keuchel and Tom Schrijvers.

    Accepted for publication at the 9th ACM SIGPLAN workshop on Generic programming (WGP' 13), 2013.

  • Modular Monadic Meta-Theory [bib] [acm]
    Benjaming Delaware, Steven Keuchel, Tom Schrijvers and Bruno C. d. S. Oliveira.

    Accepted for publication at the 18th ACM SIGPLAN international conference on Functional programming (ICFP' 13), 2013.

  • Generic conversions of abstract syntax representations [pdf] [bib] [acm]
    Steven Keuchel and Johan T. Jeuring.

    In Proceedings of the 8th ACM SIGPLAN workshop on Generic programming (WGP' 12), 2012.