118 Publications (Page 1 of 5)
2024
Quest Complete: The Holy Grail of Gradual Security
Chen, Tianyu and Siek, Jeremy G.
Proc. ACM Program. Lang., vol. 8. | Journal Article
2023
Essentials of Compilation: An Incremental Approach in Python
Siek, Jeremy G.
MIT Press
 
Essentials of Compilation: An Incremental Approach in Racket
Siek, Jeremy G.
MIT Press
 
Quest Complete: The Holy Grail of Gradual Security
Chen, T. and Siek, J.G.
2022
Mechanized Noninterference for Gradual Security
Chen, T. and Siek, J.G.
2021
Blame and coercion: Together again for the first time
Siek, Jeremy G⋅Thiemann, Peter and Wadler, Philip
Journal of Functional Programming, vol. 31, 2021. | Journal Article
 
Mechanized Type Safety for Gradual Information Flow
Chen, T. and Siek, J.G.
(pp. 194-206)
 
Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi
Siek, Jeremy G and Chen, Tianyu
Journal of Functional Programming, vol. 31, 2021. | Journal Article
2020
Extrinsically typed operational semantics for functional languages
Cimini, Matteo⋅Miller, Dale and Siek, Jeremy G.
ACM. | Conference Proceeding
 
Parameterized cast calculi and reusable meta-theory for Gradually Typed Lambda Calculi
Siek, J.G. and Chen, T.
 
Programming language foundations in Agda
Kokke, Wen⋅Kokke, Wen⋅Siek, Jeremy G⋅Siek, Jeremy G.⋅Wadler, Philip and Wadler, Philip
Science of Computer Programming, vol. 194, pp. 102440. | Journal Article
 
Toward a Mechanized Compendium of Gradual Typing
Siek, Jeremy G
2020-01-30. | Journal Article
 
Toward a Mechanized Compendium of Gradual Typing
2019
A space-efficient call-by-value virtual machine for gradual set-theoretic types
Castagna, G.⋅Duboc, G.⋅Lanvin, V. and Siek, J.G.
 
Gradual typing: a new perspective
Castagna, Giuseppe⋅Lanvin, Victor⋅Petrucciani, Tommaso and Siek, Jeremy G
Proceedings of the ACM on Programming Languages, vol. 3, (no. POPL), pp. 32, 01-02-2019. | Journal Article
 
Optimizing and evaluating transient gradual typing
Vitousek, M.M.⋅Siek, J.G. and Chaudhuri, A.
 
Optimizing and evaluating transient gradual typing. Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages - DLS 2019. | Conference Proceeding
 
Toward efficient gradual typing for structural types via coercions. Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2019. | Conference Proceeding
 
Transitivity of Subtyping for Intersection Types
Siek, J.G.
 
Transitivity of Subtyping for Intersection Types
Siek, Jeremy G
2019-06-23. | Journal Article
2018
Efficient gradual typing
Kuhlenschmidt, A.⋅Almahallawi, D. and Siek, J.G.
 
Efficient Gradual Typing
Kuhlenschmidt, Andre⋅Almahallawi, Deyaaeldeen and Siek, Jeremy G
2018-02-18. | Journal Article
 
Efficient Gradual Typing
Kuhlenschmidt, Andre⋅Almahallawi, Deyaaeldeen and Siek, Jeremy G
2018-02-18. | Journal Article
 
Efficient Gradual Typing
Kuhlenschmidt, Andre⋅Almahallawi, Deyaaeldeen and Siek, Jeremy G
2018-02-18. | Journal Article
 
Gradually typed symbolic expressions. Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 18. | Conference Proceeding