Steven Keuchel

I am currently a Ph.D. student in the Programming Languages Group at the Department of Applied Mathematics, Computer Science and Statistics of the University of Ghent.

Recent papers

  • Needle & Knot: Boilerplate bound tighter [pdf] [git]
    Steven Keuchel, Tom Schrijvers and Stephanie Weirich.

    Submitted to the 26th European Symposium on Programming (ESOP'17), 2017.

  • 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.

See the full list of my publications.

Recent talks

  • Towards efficient implementations of effect handlers [pdf]
    Steven Keuchel and Tom Schrijvers.

Steven Keuchel

Krijgslaan 281 S9 WE02
9000 Gent