Proceedings of the 1994 ACM conference on LISP and functional programming - LFP '94
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897916433

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Tag-free garbage collection using explicit type parameters

Proceedings of the 1994 ACM conference on LISP and functional programming - LFP '94 ◽

10.1145/182409.182411 ◽

1994 ◽

Cited By ~ 15

Author(s):

Andrew Tolmach

Keyword(s):

Garbage Collection

Download Full-text

Using the run-time sizes of data structures to guide parallel-thread creation

Proceedings of the 1994 ACM conference on LISP and functional programming - LFP '94 ◽

10.1145/182409.182442 ◽

1994 ◽

Cited By ~ 18

Author(s):

Lorenz Huelsbergen ◽

James R. Larus ◽

Alexander Aiken

Keyword(s):

Data Structures ◽

Run Time

Download Full-text

Analyzing stores and references in a parallel symbolic language

Proceedings of the 1994 ACM conference on LISP and functional programming - LFP '94 ◽

10.1145/182409.182493 ◽

1994 ◽

Cited By ~ 10

Author(s):

Suresh Jagannathan ◽

Stephen Weeks

Keyword(s):

Symbolic Language

Download Full-text

Characterization of object behaviour in Standard ML of New Jersey

Proceedings of the 1994 ACM conference on LISP and functional programming - LFP '94 ◽

10.1145/182409.182428 ◽

1994 ◽

Cited By ~ 11

Author(s):

Darko Stefanovic ◽

J. Eliot B. Moss

Keyword(s):

New Jersey ◽

Standard Ml

Download Full-text

Towards better inlining decisions using inlining trials

Proceedings of the 1994 ACM conference on LISP and functional programming - LFP '94 ◽

10.1145/182409.182489 ◽

1994 ◽

Cited By ~ 27

Author(s):

Jeffrey Dean ◽

Craig Chambers

Download Full-text

Continuation-based partial evaluation

Proceedings of the 1994 ACM conference on LISP and functional programming - LFP '94 ◽

10.1145/182409.182483 ◽

1994 ◽

Cited By ~ 30

Author(s):

Julia L. Lawall ◽

Olivier Danvy

Keyword(s):

Partial Evaluation

Download Full-text

Signatures for a network protocol stack

Proceedings of the 1994 ACM conference on LISP and functional programming - LFP '94 ◽

10.1145/182409.182431 ◽

1994 ◽

Cited By ~ 17

Author(s):

Edoardo Biagioni ◽

Robert Harper ◽

Peter Lee ◽

Brian G. Milnes

Keyword(s):

Network Protocol ◽

Protocol Stack

Download Full-text

Complete proof systems for algebraic simply-typed terms

Proceedings of the 1994 ACM conference on LISP and functional programming - LFP '94 ◽

10.1145/182409.182482 ◽

1994 ◽

Author(s):

Stavros S. Cosmadakis

Keyword(s):

Complete Proof ◽

Proof Systems

Download Full-text

Garbage collection for strongly-typed languages using run-time type reconstruction

Proceedings of the 1994 ACM conference on LISP and functional programming - LFP '94 ◽

10.1145/182409.182414 ◽

1994 ◽

Cited By ~ 8

Author(s):

Shail Aditya ◽

Christine H. Flood ◽

James E. Hicks

Keyword(s):

Garbage Collection ◽

Type Reconstruction ◽

Run Time ◽

Time Type ◽

Typed Languages

Download Full-text

A direct algorithm for type inference in the rank-2 fragment of the second-order λ-calculus

Proceedings of the 1994 ACM conference on LISP and functional programming - LFP '94 ◽

10.1145/182409.182456 ◽

1994 ◽

Cited By ~ 20

Author(s):

A. J. Kfoury ◽

J. B. Wells

Keyword(s):

Second Order ◽

Type Inference ◽

Direct Algorithm ◽

Rank 2

Download Full-text

Proceedings of the 1994 ACM conference on LISP and functional programming - LFP '94Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Tag-free garbage collection using explicit type parameters

Using the run-time sizes of data structures to guide parallel-thread creation

Analyzing stores and references in a parallel symbolic language

Characterization of object behaviour in Standard ML of New Jersey

Towards better inlining decisions using inlining trials

Continuation-based partial evaluation

Signatures for a network protocol stack

Complete proof systems for algebraic simply-typed terms

Garbage collection for strongly-typed languages using run-time type reconstruction

A direct algorithm for type inference in the rank-2 fragment of the second-order λ-calculus

Proceedings of the 1994 ACM conference on LISP and functional programming - LFP '94
Latest Publications