LISP and Symbolic Computation
Latest Publications

TOTAL DOCUMENTS

135
(FIVE YEARS 0)

H-INDEX

22
(FIVE YEARS 0)

Published By Springer-Verlag

0892-4635
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Measuring the cost of storage management

1996 ◽  
Vol 9 (4) ◽  
pp. 323-342 ◽  
Author(s):  
David Tarditi ◽  
Amer Diwan
Keyword(s):  
Storage Management ◽  
The Cost

Reliable interactive programming with modules

1996 ◽  
Vol 9 (4) ◽  
pp. 343-358
Author(s):  
Sho-Huan Simon Tung ◽  
R. Kent Dybvig
Keyword(s):  
Interactive Programming

A higher-order removal method

1996 ◽  
Vol 9 (4) ◽  
pp. 287-322 ◽  
Author(s):  
Wei-Ngan Chin ◽  
John Darlington
Keyword(s):  
Higher Order ◽  
Removal Method

Reflection and time-dependent computing: Experiences with the R2 architecture

1996 ◽  
Vol 9 (2-3) ◽  
pp. 243-277
Author(s):  
Yasuaki Honda ◽  
Mario Tokoro
Keyword(s):  
Time Dependent

Introduction

1996 ◽  
Vol 9 (2-3) ◽  
pp. 151-151 ◽  

A semantics of introspection in a reflective prototype-based language

1996 ◽  
Vol 9 (2-3) ◽  
pp. 153-179 ◽  
Author(s):  
Jacques Malenfant ◽  
Christophe Dony ◽  
Pierre Cointe

Duplication and partial evaluation

1996 ◽  
Vol 9 (2-3) ◽  
pp. 203-241 ◽  
Author(s):  
Kenichi Asai ◽  
Satoshi Matsuoka ◽  
Akinori Yonezawa
Keyword(s):  
Partial Evaluation

A simple reflective interpreter

1996 ◽  
Vol 9 (2-3) ◽  
pp. 181-202 ◽  
Author(s):  
Stanley Jefferson ◽  
Daniel P. Friedman

Strictness analysis in the Imperative Lambda Calculus

1996 ◽  
Vol 9 (1) ◽  
pp. 109-143 ◽  
Author(s):  
Jonathan Springer ◽  
Samuel N. Kamin
Keyword(s):  
Lambda Calculus ◽  
Strictness Analysis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document