102 Publications (Page 1 of 5)
2021
Blame and coercion: Together again for the first timeSiek, Jeremy G⋅Thiemann, Peter and Wadler, PhilipJournal of Functional Programming, vol. 31, 2021.
| Journal Article
Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculiSiek, Jeremy G and Chen, TianyuJournal of Functional Programming, vol. 31, 2021.
| Journal Article
2020
Extrinsically typed operational semantics for functional languagesCimini, Matteo⋅Miller, Dale and Siek, Jeremy G.ACM.
| Conference Proceeding
Programming language foundations in AgdaKokke, Wen⋅Kokke, Wen⋅Siek, Jeremy G⋅Siek, Jeremy G.⋅Wadler, Philip and Wadler, PhilipScience of Computer Programming, vol. 194, pp. 102440.
| Journal Article
Toward a Mechanized Compendium of Gradual Typing
Toward a Mechanized Compendium of Gradual TypingSiek, Jeremy G2020-01-30.
| Journal Article
2019
Gradual typing: a new perspectiveCastagna, Giuseppe⋅Lanvin, Victor⋅Petrucciani, Tommaso and Siek, Jeremy GProceedings 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 TypesSiek, Jeremy G2019-06-23.
| Journal Article
2018
Efficient Gradual TypingKuhlenschmidt, Andre⋅Almahallawi, Deyaaeldeen and Siek, Jeremy G2018-02-18.
| Journal Article
Efficient Gradual TypingKuhlenschmidt, Andre⋅Almahallawi, Deyaaeldeen and Siek, Jeremy G2018-02-18.
| Journal Article
Efficient Gradual TypingKuhlenschmidt, Andre⋅Almahallawi, Deyaaeldeen and Siek, Jeremy G2018-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 NoticesCimini, Matteo and Siek, Jeremy G.
| Conference Proceeding
Big types in little runtime: open-world soundness and collaborative blame for gradual type systems. ACM SIGPLAN NoticesVitousek, Michael M⋅Swords, Cameron and Siek, Jeremy G.
| Conference Proceeding
Challenges and progress toward efficient gradual typing (invited talk)Siek, JeremyACM SIGPLAN Notices, vol. 52, (no. 11), pp. 2, 2017-10-24.
| Journal Article
Revisiting Elementary Denotational SemanticsSiek, Jeremy G2017-07-12.
| Journal Article
Revisiting Elementary Denotational SemanticsSiek, Jeremy G2017-07-12.
| Journal Article
Revisiting Elementary Denotational SemanticsSiek, Jeremy G2017-07-12.
| Journal Article
Sound gradual typing: only mostly deadBauman, Spenser⋅Bauman, Spenser⋅Bolz-Tereick, Carl Friedrich⋅Bolz-Tereick, Carl Friedrich⋅Siek, Jeremy⋅Siek, Jeremy⋅Tobin-Hochstadt, Sam and Tobin Hochstadt, SamProceedings 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 LanguagesAhmed, Amal⋅Jamner, Dustin⋅Siek, Jeremy G and Wadler, Philip.
| Conference Proceeding
2016
Fractional permissions for race-free mutable references in a dataflow intermediate languageCimini, M. and Siek, J.G.ACM International Conference Proceeding Series, vol. 17-July-2016.
| Conference Proceeding
Gradual Typing in an Open WorldVitousek, Michael M and Siek, Jeremy G2016-10-26.
| Journal Article
The Gradualizer: A methodology and algorithm for generating gradual type systemsCimini, M. and Siek, J.G.ACM SIGPLAN Notices, vol. 51, pp. 443-455.
| Journal Article