( en | de | ru )

 

Disambiguierung von "Ohori, Atsushi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Keynote Discussion Session on Persistent Type Systems.

, , , und . POS, Seite 216-221. Springer, (1992)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Atsushi Imai

Atsushi Imai

Atsushi Yagi

Atsushi Fukui

Atsushi Kambayashi

 

Weitere Publikationen von Autoren mit dem selben Namen

Finitary polymorphism for optimizing type-directed compilation., , und . Proc. ACM Program. Lang., 2 (ICFP): 81:1-81:29 (2018)A Type Safe Access to Key-value Stores from Functional Languages., und . J. Inf. Process., 24 (1): 141-151 (2016)Record Polymorphism: Its Development and Applications.. In Search of Elegance in the Theory and Practice of Computation, Volume 8000 von Lecture Notes in Computer Science, Seite 432-444. Springer, (2013)A Compilation Method for ML-Style Polymorphic Record Calculi.. POPL, Seite 154-165. ACM Press, (1992)A Polymorphic Calculus for Views and Object Sharing., und . PODS, Seite 255-266. ACM Press, (1994)The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code.. Fuji International Symposium on Functional and Logic Programming, Volume 1722 von Lecture Notes in Computer Science, Seite 300-318. Springer, (1999)An Unboxed Operational Semantics for ML Polymorphism., und . LISP Symb. Comput., 10 (1): 61-91 (1997)Register allocation by proof transformation.. Sci. Comput. Program., 50 (1-3): 161-187 (2004)An Equational Object-Oriented Data Model and its Data-Parallel Query Language., , und . OOPSLA, Seite 1-17. ACM, (1996)SIGPLAN Notices 31(10).SML# in industry: a practical ERP system development., , , , , , und . ICFP, Seite 167-173. ACM, (2014)