Jeremy G. Siek

Available identifiers

Publication	Date of Publication	Type
The metatheory of gradual typing: state of the art and challenges (invited talk)	2024-11-26	Paper
Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi	2022-01-07	Paper
Blame and coercion: Together again for the first time	2021-12-27	Paper
Automatically generating the dynamic semantics of gradually typed languages	2017-10-20	Paper
Big types in little runtime: open-world soundness and collaborative blame for gradual type systems	2017-10-20	Paper
The Gradualizer: a methodology and algorithm for generating gradual type systems	2016-10-24	Paper
Reliable generation of high-performance matrix algebra	2016-10-24	Paper
The Recursive Union of Some Gradual Types	2016-08-17	Paper
Monotonic References for Efficient Gradual Typing	2016-04-26	Paper
Threesomes, with and without blame	2015-06-11	Paper
Blame for all	2014-04-10	Paper
A language for generic programming in the large	2011-05-04	Paper
Exploring the Design Space of Higher-Order Casts	2009-03-31	Paper
Improving the lazy Krivine machine	2007-12-17	Paper
An extended comparative study of language support for generic programming	2007-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q4945557	2000-09-05	Paper

This page was built for person: Jeremy G. Siek