POPL 1997 - PDF Preprint Papers

POPL 1997 Annual Symposium on Principles of Programming Languages

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed POPL-1997 Paper

click to vote

POPL
1997
ACM

150views Programming Languages» more POPL 1997»

Call by Need Computations to Root-Stable Form

14 years 3 months ago

Download cl-informatik.uibk.ac.at

The following theorem of Huet and L

Aart Middeldorp

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	150	Call by Need Computations to Root-Stable Form	claim
2	141	Model Checking for Programming Languages using Verisoft	claim
3	134	First-class Polymorphism with Type Inference	claim
4	130	Pizza into Java: Translating Theory into Practice	claim
5	128	A Unified Computation Model for Functional and Logic Programming	claim
6	122	Type-Checking Higher-Order Polymorphic Multi-Methods	claim
7	115	Shape Types	claim
8	108	Parameterized Types for Java	claim
9	107	Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis	claim
10	106	Program Fragments, Linking, and Modularization	claim
11	105	Behavioral Equivalence in the Polymorphic Pi-calculus	claim
12	104	Types as Abstract Interpretations	claim
13	102	Is "Just in Time" = "Better Late than Never"?	claim
14	101	Synchronization Transformations for Parallel Computing	claim
15	100	Relational Parametricity and Units of Measure	claim
16	90	Proof-Carrying Code	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers