default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Atsushi Ohori
@inproceedings{DBLP:conf/iwmm/UenoO22,
author = {Katsuhiro Ueno and
Atsushi Ohori},
editor = {Michael Lippautz and
David Chisnall},
title = {Concurrent and parallel garbage collection for lightweight threads
on multicore processors},
booktitle = {{ISMM} '22: {ACM} {SIGPLAN} International Symposium on Memory Management,
San Diego, CA, USA, 14 June 2022},
pages = {29--42},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3520263.3534652},
doi = {10.1145/3520263.3534652},
timestamp = {Wed, 22 Jun 2022 17:25:36 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/UenoO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/OhoriU21,
author = {Atsushi Ohori and
Katsuhiro Ueno},
editor = {Hakjoo Oh},
title = {A Compilation Method for Dynamic Typing in {ML}},
booktitle = {Programming Languages and Systems - 19th Asian Symposium, {APLAS}
2021, Chicago, IL, USA, October 17-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13008},
pages = {140--159},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89051-3\_9},
doi = {10.1007/978-3-030-89051-3\_9},
timestamp = {Thu, 23 Dec 2021 10:30:14 +0100},
biburl = {https://dblp.org/rec/conf/aplas/OhoriU21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/OhoriUM18,
author = {Atsushi Ohori and
Katsuhiro Ueno and
Hisayuki Mima},
title = {Finitary polymorphism for optimizing type-directed compilation},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{ICFP}},
pages = {81:1--81:29},
year = {2018},
url = {https://doi.org/10.1145/3236776},
doi = {10.1145/3236776},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/OhoriUM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jip/UenoO16,
author = {Katsuhiro Ueno and
Atsushi Ohori},
title = {A Type Safe Access to Key-value Stores from Functional Languages},
journal = {J. Inf. Process.},
volume = {24},
number = {1},
pages = {141--151},
year = {2016},
url = {https://doi.org/10.2197/ipsjjip.24.141},
doi = {10.2197/IPSJJIP.24.141},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jip/UenoO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/UenoO16,
author = {Katsuhiro Ueno and
Atsushi Ohori},
title = {A Foreign Language Interface from {ML} to Shell},
journal = {New Gener. Comput.},
volume = {34},
number = {3},
pages = {239--256},
year = {2016},
url = {https://doi.org/10.1007/s00354-016-0303-1},
doi = {10.1007/S00354-016-0303-1},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/UenoO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/OhoriUSK16,
author = {Atsushi Ohori and
Katsuhiro Ueno and
Tomohiro Sasaki and
Daisuke Kikuchi},
editor = {Shriram Krishnamurthi and
Benjamin S. Lerner},
title = {A Calculus with Partially Dynamic Records for Typeful Manipulation
of {JSON} Objects},
booktitle = {30th European Conference on Object-Oriented Programming, {ECOOP} 2016,
July 18-22, 2016, Rome, Italy},
series = {LIPIcs},
volume = {56},
pages = {18:1--18:25},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2016.18},
doi = {10.4230/LIPICS.ECOOP.2016.18},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/OhoriUSK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/UenoO16,
author = {Katsuhiro Ueno and
Atsushi Ohori},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {A fully concurrent garbage collector for functional programs on multicore
processors},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {421--433},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951944},
doi = {10.1145/2951913.2951944},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/icfp/UenoO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/UenoFMO14,
author = {Katsuhiro Ueno and
Yutaka Fukasawa and
Akimasa Morihata and
Atsushi Ohori},
editor = {Jacques Garrigue},
title = {The Essence of Ruby},
booktitle = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
2014, Singapore, November 17-19, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8858},
pages = {78--98},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12736-1\_5},
doi = {10.1007/978-3-319-12736-1\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/UenoFMO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/MorihataKO14,
author = {Akimasa Morihata and
Masato Koishi and
Atsushi Ohori},
editor = {Michael Codish and
Eijiro Sumii},
title = {Dynamic Programming via Thinning and Incrementalization},
booktitle = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8475},
pages = {186--202},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07151-0\_12},
doi = {10.1007/978-3-319-07151-0\_12},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/MorihataKO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/OhoriUHNSMI14,
author = {Atsushi Ohori and
Katsuhiro Ueno and
Kazunori Hoshi and
Shinji Nozaki and
Takashi Sato and
Tasuku Makabe and
Yuki Ito},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {SML{\#} in industry: a practical {ERP} system development},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {167--173},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628164},
doi = {10.1145/2628136.2628164},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/OhoriUHNSMI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Ohori13,
author = {Atsushi Ohori},
editor = {Val Tannen and
Limsoon Wong and
Leonid Libkin and
Wenfei Fan and
Wang{-}Chiew Tan and
Michael P. Fourman},
title = {Record Polymorphism: Its Development and Applications},
booktitle = {In Search of Elegance in the Theory and Practice of Computation -
Essays Dedicated to Peter Buneman},
series = {Lecture Notes in Computer Science},
volume = {8000},
pages = {432--444},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41660-6\_23},
doi = {10.1007/978-3-642-41660-6\_23},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Ohori13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/UenoOO11,
author = {Katsuhiro Ueno and
Atsushi Ohori and
Toshiaki Otomo},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {An efficient non-moving garbage collector for functional languages},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {196--208},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034802},
doi = {10.1145/2034773.2034802},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/UenoOO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/OhoriU11,
author = {Atsushi Ohori and
Katsuhiro Ueno},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Making standard {ML} a practical database programming language},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {307--319},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034815},
doi = {10.1145/2034773.2034815},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/OhoriU11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/imt/LiuO10,
author = {Bochao Liu and
Atsushi Ohori},
title = {A Flattening Strategy for {SML} Module Compilation and Its Implementation},
journal = {Inf. Media Technol.},
volume = {5},
number = {1},
pages = {58--76},
year = {2010},
url = {https://doi.org/10.11185/imt.5.58},
doi = {10.11185/IMT.5.58},
timestamp = {Wed, 04 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/imt/LiuO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HiguchiO07,
author = {Tomoyuki Higuchi and
Atsushi Ohori},
title = {A static type system for {JVM} access control},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {1},
pages = {4},
year = {2007},
url = {https://doi.org/10.1145/1180475.1180479},
doi = {10.1145/1180475.1180479},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/HiguchiO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Ohori07,
author = {Atsushi Ohori},
title = {A proof theory for machine code},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {6},
pages = {36},
year = {2007},
url = {https://doi.org/10.1145/1286821.1286827},
doi = {10.1145/1286821.1286827},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Ohori07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/OhoriS07,
author = {Atsushi Ohori and
Isao Sasano},
editor = {Martin Hofmann and
Matthias Felleisen},
title = {Lightweight fusion by fixed point promotion},
booktitle = {Proceedings of the 34th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2007, Nice, France, January 17-19,
2007},
pages = {143--154},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1190216.1190241},
doi = {10.1145/1190216.1190241},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/OhoriS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/NguyenO06,
author = {Huu{-}Duc Nguyen and
Atsushi Ohori},
editor = {Annalisa Bossi and
Michael J. Maher},
title = {Compiling {ML} polymorphism with explicit layout bitmap},
booktitle = {Proceedings of the 8th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 10-12, 2006,
Venice, Italy},
pages = {237--248},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1140335.1140364},
doi = {10.1145/1140335.1140364},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/NguyenO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/MatsunoO06,
author = {Yutaka Matsuno and
Atsushi Ohori},
editor = {Annalisa Bossi and
Michael J. Maher},
title = {A type system equivalent to static single assignment},
booktitle = {Proceedings of the 8th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 10-12, 2006,
Venice, Italy},
pages = {249--260},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1140335.1140365},
doi = {10.1145/1140335.1140365},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/MatsunoO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Ohori04,
author = {Atsushi Ohori},
title = {Register allocation by proof transformation},
journal = {Sci. Comput. Program.},
volume = {50},
number = {1-3},
pages = {161--187},
year = {2004},
url = {https://doi.org/10.1016/j.scico.2004.01.005},
doi = {10.1016/J.SCICO.2004.01.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Ohori04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/ChoiO04,
author = {Kwanghoon Choi and
Atsushi Ohori},
editor = {Wei{-}Ngan Chin},
title = {A Type Theory for Krivine-Style Evaluation and Compilation},
booktitle = {Programming Languages and Systems: Second Asian Symposium, {APLAS}
2004, Taipei, Taiwan, November 4-6, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3302},
pages = {213--228},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30477-7\_15},
doi = {10.1007/978-3-540-30477-7\_15},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/ChoiO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Ohori03,
author = {Atsushi Ohori},
editor = {Pierpaolo Degano},
title = {Register Allocation by Proof Transformation},
booktitle = {Programming Languages and Systems, 12th European Symposium on Programming,
{ESOP} 2003, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2003, Warsaw, Poland, April 7-11,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2618},
pages = {399--413},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36575-3\_27},
doi = {10.1007/3-540-36575-3\_27},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/Ohori03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HiguchiO03,
author = {Tomoyuki Higuchi and
Atsushi Ohori},
editor = {Colin Runciman and
Olin Shivers},
title = {A static type system for {JVM} access control},
booktitle = {Proceedings of the Eighth {ACM} {SIGPLAN} International Conference
on Functional Programming, {ICFP} 2003, Uppsala, Sweden, August 25-29,
2003},
pages = {227--237},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/944705.944726},
doi = {10.1145/944705.944726},
timestamp = {Sat, 26 Jun 2021 13:59:53 +0200},
biburl = {https://dblp.org/rec/conf/icfp/HiguchiO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2003,
editor = {Atsushi Ohori},
title = {Programming Languages and Systems, First Asian Symposium, {APLAS}
2003, Beijing, China, November 27-29, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2895},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b94290},
doi = {10.1007/B94290},
isbn = {3-540-20536-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/OhoriY02,
author = {Atsushi Ohori and
Kiyoshi Yamatodani},
title = {An Interoperable Calculus for External Object Access},
booktitle = {The Third Asian Workshop on Programming Languages and Systems, APLAS'02,
Shanghai Jiao Tong University, Shanghai, China, November 29 - December
1, 2002, Proceedings},
pages = {127},
year = {2002},
timestamp = {Tue, 01 Jun 2004 13:16:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/OhoriY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/OhoriY02,
author = {Atsushi Ohori and
Kiyoshi Yamatodani},
editor = {Mitchell Wand and
Simon L. Peyton Jones},
title = {An interoperable calculus for external object access},
booktitle = {Proceedings of the Seventh {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '02), Pittsburgh, Pennsylvania,
USA, October 4-6, 2002},
pages = {60--71},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/581478.581485},
doi = {10.1145/581478.581485},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/icfp/OhoriY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/HiguchiO02,
author = {Tomoyuki Higuchi and
Atsushi Ohori},
title = {Java bytecode as a typed term calculus},
booktitle = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
Principles and practice of declarative programming, October 6-8, 2002,
Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
pages = {201--211},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/571157.571178},
doi = {10.1145/571157.571178},
timestamp = {Tue, 06 Nov 2018 16:57:25 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/HiguchiO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HashimotoO01,
author = {Masatomo Hashimoto and
Atsushi Ohori},
title = {A typed context calculus},
journal = {Theor. Comput. Sci.},
volume = {266},
number = {1-2},
pages = {249--272},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00174-2},
doi = {10.1016/S0304-3975(00)00174-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HashimotoO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Ohori01,
author = {Atsushi Ohori},
title = {Proof-Directed Compilation for Inter-operable Languages},
booktitle = {The Second Asian Workshop on Programming Languages and Systems, APLAS'01,
Korea Advanced Institute of Science and Technology, Daejeon, Korea,
December 17-18, 2001, Proceedings},
pages = {301--311},
year = {2001},
timestamp = {Tue, 01 Jun 2004 13:15:57 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Ohori01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/KatsumataO01,
author = {Shin{-}ya Katsumata and
Atsushi Ohori},
editor = {David Sands},
title = {Proof-Directed De-compilation of Low-Level Code},
booktitle = {Programming Languages and Systems, 10th European Symposium on Programming,
{ESOP} 2001 Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2028},
pages = {352--366},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45309-1\_23},
doi = {10.1007/3-540-45309-1\_23},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/KatsumataO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/MycroftOK01,
author = {Alan Mycroft and
Atsushi Ohori and
Shin{-}ya Katsumata},
editor = {Elizabeth Burd and
Peter Aiken and
Rainer Koschke},
title = {Comparing Type-Based and Proof-Directed Decompilation},
booktitle = {Proceedings of the Eighth Working Conference on Reverse Engineering,
WCRE'01, Stuttgart, Germany, October 2-5, 2001},
pages = {362--367},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/WCRE.2001.957844},
doi = {10.1109/WCRE.2001.957844},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/MycroftOK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Ohori00,
author = {Atsushi Ohori},
title = {Logical Analysis of Assembly Language},
booktitle = {The First Asian Workshop on Programming Languages and Systems, {APLAS}
2000, National University of Singapore, Singapore, December 18-20,
2000, Proceedings},
pages = {179},
year = {2000},
timestamp = {Tue, 01 Jun 2004 14:41:27 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Ohori00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Ohori99,
author = {Atsushi Ohori},
title = {Type-Directed Specialization of Polymorphism},
journal = {Inf. Comput.},
volume = {155},
number = {1-2},
pages = {64--107},
year = {1999},
url = {https://doi.org/10.1006/inco.1999.2831},
doi = {10.1006/INCO.1999.2831},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Ohori99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/NishimuraO99,
author = {Susumu Nishimura and
Atsushi Ohori},
title = {Parallel Functional Programming on Recursively Defined Data via Data-Parallel
Recursion},
journal = {J. Funct. Program.},
volume = {9},
number = {4},
pages = {427--462},
year = {1999},
url = {https://doi.org/10.1017/s0956796899003457},
doi = {10.1017/S0956796899003457},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/NishimuraO99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Ohori99,
author = {Atsushi Ohori},
editor = {Aart Middeldorp and
Taisuke Sato},
title = {The Logical Abstract Machine: {A} Curry-Howard Isomorphism for Machine
Code},
booktitle = {Functional and Logic Programming, 4th Fuji International Symposium,
FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1722},
pages = {300--318},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10705424\_20},
doi = {10.1007/10705424\_20},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/Ohori99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/OhoriY99,
author = {Atsushi Ohori and
Nobuaki Yoshida},
editor = {Didier R{\'{e}}my and
Peter Lee},
title = {Type Inference with Rank 1 Polymorphism for Type-Directed Compilation
of {ML}},
booktitle = {Proceedings of the fourth {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '99), Paris, France, September 27-29,
1999},
pages = {160--171},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/317636.317796},
doi = {10.1145/317636.317796},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/icfp/OhoriY99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Ohori99,
author = {Atsushi Ohori},
editor = {Jean{-}Yves Girard},
title = {A Curry-Howard Isomorphism for Compilation and Program Execution},
booktitle = {Typed Lambda Calculi and Applications, 4th International Conference,
TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1581},
pages = {280--294},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48959-2\_20},
doi = {10.1007/3-540-48959-2\_20},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Ohori99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asian/1998,
editor = {Jieh Hsiang and
Atsushi Ohori},
title = {Advances in Computing Science - {ASIAN} '98, 4th Asian Computing Science
Conference, Manila, The Philippines, December 8-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1538},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49366-2},
doi = {10.1007/3-540-49366-2},
isbn = {3-540-65388-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tic/1998,
editor = {Xavier Leroy and
Atsushi Ohori},
title = {Types in Compilation, Second International Workshop, {TIC} '98, Kyoto,
Japan, March 25-27, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1473},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055508},
doi = {10.1007/BFB0055508},
isbn = {3-540-64925-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tic/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/OhoriT97,
author = {Atsushi Ohori and
Tomonobu Takamizawa},
title = {An Unboxed Operational Semantics for {ML} Polymorphism},
journal = {{LISP} Symb. Comput.},
volume = {10},
number = {1},
pages = {61--91},
year = {1997},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/OhoriT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/Ohori97,
author = {Atsushi Ohori},
editor = {Mart{\'{\i}}n Abadi and
Takayasu Ito},
title = {Type System for Specializing Polymorphism},
booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
{TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1281},
pages = {107--137},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014549},
doi = {10.1007/BFB0014549},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/Ohori97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/1996,
editor = {Tetsuo Ida and
Atsushi Ohori and
Masato Takeichi},
title = {Functional and Logic Programming, Proceedings of the Second Fuji International
Workshop, Shonan Village Center, Japan, 1-4 November 1996},
publisher = {World Scientific},
year = {1997},
isbn = {981-02-2923-2},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/BunemanO96,
author = {Peter Buneman and
Atsushi Ohori},
title = {Polymorphism and Type Inference in Database Programming},
journal = {{ACM} Trans. Database Syst.},
volume = {21},
number = {1},
pages = {30--76},
year = {1996},
url = {https://doi.org/10.1145/227604.227609},
doi = {10.1145/227604.227609},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/BunemanO96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/NishimuraOT96,
author = {Susumu Nishimura and
Atsushi Ohori and
Keishi Tajima},
editor = {Lougie Anderson and
James Coplien},
title = {An Equational Object-Oriented Data Model and its Data-Parallel Query
Language},
booktitle = {Proceedings of the 1996 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages {\&} Applications, {OOPSLA} 1996,
San Jose, California, USA, October 6-10, 1996},
pages = {1--17},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/236337.236339},
doi = {10.1145/236337.236339},
timestamp = {Wed, 30 Mar 2022 13:58:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/NishimuraOT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Ohori95,
author = {Atsushi Ohori},
title = {A Polymorphic Record Calculus and Its Compilation},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {6},
pages = {844--895},
year = {1995},
url = {https://doi.org/10.1145/218570.218572},
doi = {10.1145/218570.218572},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Ohori95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/OhoriT94,
author = {Atsushi Ohori and
Keishi Tajima},
editor = {Victor Vianu},
title = {A Polymorphic Calculus for Views and Object Sharing},
booktitle = {Proceedings of the Thirteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota,
{USA}},
pages = {255--266},
publisher = {{ACM} Press},
year = {1994},
url = {https://doi.org/10.1145/182591.182623},
doi = {10.1145/182591.182623},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/OhoriT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tppp/NishimuraO94,
author = {Susumu Nishimura and
Atsushi Ohori},
editor = {Takayasu Ito and
Akinori Yonezawa},
title = {A Calculus for Exploiting Data Parallelism on Recursively Defined
Data},
booktitle = {Theory and Practice of Parallel Programming, International Workshop
TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {907},
pages = {413--432},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0026582},
doi = {10.1007/BFB0026582},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tppp/NishimuraO94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dbpl/93,
editor = {Catriel Beeri and
Atsushi Ohori and
Dennis E. Shasha},
title = {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},
series = {Workshops in Computing},
publisher = {Springer},
year = {1994},
isbn = {3-540-19853-9},
timestamp = {Thu, 11 Aug 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dbpl/93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/OhoriK93,
author = {Atsushi Ohori and
Kazuhiko Kato},
editor = {Mary S. Van Deusen and
Bernard Lang},
title = {Semantics for Communication Primitives in an Polymorphic Language},
booktitle = {Conference Record of the Twentieth Annual {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Charleston, South Carolina,
USA, January 1993},
pages = {99--112},
publisher = {{ACM} Press},
year = {1993},
url = {https://doi.org/10.1145/158511.158529},
doi = {10.1145/158511.158529},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/OhoriK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Ohori92,
author = {Atsushi Ohori},
editor = {Ravi Sethi},
title = {A Compilation Method for ML-Style Polymorphic Record Calculi},
booktitle = {Conference Record of the Nineteenth Annual {ACM} {SIGPLAN-SIGACT}
Symposium on Principles of Programming Languages, Albuquerque, New
Mexico, USA, January 19-22, 1992},
pages = {154--165},
publisher = {{ACM} Press},
year = {1992},
url = {https://doi.org/10.1145/143165.143200},
doi = {10.1145/143165.143200},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Ohori92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pos/ConnorAGO92,
author = {Richard C. H. Connor and
Malcolm P. Atkinson and
Giorgio Ghelli and
Atsushi Ohori},
editor = {Antonio Albano and
Ronald Morrison},
title = {Keynote Discussion Session on Persistent Type Systems},
booktitle = {Persistent Object Systems, Proceedings of the Fifth International
Workshop on Persistent Object Systems, San Miniato (Pisa), Italy,
1-4 September, 1992},
series = {Workshops in Computing},
pages = {216--221},
publisher = {Springer},
year = {1992},
timestamp = {Wed, 11 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pos/ConnorAGO92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/TannenBO91,
author = {Val Tannen and
Peter Buneman and
Atsushi Ohori},
title = {Data Structures and Data Types for Object-Oriented Databases},
journal = {{IEEE} Data Eng. Bull.},
volume = {14},
number = {2},
pages = {23--27},
year = {1991},
url = {http://sites.computer.org/debull/91JUN-CD.pdf},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/debu/TannenBO91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BunemanJO91,
author = {Peter Buneman and
Achim Jung and
Atsushi Ohori},
title = {Using Powerdomains to Generalize Relational Databases},
journal = {Theor. Comput. Sci.},
volume = {91},
number = {1},
pages = {23--55},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90266-5},
doi = {10.1016/0304-3975(91)90266-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BunemanJO91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/BunemanO91,
author = {Peter Buneman and
Atsushi Ohori},
editor = {Paris C. Kanellakis and
Joachim W. Schmidt},
title = {A Type System that Reconsiles Classes and Extents},
booktitle = {Database Programming Languages: Bulk Types and Persistent Data. 3rd
International Workshop, August 27-30, 1991, Nafplion, Greece, Proceedings},
pages = {191--202},
publisher = {Morgan Kaufmann},
year = {1991},
timestamp = {Wed, 29 Mar 2017 16:45:27 +0200},
biburl = {https://dblp.org/rec/conf/dbpl/BunemanO91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ohori90,
author = {Atsushi Ohori},
title = {Semantics of Types for Database Objects},
journal = {Theor. Comput. Sci.},
volume = {76},
number = {1},
pages = {53--91},
year = {1990},
url = {https://doi.org/10.1016/0304-3975(90)90012-7},
doi = {10.1016/0304-3975(90)90012-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Ohori90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewdw/MatthesOS90,
author = {Florian Matthes and
Atsushi Ohori and
Joachim W. Schmidt},
editor = {Joachim W. Schmidt and
Anatoly A. Stogny},
title = {Typing Schemes for Objects with Locality},
booktitle = {Next Generation Information System Technology, First Interational
East/West Data Base Workshop, Kiev, USSR, October 9-12, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {504},
pages = {106--123},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-54141-1\_7},
doi = {10.1007/3-540-54141-1\_7},
timestamp = {Sat, 07 Sep 2019 11:59:26 +0200},
biburl = {https://dblp.org/rec/conf/ewdw/MatthesOS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/Ohori90,
author = {Atsushi Ohori},
editor = {Serge Abiteboul and
Paris C. Kanellakis},
title = {Representing Object Identity in a Pure Functional Language},
booktitle = {ICDT'90, Third International Conference on Database Theory, Paris,
France, December 12-14, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {470},
pages = {41--55},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53507-1\_69},
doi = {10.1007/3-540-53507-1\_69},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/Ohori90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pos/OhoriTCP90,
author = {Atsushi Ohori and
Ivan Tabkha and
Richard C. H. Connor and
Paul Philbrow},
editor = {Alan Dearle and
Gail M. Shaw and
Stanley B. Zdonik},
title = {Persistence and Type Abstraction Revisited},
booktitle = {Implementing Persistent Object Bases, Principles and Practice, Proceedings
of the Fourth International Workshop on Persistent Objects, 23-27
September 1990, Martha's Vineyard, MA, {USA}},
pages = {141--153},
publisher = {Morgan Kaufmann},
year = {1990},
timestamp = {Tue, 18 Sep 2012 19:50:15 +0200},
biburl = {https://dblp.org/rec/conf/pos/OhoriTCP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/TannenBO89,
author = {Val Tannen and
Peter Buneman and
Atsushi Ohori},
title = {Static Type-checking in Object-Oriented Databases},
journal = {{IEEE} Data Eng. Bull.},
volume = {12},
number = {3},
pages = {5--12},
year = {1989},
url = {http://sites.computer.org/debull/89SEP-CD.pdf},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/debu/TannenBO89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/TannenBO89,
author = {Val Tannen and
Peter Buneman and
Atsushi Ohori},
editor = {Richard Hull and
Ronald Morrison and
David W. Stemple},
title = {Can Object-Oriented Databases be Statically Typed?},
booktitle = {Proceedings of the Second International Workshop on Database Programming
Languages, 4-8 June, 1989, Salishan Lodge, Gleneden Beach, Oregon,
{USA}},
pages = {226--237},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Wed, 20 Jun 2018 17:19:07 +0200},
biburl = {https://dblp.org/rec/conf/dbpl/TannenBO89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Ohori89,
author = {Atsushi Ohori},
editor = {Joseph E. Stoy},
title = {A Simple Semantics for {ML} Polymorphism},
booktitle = {Proceedings of the fourth international conference on Functional programming
languages and computer architecture, {FPCA} 1989, London, UK, September
11-13, 1989},
pages = {281--292},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/99370.99393},
doi = {10.1145/99370.99393},
timestamp = {Tue, 06 Nov 2018 11:07:48 +0100},
biburl = {https://dblp.org/rec/conf/fpca/Ohori89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/OhoriB89,
author = {Atsushi Ohori and
Peter Buneman},
editor = {George Bosworth},
title = {Static Type Inference for Parametric Classes},
booktitle = {Conference on Object-Oriented Programming: Systems, Languages, and
Applications, {OOPSLA} 1989, New Orleans, Louisiana, USA, October
1-6, 1989, Proceedings},
pages = {445--456},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/74877.74923},
doi = {10.1145/74877.74923},
timestamp = {Wed, 30 Mar 2022 13:54:19 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/OhoriB89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/OhoriBT89,
author = {Atsushi Ohori and
Peter Buneman and
Val Tannen},
editor = {James Clifford and
Bruce G. Lindsay and
David Maier},
title = {Database Programming in Machiavelli - a Polymorphic Language with
Static Type Inference},
booktitle = {Proceedings of the 1989 {ACM} {SIGMOD} International Conference on
Management of Data, Portland, Oregon, USA, May 31 - June 2, 1989},
pages = {46--57},
publisher = {{ACM} Press},
year = {1989},
url = {https://doi.org/10.1145/67544.66931},
doi = {10.1145/67544.66931},
timestamp = {Mon, 21 Jun 2021 16:00:48 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/OhoriBT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/Ohori88,
author = {Atsushi Ohori},
editor = {Marc Gyssens and
Jan Paredaens and
Dirk Van Gucht},
title = {Semantics of Types for Database Objects},
booktitle = {ICDT'88, 2nd International Conference on Database Theory, Bruges,
Belgium, August 31 - September 2, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {326},
pages = {239--251},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50171-1\_15},
doi = {10.1007/3-540-50171-1\_15},
timestamp = {Sat, 09 Apr 2022 12:41:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/Ohori88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/OhoriB88,
author = {Atsushi Ohori and
Peter Buneman},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {Type Inference in a Database Programming Language},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {174--183},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62700},
doi = {10.1145/62678.62700},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/OhoriB88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/Ohori87,
author = {Atsushi Ohori},
editor = {Fran{\c{c}}ois Bancilhon and
Peter Buneman},
title = {Orderings and Types in Databases},
booktitle = {Advances in Database Programming Languages, Papers from DBPL-1, September
1987, Roscoff, France},
pages = {97--116},
publisher = {{ACM} Press / Addison-Wesley},
year = {1987},
url = {https://doi.org/10.1145/101620.101626},
doi = {10.1145/101620.101626},
timestamp = {Tue, 05 May 2020 16:02:27 +0200},
biburl = {https://dblp.org/rec/conf/dbpl/Ohori87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/BunemanO86,
author = {Peter Buneman and
Atsushi Ohori},
editor = {Giorgio Ausiello and
Paolo Atzeni},
title = {A Domain Theoretic Approach to Higher-Order Relations},
booktitle = {ICDT'86, International Conference on Database Theory, Rome, Italy,
September 8-10, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {243},
pages = {91--104},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-17187-8\_31},
doi = {10.1007/3-540-17187-8\_31},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/BunemanO86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-06 00:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
