default search action

combined dblp search
author search
venue search
publication search

ask others

Lisp and Symbolic Computation, Volume 8

> Home > Journals > Lisp and Symbolic Computation

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 8, Numbers 1-2, March 1995

- no documents available
  - details & citations
- export record
  dblp key:
  - journals/lisp/GuttmanRW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/GuttmanRW95
Joshua D. Guttman, John D. Ramsdell, Mitchell Wand:
VLISP: A Verified Implementation of Scheme. LISP Symb. Comput. 8(1-2): 5-32 (1995)
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/lisp/GuttmanRS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/GuttmanRS95
Joshua D. Guttman, John D. Ramsdell, Vipin Swarup:
The VLISP Verified Scheme System. LISP Symb. Comput. 8(1-2): 33-110 (1995)
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/lisp/OlivaRW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/OlivaRW95
Dino Oliva, John D. Ramsdell, Mitchell Wand:
The VLISP Verified PreScheme Compiler. LISP Symb. Comput. 8(1-2): 111-182 (1995)

Volume 8, Number 3, September 1995

- no documents available
  - details & citations
- export record
  dblp key:
  - journals/lisp/BirkedalW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/BirkedalW95
Lars Birkedal, Morten Welinder:
Binding-Time Analysis for Standard ML. LISP Symb. Comput. 8(3): 191-208 (1995)
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/lisp/DanvyMP95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/DanvyMP95
Olivier Danvy, Karoline Malmkjær, Jens Palsberg:
The Essence of Eta-Expansion in Partial Evaluation. LISP Symb. Comput. 8(3): 209-227 (1995)
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/lisp/Jones95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Jones95
Mark P. Jones:
Dictionary-Free Overloading by Partial Evaluation. LISP Symb. Comput. 8(3): 229-248 (1995)
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/lisp/Davis95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Davis95
Kei Davis:
PERs from Projections for Binding-Time Analysis. LISP Symb. Comput. 8(3): 249-266 (1995)
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/lisp/Baker-Finch95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Baker-Finch95
Clement A. Baker-Finch:
Type Theory and Projections for Static Analysis. LISP Symb. Comput. 8(3): 267-285 (1995)

Volume 8, Number 4, December 1995

Special Issue on State in Programming Languages (Part A)

- no documents available
  - details & citations
- export record
  dblp key:
  - journals/lisp/MasonO95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/MasonO95
Ian A. Mason, Martin Odersky:
Special Issue on State in Programming Languages - Introduction. LISP Symb. Comput. 8(4): 291-292 (1995)
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/lisp/LaunchburyJ95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/LaunchburyJ95
John Launchbury, Simon L. Peyton Jones:
State in Haskell. LISP Symb. Comput. 8(4): 293-341 (1995)
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/lisp/Wright95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Wright95
Andrew K. Wright:
Simple Imperative Polymorphism. LISP Symb. Comput. 8(4): 343-355 (1995)
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/lisp/EifrigSTZ95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/EifrigSTZ95
Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico:
An Interpretation of Typed OOP in a Language with State. LISP Symb. Comput. 8(4): 357-397 (1995)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.