Artigos com autorizações de acesso público - Max S. NewSaiba mais
10 artigos disponíveis publicamente
Is sound gradual typing dead?
A Takikawa, D Feltey, B Greenman, MS New, J Vitek, M Felleisen
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
Autorizações: US National Science Foundation
Gradual type theory
MS New, DR Licata, A Ahmed
Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019
Autorizações: US National Science Foundation, US Department of Defense
Fully abstract compilation via universal embedding
MS New, WJ Bowman, A Ahmed
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
Autorizações: US National Science Foundation
Graduality and parametricity: together again for the first time
MS New, D Jamner, A Ahmed
Proceedings of the ACM on Programming Languages 4 (POPL), 1-32, 2019
Autorizações: US National Science Foundation
Graduality from embedding-projection pairs
MS New, A Ahmed
Proceedings of the ACM on Programming Languages 2 (ICFP), 73, 2018
Autorizações: US National Science Foundation, European Commission
How to evaluate the performance of gradual type systems
B Greenman, A Takikawa, MS New, D Feltey, RB Findler, J Vitek, ...
Journal of Functional Programming 29, e4, 2019
Autorizações: US National Science Foundation
Oh Lord, Please Don’t Let Contracts Be Misunderstood
C Dimoulas, MS New, RB Findler, M Felleisen
ICFP 2016 Proceedings of the 21st ACM SIGPLAN International Conference on …, 2016
Autorizações: US National Science Foundation
A Coq library for internal verification of running-times
J McCarthy, B Fetscher, MS New, D Feltey, RB Findler
Science of Computer Programming 164, 49-65, 2018
Autorizações: US National Science Foundation
Differential Cohesive Type Theory
JA Gross, DR Licata, MS New, J Paykin, M Riley, M Shulman, F Wellen
Extended abstracts for the Workshop “Homotopy Type Theory and Univalent …, 2017
Autorizações: US National Science Foundation
Gradual type theory
MS New, DR Licata, A Ahmed
Proceedings of the ACM on Programming Languages 3 (POPL), 15, 2019
Autorizações: US National Science Foundation, US Department of Defense
As informações de publicação e financiamento são determinadas automaticamente por um programa de computador