102 Publications (Page 1 of 5)
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
 
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
 
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
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. 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, Jeremy G
2019-06-23. | Journal Article
2018
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
2017
Automatically generating the dynamic semantics of gradually typed languages. ACM SIGPLAN Notices
Cimini, Matteo and Siek, Jeremy G. | Conference Proceeding
 
Big types in little runtime: open-world soundness and collaborative blame for gradual type systems. ACM SIGPLAN Notices
Vitousek, Michael M⋅Swords, Cameron and Siek, Jeremy G. | Conference Proceeding
 
Challenges and progress toward efficient gradual typing (invited talk)
Siek, Jeremy
ACM SIGPLAN Notices, vol. 52, (no. 11), pp. 2, 2017-10-24. | Journal Article
 
Revisiting Elementary Denotational Semantics
Siek, Jeremy G
2017-07-12. | Journal Article
 
Revisiting Elementary Denotational Semantics
Siek, Jeremy G
2017-07-12. | Journal Article
 
Revisiting Elementary Denotational Semantics
Siek, Jeremy G
2017-07-12. | Journal Article
 
Sound gradual typing: only mostly dead
Bauman, Spenser⋅Bauman, Spenser⋅Bolz-Tereick, Carl Friedrich⋅Bolz-Tereick, Carl Friedrich⋅Siek, Jeremy⋅Siek, Jeremy⋅Tobin-Hochstadt, Sam and Tobin Hochstadt, Sam
Proceedings of the ACM on Programming Languages, vol. 1, (no. OOPSLA), pp. 24, 10-12-2017. | Journal Article
 
Theorems for free for free: parametricity, with and without types. Proceedings of the ACM on Programming Languages
Ahmed, Amal⋅Jamner, Dustin⋅Siek, Jeremy G and Wadler, Philip. | Conference Proceeding
2016
Fractional permissions for race-free mutable references in a dataflow intermediate language
Cimini, M. and Siek, J.G.
ACM International Conference Proceeding Series, vol. 17-July-2016. | Conference Proceeding
 
Gradual Typing in an Open World
Vitousek, Michael M and Siek, Jeremy G
2016-10-26. | Journal Article
 
The Gradualizer: A methodology and algorithm for generating gradual type systems
Cimini, M. and Siek, J.G.
ACM SIGPLAN Notices, vol. 51, pp. 443-455. | Journal Article