LISP and Symbolic Computation,volume 12,issue 1  (04-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 12,issue 1

Menu

Editorial

By Danvy O.,Talcott C. in (1999)

LISP and Symbolic Computation,volume 12,issue 1 , Vol. 12, Iss. 1, 1999-04 , pp. 5-5

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Implementation Strategies for First-Class Continuations

By Hartheimer Anne,Ost Eric,Clinger William in (1999)

LISP and Symbolic Computation,volume 12,issue 1 , Vol. 12, Iss. 1, 1999-04 , pp. 7-45

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Using a Continuation Twice and Its Implications for the Expressive Power of call/cc

By Thielecke H. in (1999)

LISP and Symbolic Computation,volume 12,issue 1 , Vol. 12, Iss. 1, 1999-04 , pp. 47-73

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Unchecked Exceptions Can Be Strictly More Powerful Than Call/CC

By Lillibridge M. in (1999)

LISP and Symbolic Computation,volume 12,issue 1 , Vol. 12, Iss. 1, 1999-04 , pp. 75-104

Springer Publishing Company

Abstract Access to resources Recommend Favorite

An Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate Calculus

By Sandewall E. in (1999)

LISP and Symbolic Computation,volume 12,issue 1 , Vol. 12, Iss. 1, 1999-04 , pp. 105-113

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 5 item(s)