Steven Keuchel
Title
Cited by
Cited by
Year
Modular monadic meta-theory
B Delaware, S Keuchel, T Schrijvers, BCS Oliveira
ACM SIGPLAN Notices 48 (9), 319-330, 2013
332013
Modular, fully-abstract compilation by approximate back-translation
S Keuchel, F Piessens, M Patrignani, D Devriese
Logical methods in computer science 13, 2017
232017
Needle & Knot: Binder boilerplate tied up
S Keuchel, S Weirich, T Schrijvers
European Symposium on Programming, 419-445, 2016
222016
Generic conversions of abstract syntax representations.
S Keuchel, J Jeuring
WGP@ ICFP, 57-68, 2012
132012
Generic datatypes ŕ la carte
S Keuchel, T Schrijvers
Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming, 13-24, 2013
112013
Modular monadic reasoning, a (co-) routine
S Keuchel, T Schrijvers
Pre-Proceedings of the 24th Symposium on Implementation and Application of …, 2012
42012
Needle & Knot: Boilerplate bound tighter
S Keuchel, T Schrijvers, S Weirich
Technical report, 2017
32017
Generic programming with binders and scope
S Keuchel
22011
Towards efficient implementations of effect handlers
S Keuchel, T Schrijvers
IFL 2014, 6, 2014
12014
Katamaran: semi-automated verification of ISA specifications
S Keuchel, G Lukyanov, D Devriese
1
Uninitialized Capabilities
S Huyghebaert, T Van Strydonck, S Keuchel, D Devriese
arXiv preprint arXiv:2006.01608, 2020
2020
Reusability for Mechanized Meta-Theory
S Keuchel
Faculty of Sciences, Ghent University, 2018
2018
NEEDLE & KNOT: A framework for meta-theoretical specifications with binding
S Keuchel, K Marntirosian, T Schrijvers
Workshop on Type Theory Based Tools, Date: 2017/01/15-2017/01/15, Location …, 2017
2017
Semi-automatic verification of ISA security guarantees in the form of universal contracts
S Huyghebaert, S Keuchel, D Devriese
Variables InBound
S Keuchel, A Maslow
INBOUND: Simple yet powerful Specification of Syntax with Binders
S Keuchel, T Schrijvers
Bringing Functions into the Fold
J Van der Jeugt, S Keuchel, T Schrijvers
The system can't perform the operation now. Try again later.
Articles 1–17