TOPLAS: Vol 15, No 2

Volume 15, Issue 2April 1993

Go to ACM Transactions on Programming Languages and Systems Volume 15, Issue 2

Volume 15, Issue 2

April 1993

Editor:

Andrew W. Appel
Princeton Univ., Princeton, NJ

Publisher:

Association for Computing Machinery
New York
NY
United States

ISSN:0164-0925

EISSN:1558-4593

Tags:

Bibliometrics

Select All

Export Citations Save to Binder

article

Open Access

On the type structure of standard ML

Pages 211–252https://doi.org/10.1145/169701.169696

article

Open Access

Type inference with polymorphic recursion

Fritz Henglein

Pages 253–289https://doi.org/10.1145/169701.169692

article

Open Access

Type reconstruction in the presence of polymorphic recursion

Pages 290–311https://doi.org/10.1145/169701.169687

article

Open Access

An elimination algorithm for bidirectional data flow problems using edge placement

Pages 312–336https://doi.org/10.1145/169701.169684

article

Open Access

A superimposition control construct for distributed systems

Shmuel Katz

Pages 337–356https://doi.org/10.1145/169701.169682

article

Open Access

A further note on Hennessy's “Symbolic debugging of optimized code”

Pages 357–365https://doi.org/10.1145/169701.214526

Subjects

Comments

Please enable JavaScript to view thecomments powered by Disqus.