LISP and Symbolic Computation,volume 9,issue 1  (02-2007)

Period of time： 2007年1期

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 9,issue 1

Menu

Global State Considered Unnecessary: An Introduction to Object-Based Semantics

By Reddy U.S. in (1996)

LISP and Symbolic Computation,volume 9,issue 1 , Vol. 9, Iss. 1, 1996-02 , pp. 7-76

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Categorical Models for Local Names

By Stark I. in (1996)

LISP and Symbolic Computation,volume 9,issue 1 , Vol. 9, Iss. 1, 1996-02 , pp. 77-107

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Strictness Analysis in the Imperative Lambda Calculus

By Springer J.,Kamin S.N. in (1996)

LISP and Symbolic Computation,volume 9,issue 1 , Vol. 9, Iss. 1, 1996-02 , pp. 109-143

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 3 item(s)