Affiliation:
1. Department of Computer Science and Engineering, Sogang University
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)
Subject
Artificial Intelligence,Electrical and Electronic Engineering,Computer Vision and Pattern Recognition,Hardware and Architecture,Software
Reference15 articles.
1. [1] P. Cregut, “An abstract machine for the normalization of λ-terms,” Proc. ACM Conference on LISP and Functional Programming, pp.333-340, 1990.
2. [2] K. Choi and A. Ohori, “A type theory for Krivine-style evaluation and compilation,” 2nd Asian Symposium on Programming Languages and System, pp.213-228, 2004.
3. [3] X. Leroy, “The ZINC experiment: An economical implementation of the ML language,” Technical Report 117, INRIA, 1992.
4. A type system for the push-enter model
5. [5] H. Xi, C. Chen, and G. Chen, “Guarded recursive datatype constructors,” Proc. ACM Symposium on Principles of Programming Languages, pp.224-235, 2003.