Reasoning About Call-by-need by Means of Types
From MaRDI portal
Publication:2811356
DOI10.1007/978-3-662-49630-5_25zbMATH Open1475.68064OpenAlexW2460688276MaRDI QIDQ2811356FDOQ2811356
Publication date: 10 June 2016
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-49630-5_25
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- An extension of basic functionality theory for \(\lambda\)-calculus
- Principality and type inference for intersection types using expansion variables
- Non-idempotent intersection types and strong normalisation
- The Inhabitation Problem for Non-idempotent Intersection Types
- Solvability in Resource Lambda-Calculus
- A linearization of the Lambda-calculus and consequences
- A filter lambda model and the completeness of type assignment
- Complete restrictions of the intersection type discipline
- Functional Characters of Solvable Terms
- The call-by-need lambda calculus
- The call-by-need lambda calculus
- The Call-by-Need Lambda Calculus, Revisited
- Quantitative Types for the Linear Substitution Calculus
- A semantics for lambda calculi with resources
- A new type assignment for λ-terms
- Call-by-name, call-by-value, call-by-need and the linear lambda calculus
- Distilling abstract machines
- Types, potency, and idempotency
Cited In (16)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The spirit of node replication
- Taylor expansion, finiteness and strategies
- A Fresh Look at the λ-Calculus
- Title not available (Why is that?)
- Node Replication: Theory And Practice
- The bang calculus revisited
- Normalization by Evaluation for Typed Weak lambda-Reduction
- The bang calculus revisited
- Title not available (Why is that?)
- On the value of variables
- Title not available (Why is that?)
- A strong call-by-need calculus
- Title not available (Why is that?)
This page was built for publication: Reasoning About Call-by-need by Means of Types
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2811356)
