| Toward Efficient Gradual Typing for Structural Types via Coercions A Kuhlenschmidt, D Almahallawi, JG Siek Programming Language Design and Implementation, 2019 | 35 | 2019 |
| Efficient gradual typing A Kuhlenschmidt, D Almahallawi, JG Siek arXiv preprint arXiv:1802.06375, 2018 | 4 | 2018 |
| An efficient compiler for the gradually typed lambda calculus A Kuhlenschmidt, D Almahallawi, JG Siek Scheme and Functional Programming Workshop 18, 2018 | 3 | 2018 |
| Towards Efficient Gradual Typing via Monotonic References and Coercions D Almahallawi Indiana University, 2020 | 2 | 2020 |
| Space-Efficient Monotonic References D ALMAHALLAWI, JG SIEK Workshop on Gradual Typing, 2020 | | 2020 |
Jeremy G. SiekProfessor of Computer Science, Indiana University在 indiana.edu 的電子郵件地址已通過驗證
Jeremy G. SiekProfessor of Computer Science, Indiana University在 indiana.edu 的電子郵件地址已通過驗證