Jeremy G. Siek - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Jeremy G. Siek' as author, editor, or advisor:

Declarative Semantics for Functional LanguagesJeremy G. Siek. afp, 2017, 2017. [doi]
Blame and coercion: Together again for the first timeJeremy G. Siek, Peter Thiemann 0001, Philip Wadler. JFP, 31, 2021. [doi]
Programming language foundations in AgdaWen Kokke, Jeremy G. Siek, Philip Wadler. SCP, 194:102440, 2020. [doi]
Mechanized Type Safety for Gradual Information FlowTianyu Chen, Jeremy G. Siek. sp 2021: 194-206 [doi]
Sound gradual typing: only mostly deadSpenser Bauman, Carl Friedrich Bolz-Tereick, Jeremy G. Siek, Sam Tobin-Hochstadt. PACMPL, 1(OOPSLA), 2017. [doi]
Threesomes, with and without blameJeremy G. Siek, Philip Wadler. ECOOP 2009: 34-46 [doi]
Essentials of Compilation. An Incremental Approach in Racket Jeremy G. Siek. 2021.
Gradually typed symbolic expressionsDavid Broman, Jeremy G. Siek. PEPM 2018: 15-29 [doi]
A space-efficient call-by-value virtual machine for gradual set-theoretic typesGiuseppe Castagna, Guillaume Duboc, Victor Lanvin, Jeremy G. Siek. IFL 2019: [doi]
Challenges and progress toward efficient gradual typing (invited talk)Jeremy G. Siek. DLS 2017: 2 [doi]
Optimizing and evaluating transient gradual typing Michael M. Vitousek, Jeremy G. Siek, Avik Chaudhuri. DLS 2019: 28-41 [doi]
Gradual typing: a new perspectiveGiuseppe Castagna, Victor Lanvin, Tommaso Petrucciani, Jeremy G. Siek. PACMPL, 3, 2019. [doi]
Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculiJeremy G. Siek, Tianyu Chen. JFP, 31, 2021. [doi]
Extrinsically typed operational semantics for functional languagesMatteo Cimini, Dale Miller 0001, Jeremy G. Siek. SLE 2020: 108-125 [doi]
Toward efficient gradual typing for structural types via coercionsAndre Kuhlenschmidt, Deyaaeldeen Almahallawi, Jeremy G. Siek. PLDI 2019: 517-532 [doi]
Theorems for free for free: parametricity, with and without typesAmal Ahmed, Dustin Jamner, Jeremy G. Siek, Philip Wadler. PACMPL, 1(ICFP), 2017. [doi]
Staging and high-performance computing: theory and practice (NII Shonan Meeting 2014-7)Oleg Kiselyov, Jeremy G. Siek, Yukiyoshi Kameyama. shonan-reports, 2014, 2014. [doi]
The Metatheory of Gradual Typing: State of the Art and Challenges (Invited Talk)Jeremy G. Siek. calco 2023: [doi]

runs on WebDSL