Volume V; Issue 1

ACM SIGPLAN Lisp Pointers

Volume V; Issue 1
1

A calculus for overloaded functions with subtyping

Castagna, Giuseppe, Ghelli, Giorgio, Longo, Giuseppe
Journal:
ACM SIGPLAN Lisp Pointers
Year:
1992
Language:
english
File:
PDF, 1.03 MB
english, 1992
2

Taming the Y operator

Rozas, Guillermo Juan
Journal:
ACM SIGPLAN Lisp Pointers
Year:
1992
Language:
english
File:
PDF, 818 KB
english, 1992
3

Projective ML

Rémy, Didier
Journal:
ACM SIGPLAN Lisp Pointers
Year:
1992
Language:
english
File:
PDF, 898 KB
english, 1992
4

Compiling lazy pattern matching

Maranget, Luc
Journal:
ACM SIGPLAN Lisp Pointers
Year:
1992
Language:
english
File:
PDF, 928 KB
english, 1992
6

A confluent calculus of Macro expansion and evaluation

Bove, Ana, Arbilla, Laura
Journal:
ACM SIGPLAN Lisp Pointers
Year:
1992
Language:
english
File:
PDF, 783 KB
english, 1992
7

Safe fusion of functional expressions

Chin, Wei-Ngan
Journal:
ACM SIGPLAN Lisp Pointers
Year:
1992
Language:
english
File:
PDF, 1.05 MB
english, 1992
8

Polymorphic type reconstruction for garbage collection without tags

Goldberg, Benjamin, Gloger, Michael
Journal:
ACM SIGPLAN Lisp Pointers
Year:
1992
Language:
english
File:
PDF, 1.05 MB
english, 1992
9

A foundation for an efficient multi-threaded scheme system

Jagannathan, Suresh, Philbin, Jim
Journal:
ACM SIGPLAN Lisp Pointers
Year:
1992
Language:
english
File:
PDF, 1.14 MB
english, 1992
10

Finiteness conditions for fixed point iteration

Nielson, Flemming, Nielson, Hanne Riis
Journal:
ACM SIGPLAN Lisp Pointers
Year:
1992
Language:
english
File:
PDF, 778 KB
english, 1992
12

Proving the correctness of storage representations

Wand, Mitchell, Oliva, Dino P.
Journal:
ACM SIGPLAN Lisp Pointers
Year:
1992
Language:
english
File:
PDF, 853 KB
english, 1992
13

Global tagging optimization by type inference

Henglein, Fritz
Journal:
ACM SIGPLAN Lisp Pointers
Year:
1992
Language:
english
File:
PDF, 1.11 MB
english, 1992
14

The Python compiler for CMU Common Lisp

MacLachlan, Robert A.
Journal:
ACM SIGPLAN Lisp Pointers
Year:
1992
Language:
english
File:
PDF, 1.01 MB
english, 1992
15

Integrating the Scheme and C languages

Rose, John R., Muller, Hans
Journal:
ACM SIGPLAN Lisp Pointers
Year:
1992
Language:
english
File:
PDF, 1.19 MB
english, 1992
16

Tachyon Common Lisp

Nagasaka, Atsushi, Shintani, Yoshihiro, Ito, Tanji, Gomi, Hiroshi, Takahashi, Junichi
Journal:
ACM SIGPLAN Lisp Pointers
Year:
1992
Language:
english
File:
PDF, 721 KB
english, 1992
17

Reasoning about programs in continuation-passing style.

Sabry, Amr, Felleisen, Matthias
Journal:
ACM SIGPLAN Lisp Pointers
Year:
1992
Language:
english
File:
PDF, 993 KB
english, 1992
18

Back to direct style II

Danvy, Olivier, Lawall, Julia L.
Journal:
ACM SIGPLAN Lisp Pointers
Year:
1992
Language:
english
File:
PDF, 1001 KB
english, 1992
19

Dynamic program parallelization

Huelsbergen, Lorenz, Larus, James R.
Journal:
ACM SIGPLAN Lisp Pointers
Year:
1992
Language:
english
File:
PDF, 1.24 MB
english, 1992
20

Interactive modular programming in Scheme

Tung, Sho-Huan Simon
Journal:
ACM SIGPLAN Lisp Pointers
Year:
1992
Language:
english
File:
PDF, 725 KB
english, 1992
21

On extending computational adequacy by data abstraction

Breazu-Tannen, Val, Subrahmanyam, Ramesh
Journal:
ACM SIGPLAN Lisp Pointers
Year:
1992
Language:
english
File:
PDF, 851 KB
english, 1992
22

Parsers in ML

Mauny, Michel, de Rauglaudre, Daniel
Journal:
ACM SIGPLAN Lisp Pointers
Year:
1992
Language:
english
File:
PDF, 918 KB
english, 1992
24

Improving binding times without explicit CPS-conversion

Bondorf, Anders
Journal:
ACM SIGPLAN Lisp Pointers
Year:
1992
Language:
english
File:
PDF, 1008 KB
english, 1992
26

Analysis of recursive types in Lisp-like languages

Wang, Edward, Hilfinger, Paul N.
Journal:
ACM SIGPLAN Lisp Pointers
Year:
1992
Language:
english
File:
PDF, 839 KB
english, 1992
27

WCL

Hennessey, Wade
Journal:
ACM SIGPLAN Lisp Pointers
Year:
1992
Language:
english
File:
PDF, 974 KB
english, 1992