论文信息 - Separating binding times in language specifications - 字舞流文

Separating binding times in language specifications

Torben Æ. Mogensen

[1] Torben Æ. Mogensen. Binding Time Analysis for Polymorphically Typed Higher Order Languages , 1989, TAPSOFT, Vol.2.

[2] Neil D. Jones,et al. Mix: A self-applicable partial evaluator for experiments in compiler generation , 1989, LISP Symb. Comput..

[3] Flemming Nielson,et al. Automatic Binding Time Analysis for a Typed lambda-Calculus , 1988, Sci. Comput. Program..

[4] William L. Scherlis,et al. Compilers and staging transformations , 1986, POPL '86.

[5] Peter Sestoft,et al. The structure of a self-applicable partial evaluator , 1985, Programs as Data Objects.

[6] Peter Sestoft,et al. An experiment in partial evaluation: the generation of a compiler generator , 1985, SIGP.