Old Web
English
Sign In
Acemap
>
authorDetail
>
Asumu Takikawa
Asumu Takikawa
Northeastern University
Programming language
Computer science
Gradual typing
Racket
Soundness
8
Papers
192
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
How to evaluate the performance of gradual type systems
2019
Journal of Functional Programming
Ben Greenman
Asumu Takikawa
Max S. New
Daniel Feltey
Robert Bruce Findler
Jan Vitek
Matthias Felleisen
Show All
Source
Cite
Save
Citations (11)
Towards Practical Gradual Typing
2015
ECOOP | European Conference on Object-Oriented Programming
Asumu Takikawa
Daniel Feltey
Earl Dean
Matthew Flatt
Robert Bruce Findler
Sam Tobin-Hochstadt
Matthias Felleisen
Show All
Source
Cite
Save
Citations (23)
Constraining delimited control with contracts
2013
ESOP | European Symposium on Programming
Asumu Takikawa
T. Stephen Strickland
Sam Tobin-Hochstadt
Show All
Source
Cite
Save
Citations (16)
Constraining Delimited Control with Contracts
2013
ESOP | European Symposium on Programming
Asumu Takikawa
T. Stephen Strickland
Sam Tobin-Hochstadt
Show All
Source
Cite
Save
Citations (0)
Contracts for First-Class Classes
2013
ACM Transactions on Programming Languages and Systems
T. Stephen Strickland
Christos Dimoulas
Asumu Takikawa
Matthias Felleisen
Show All
Source
Cite
Save
Citations (7)
1