Concepedia

Asumu Takikawa

AT

7

Publications

249

Citations

7

H-Index

2012

Active since

Affiliations

Northeastern University(Current)

Universidad del Noreste

Indiana University Bloomington

University of Utah

Asumu Takikawa is an author at Northeastern University specializing in computer science, software analysis, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSoftware EngineeringSoftware TestingLanguageProgramming Languages

Publications per year

2012–2019

7

Publications

7

Is sound gradual typing dead?

Asumu Takikawa, Daniel Feltey, Ben Greenman et al. · 2016 · 90 citations · Full text

Engineering, Compiler Technology, Neurolinguistics +24

Gradual typing for first-class classes

Asumu Takikawa, T. Stephen Strickland, Christos Dimoulas et al. · 2012 · 61 citations

Engineering, Type Theory, Software Engineering +20

How to evaluate the performance of gradual type systems

Ben Greenman, Asumu Takikawa, Max S. New et al. · Journal of Functional Programming · 2019 · 25 citations

Engineering, Type Theory, Compiler Technology +18

Migratory Typing: Ten Years Later

Sam Tobin-Hochstadt, Matthias Felleisen, Robert Bruce Findler et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2017 · 23 citations · Full text

Human Migration, Software Maintenance, Engineering +24

Towards Practical Gradual Typing

Asumu Takikawa, Daniel Feltey, Earl Dean et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 22 citations · Full text

Engineering, Type Theory, Software Engineering +22

Rows per page

1–5 of 7