LISP and Symbolic Computation,volume 13,issue 3  (09-2007)

Period of time： 2007年3期

Publisher： Springer Publishing Company

Founded in： 1988

Total resources： 33

ISSN： 1388-3690

Subject： TP Automation Technology , Computer Technology

Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

LISP and Symbolic Computation,volume 13,issue 3

Menu

Editorial

By Danvy O. in (2000)

LISP and Symbolic Computation,volume 13,issue 3 , Vol. 13, Iss. 3, 2000-09 , pp. 159-160

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Static and Dynamic Program Compilation by Interpreter Specialization

By Thibault S. in (2000)

LISP and Symbolic Computation,volume 13,issue 3 , Vol. 13, Iss. 3, 2000-09 , pp. 161-178

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Higher-Order UnCurrying

By Hannan J. in (2000)

LISP and Symbolic Computation,volume 13,issue 3 , Vol. 13, Iss. 3, 2000-09 , pp. 179-216

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Linear-Time Self-Interpretation of the Pure Lambda Calculus

By Mogensen T.Æ. in (2000)

LISP and Symbolic Computation,volume 13,issue 3 , Vol. 13, Iss. 3, 2000-09 , pp. 217-237

Springer Publishing Company

Abstract Access to resources Recommend Favorite

A Polymorphic Environment Calculus and its Type-Inference Algorithm

By Nishizaki S-Y. in (2000)

LISP and Symbolic Computation,volume 13,issue 3 , Vol. 13, Iss. 3, 2000-09 , pp. 239-278

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 5 item(s)