Skip to contents Ohori, Atsushi [Editor] ; APLAS 1 2003 Peking Programming languages and systems : first Asian Symposium, Beijing, China, November 27-29, 2003 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2003 Published in: Lecture notes in computer science ; 2895 Leroy, Xavier [Editor]; Ohori, Atsushi [Other] ; TIC 2 1998 Kyōto Types in compilation : second International Workshop, TIC '98, Kyoto, Japan, March 25 - 27, 1998; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1473 Beeri, Catriel [Editor]; Ohori, Atsushi [Other]; Shasha, Dennis Elliott [Other] ; British Computer Society, DBPL 4 1993 New York, NY Database programming languages (DBPL-4) : proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August - 1 September 1993 Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London; Berlin; Heidelberg; New York; Paris; Tokyo; Hong Kong; Barcelona; Budapest: Springer, 1994 Published in: Workshops in computing Ohori, Atsushi [Author] Programming Languages and Systems : First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003 Published in: Lecture notes in computer science ; 2895 Ohori, Atsushi [Author] Programming Languages and Systems : First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2003 Published in: Lecture notes in computer science ; 289500 Hsiang, Jieh [Author] ; Ohori, Atsushi [Other] Advances in Computing Science ASIAN 98 : 4th Asian Computing Science Conference Manila, The Philippines, December 8–10, 1998 Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1998 Published in: Lecture notes in computer science ; 1538 Leroy, Xavier [Author] ; Ohori, Atsushi [Other] Types in Compilation : Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998 Published in: Lecture notes in computer science ; 1473 Ohori, Atsushi [Author]; Ueno, Katsuhiro [Author]; Sasaki, Tomohiro [Author]; Kikuchi, Daisuke [Author] ; Atsushi Ohori and Katsuhiro Ueno and Tomohiro Sasaki and Daisuke Kikuchi [Contributor] A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects Articles View online Schließen > Links ... to article via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016 Ohori, Atsushi In Search of Elegance in the Theory and Practice of Computation: Record Polymorphism: Its Development and Applications Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2013 Published in: In Search of Elegance in the Theory and Practice of Computation (2013), Seite 432-444 Ohori, Atsushi A proof theory for machine code Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2007 Published in: ACM Transactions on Programming Languages and Systems, 29 (2007) 6, Seite 36 Ohori, Atsushi Register allocation by proof transformation Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2004 Published in: Science of Computer Programming, 50 (2004) 1-3, Seite 161-187 Ohori, Atsushi Programming Languages and Systems: Register Allocation by Proof Transformation Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2003 Published in: Programming Languages and Systems (2003), Seite 399-413 Ohori, Atsushi Functional and Logic Programming: The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1999 Published in: Functional and Logic Programming (1999), Seite 300-318 Ohori, Atsushi Lecture Notes in Computer Science: A Curry-Howard Isomorphism for Compilation and Program Execution Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1999 Published in: Lecture Notes in Computer Science (1999), Seite 280-294 Ohori, Atsushi Type-Directed Specialization of Polymorphism Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1999 Published in: Information and Computation, 155 (1999) 1-2, Seite 64-107 Ohori, Atsushi Lecture Notes in Computer Science: Type system for specializing polymorphism Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1997 Published in: Lecture Notes in Computer Science (1997), Seite 107-137 Ohori, Atsushi A polymorphic record calculus and its compilation Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 1995 Published in: ACM Transactions on Programming Languages and Systems, 17 (1995) 6, Seite 844-895 Ohori, Atsushi ICDT '90: Representing object identity in a pure functional language Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1990 Published in: ICDT '90 (1990), Seite 39-55 Ohori, Atsushi Semantics of types for database objects Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1990 Published in: Theoretical Computer Science, 76 (1990) 1, Seite 53-91 Ohori, Atsushi ICDT '88: Semantics of types for database objects Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1983 Published in: ICDT '88 (1983), Seite 239-251
Ohori, Atsushi [Editor] ; APLAS 1 2003 Peking Programming languages and systems : first Asian Symposium, Beijing, China, November 27-29, 2003 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2003 Published in: Lecture notes in computer science ; 2895
Leroy, Xavier [Editor]; Ohori, Atsushi [Other] ; TIC 2 1998 Kyōto Types in compilation : second International Workshop, TIC '98, Kyoto, Japan, March 25 - 27, 1998; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1473
Beeri, Catriel [Editor]; Ohori, Atsushi [Other]; Shasha, Dennis Elliott [Other] ; British Computer Society, DBPL 4 1993 New York, NY Database programming languages (DBPL-4) : proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August - 1 September 1993 Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London; Berlin; Heidelberg; New York; Paris; Tokyo; Hong Kong; Barcelona; Budapest: Springer, 1994 Published in: Workshops in computing
Ohori, Atsushi [Author] Programming Languages and Systems : First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003 Published in: Lecture notes in computer science ; 2895
Ohori, Atsushi [Author] Programming Languages and Systems : First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2003 Published in: Lecture notes in computer science ; 289500
Hsiang, Jieh [Author] ; Ohori, Atsushi [Other] Advances in Computing Science ASIAN 98 : 4th Asian Computing Science Conference Manila, The Philippines, December 8–10, 1998 Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1998 Published in: Lecture notes in computer science ; 1538
Leroy, Xavier [Author] ; Ohori, Atsushi [Other] Types in Compilation : Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998 Published in: Lecture notes in computer science ; 1473
Ohori, Atsushi [Author]; Ueno, Katsuhiro [Author]; Sasaki, Tomohiro [Author]; Kikuchi, Daisuke [Author] ; Atsushi Ohori and Katsuhiro Ueno and Tomohiro Sasaki and Daisuke Kikuchi [Contributor] A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects Articles View online Schließen > Links ... to article via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
Ohori, Atsushi In Search of Elegance in the Theory and Practice of Computation: Record Polymorphism: Its Development and Applications Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2013 Published in: In Search of Elegance in the Theory and Practice of Computation (2013), Seite 432-444
Ohori, Atsushi A proof theory for machine code Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2007 Published in: ACM Transactions on Programming Languages and Systems, 29 (2007) 6, Seite 36
Ohori, Atsushi Register allocation by proof transformation Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2004 Published in: Science of Computer Programming, 50 (2004) 1-3, Seite 161-187
Ohori, Atsushi Programming Languages and Systems: Register Allocation by Proof Transformation Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2003 Published in: Programming Languages and Systems (2003), Seite 399-413
Ohori, Atsushi Functional and Logic Programming: The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1999 Published in: Functional and Logic Programming (1999), Seite 300-318
Ohori, Atsushi Lecture Notes in Computer Science: A Curry-Howard Isomorphism for Compilation and Program Execution Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1999 Published in: Lecture Notes in Computer Science (1999), Seite 280-294
Ohori, Atsushi Type-Directed Specialization of Polymorphism Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1999 Published in: Information and Computation, 155 (1999) 1-2, Seite 64-107
Ohori, Atsushi Lecture Notes in Computer Science: Type system for specializing polymorphism Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1997 Published in: Lecture Notes in Computer Science (1997), Seite 107-137
Ohori, Atsushi A polymorphic record calculus and its compilation Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 1995 Published in: ACM Transactions on Programming Languages and Systems, 17 (1995) 6, Seite 844-895
Ohori, Atsushi ICDT '90: Representing object identity in a pure functional language Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1990 Published in: ICDT '90 (1990), Seite 39-55
Ohori, Atsushi Semantics of types for database objects Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1990 Published in: Theoretical Computer Science, 76 (1990) 1, Seite 53-91
Ohori, Atsushi ICDT '88: Semantics of types for database objects Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1983 Published in: ICDT '88 (1983), Seite 239-251
> Media type Skip to next facet Articles (89) Wert ausschließen Books (7) Wert ausschließen Conference Proceedings (1) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (3) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (45) Wert ausschließen Without Specification (49) Wert ausschließen Show more show less
> Language Skip to next facet English (77) Wert ausschließen Not determined (19) Wert ausschließen Japanese (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (27) Wert ausschließen Medicine (21) Wert ausschließen Chemistry and pharmacology (4) Wert ausschließen Mathmatics (4) Wert ausschließen Biology (2) Wert ausschließen General (1) Wert ausschließen Technology (1) Wert ausschließen Show more show less
> Creator Skip to next facet Ohori, Atsushi (45) Wert ausschließen Komatsu, Yoshito (10) Wert ausschließen Ohori, Hisatsugu (10) Wert ausschließen Ueno, Katsuhiro (10) Wert ausschließen Akagi, Kiwamu (8) Wert ausschließen Kato, Takeshi (8) Wert ausschließen Muro, Kei (8) Wert ausschließen Ochiai, Atsushi (8) Wert ausschließen Oki, Eiji (8) Wert ausschließen Sato, Takeo (8) Wert ausschließen Shiozawa, Manabu (8) Wert ausschließen Shitara, Kohei (8) Wert ausschließen Soeda, Junpei (8) Wert ausschließen Tsuchihara, Katsuya (8) Wert ausschließen Uetake, Hiroyuki (8) Wert ausschließen Watanabe, Jun (8) Wert ausschließen Yamazaki, Kentaro (8) Wert ausschließen Yasui, Hirofumi (8) Wert ausschließen Yoshino, Takayuki (8) Wert ausschließen Kanno, Atsushi (7) Wert ausschließen Ohori, Hitoshi (7) Wert ausschließen Yamamoto, Kouji (7) Wert ausschließen Fujita, Atsushi (6) Wert ausschließen Matsumoto, Naomichi (6) Wert ausschließen Ohori, Makoto (6) Wert ausschließen Ohori, Sachiko (6) Wert ausschließen Yamashita, Riu (6) Wert ausschließen Hamanaka, Kohei (5) Wert ausschließen Hihara, Masamitsu (5) Wert ausschließen Miyatake, Satoko (5) Wert ausschließen Mizuguchi, Takeshi (5) Wert ausschließen Naitoh, Takeshi (5) Wert ausschließen Uchiyama, Yuri (5) Wert ausschließen Watanabe, Atsushi (5) Wert ausschließen Buneman, Peter (4) Wert ausschließen Higami, Tetsuya (4) Wert ausschließen Ishida, Nakao (4) Wert ausschließen KANNO, ATSUSHI (4) Wert ausschließen Koshimizu, Eriko (4) Wert ausschließen Mawatari, Tohru (4) Wert ausschließen Nagatsuka, Yasuko (4) Wert ausschließen Nakashima, Shinji (4) Wert ausschließen OHORI, HITOSHI (4) Wert ausschließen Ohori, Syunsuke (4) Wert ausschließen Takashima, Atsuo (4) Wert ausschließen Tsuchida, Naomi (4) Wert ausschließen Abe, Yasuyuki (3) Wert ausschließen Aparicio, Samuel (3) Wert ausschließen Araki, Shinsuke (3) Wert ausschließen Fujii, Takashi (3) Wert ausschließen Fukuda, Hiromi (3) Wert ausschließen ISHII, MOTOYASU (3) Wert ausschließen Kim, Chong Ae (3) Wert ausschließen Matsuda, Atsushi (3) Wert ausschließen Miyake, Noriko (3) Wert ausschließen Mori, Ikuo (3) Wert ausschließen Morimoto, Hiroshi (3) Wert ausschließen Naito, Takeshi (3) Wert ausschließen Nakanishi, Atsushi (3) Wert ausschließen Ohori, Momoko (3) Wert ausschließen Saida, Ken (3) Wert ausschließen Sekiguchi, Futoshi (3) Wert ausschließen Yamanaka, Kazunori (3) Wert ausschließen Akazawa, Naoya (2) Wert ausschließen Amagai, Kenji (2) Wert ausschließen Azuma, Yoshiteru (2) Wert ausschließen Baba, Hideo (2) Wert ausschließen Denda, Tadamichi (2) Wert ausschließen Doi, Hiroshi (2) Wert ausschließen Fujisawa, Yusuke (2) Wert ausschließen Fujito, Takefumi (2) Wert ausschließen Furuhashi, Masato (2) Wert ausschließen Goto, Yoshio (2) Wert ausschließen Higuchi, Tomoyuki (2) Wert ausschließen Hiraki, Yoko (2) Wert ausschließen Ishioka, Chikashi (2) Wert ausschließen Itai, Toshiyuki (2) Wert ausschließen Katano, Satoshi (2) Wert ausschließen Katayose, Masaki (2) Wert ausschließen Kato, Mitsuhiro (2) Wert ausschließen Kobayashi, Yoshimitsu (2) Wert ausschließen Komine, Keigo (2) Wert ausschließen Kondo, Hitoshi (2) Wert ausschließen Kotake, Masanori (2) Wert ausschließen Kouzu, Hidemichi (2) Wert ausschließen Koyanagi, Tetsuya (2) Wert ausschließen Kuno, Atsushi (2) Wert ausschließen Leroy, Xavier (2) Wert ausschließen MIYAZAKI, YUTAKA (2) Wert ausschließen Makiyama, Akitaka (2) Wert ausschließen Matsuda, Keizaburoh (2) Wert ausschließen Misawa, Kazuharu (2) Wert ausschließen Misumi, Toshihiro (2) Wert ausschließen Mitsuhashi, Satomi (2) Wert ausschließen Miwa, Keisuke (2) Wert ausschließen Morihata, Akimasa (2) Wert ausschließen Morita, Satoshi (2) Wert ausschließen Nagano, Nobutaka (2) Wert ausschließen Nagaoka, Ryohei (2) Wert ausschließen Nakamura, Masato (2) Wert ausschließen Show more show less
> Collection Skip to next facet Association for Computing Machinery (ACM) (CrossRef) (15) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (12) Wert ausschließen Elsevier BV (CrossRef) (11) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (10) Wert ausschließen Wiley (CrossRef) (9) Wert ausschließen Verbunddaten SWB (7) Wert ausschließen American Society of Clinical Oncology (ASCO) (CrossRef) (5) Wert ausschließen Tohoku University Medical Press (CrossRef) (4) Wert ausschließen Springer International Publishing (CrossRef) (3) Wert ausschließen American Association for Cancer Research (AACR) (CrossRef) (2) Wert ausschließen Ovid Technologies (Wolters Kluwer Health) (CrossRef) (2) Wert ausschließen Oxford University Press (OUP) (CrossRef) (2) Wert ausschließen American Medical Association (AMA) (CrossRef) (1) Wert ausschließen BASE - Bielefeld Academic Search Engine (1) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (1) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (1) Wert ausschließen Hindawi Limited (CrossRef) (1) Wert ausschließen Information Processing Society of Japan (CrossRef) (1) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (1) Wert ausschließen Japan Agency for Marine-Earth Science and Technology (CrossRef) (1) Wert ausschließen Japan Society of Mechanical Engineers (CrossRef) (1) Wert ausschließen Japanese Association for Chest Surgery (CrossRef) (1) Wert ausschließen Korean Association for the Study of Intestinal Diseases (CrossRef) (1) Wert ausschließen Life Science Alliance, LLC (CrossRef) (1) Wert ausschließen Public Library of Science (PLoS) (CrossRef) (1) Wert ausschließen SAGE Publications (CrossRef) (1) Wert ausschließen SPIE (CrossRef) (1) Wert ausschließen The Japanese Journal of Gastroenterological Surgery (CrossRef) (1) Wert ausschließen Show more show less