Seuraa
Deyaaeldeen Almahallawi
Deyaaeldeen Almahallawi
Indiana University
Vahvistettu sähköpostiosoite verkkotunnuksessa indiana.edu
Nimike
Viittaukset
Viittaukset
Vuosi
Toward Efficient Gradual Typing for Structural Types via Coercions
A Kuhlenschmidt, D Almahallawi, JG Siek
Programming Language Design and Implementation, 2019
352019
Efficient gradual typing
A Kuhlenschmidt, D Almahallawi, JG Siek
arXiv preprint arXiv:1802.06375, 2018
42018
An efficient compiler for the gradually typed lambda calculus
A Kuhlenschmidt, D Almahallawi, JG Siek
Scheme and Functional Programming Workshop 18, 2018
32018
Towards Efficient Gradual Typing via Monotonic References and Coercions
D Almahallawi
Indiana University, 2020
22020
Space-Efficient Monotonic References
D ALMAHALLAWI, JG SIEK
Workshop on Gradual Typing, 2020
2020
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–5