Ohori, Atsushi; Yamatodani, Kiyoshi An interoperable calculus for external object access. (English) Zbl 1322.68047 Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ACM SIGPLAN Notices 37, No. 9, 60-71 (2002). MSC: 68N18 68N15 68N19 PDFBibTeX XMLCite \textit{A. Ohori} and \textit{K. Yamatodani}, in: Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP '02, Pittsburgh, PA, USA, October 4--6, 2002. New York, NY: Association for Computing Machinery (ACM). 60--71 (2002; Zbl 1322.68047) Full Text: DOI
Ohori, Atsushi Representing object identity in a pure functional language. (English) Zbl 0789.68037 Database theory, Proc. 3rd Int. Conf., ICDT ’90, Paris/Fr. 1990, Lect. Notes Comput. Sci. 470, 41-55 (1990). MSC: 68P15 68N15 68Q55 PDFBibTeX XMLCite \textit{A. Ohori}, Lect. Notes Comput. Sci. 470, 41--55 (1990; Zbl 0789.68037)