Author of the publication

Migratory Typing: Ten Years Later.

, , , , , , , , and . SNAPL, volume 71 of LIPIcs, page 17:1-17:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Takikawa, Asumu
add a person with the name Takikawa, Asumu
 

Other publications of authors with the same name

How to evaluate the performance of gradual type systems, , , , , , and . Journal of Functional Programming, (2019)Constraining Delimited Control with Contracts., , and . ESOP, volume 7792 of Lecture Notes in Computer Science, page 229-248. Springer, (2013)Gradual typing for first-class classes., , , , and . OOPSLA, page 793-810. ACM, (2012)Is sound gradual typing dead?, , , , , and . POPL, page 456-468. ACM, (2016)Towards Practical Gradual Typing., , , , , , and . ECOOP, volume 37 of LIPIcs, page 4-27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Contracts for First-Class Classes., , , and . ACM Trans. Program. Lang. Syst., 35 (3): 11:1-11:58 (2013)Migratory Typing: Ten Years Later., , , , , , , , and . SNAPL, volume 71 of LIPIcs, page 17:1-17:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)