Asumu Takikawa

From MaRDI portal
Revision as of 12:32, 14 March 2024 by Import240314110308 (talk | contribs) (Created automatically from import240314110308)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:4972070

Available identifiers

zbMath Open takikawa.asumuMaRDI QIDQ4972070

List of research outcomes





PublicationDate of PublicationType
How to evaluate the performance of gradual type systems2019-11-22Paper
Constraining Delimited Control with Contracts2013-08-05Paper

Research outcomes over time

This page was built for person: Asumu Takikawa