A Calculus With Polymorphic and Polyvariant Flow Types

Journal of Functional Programming- United Kingdom

doi 10.1017/s0956796801004245

Full Text

Abstract

Available in

Categories

Software

Date

Authors

Publisher

Cambridge University Press (CUP)

Related search

Polyvariant Analysis of the Untyped Lambda Calculus

DAIMI Report Series
1992English

A Classical Sequent Calculus With Dependent Types

ACM Transactions on Programming Languages and Systems
Software
2019English

Horn Clause Programs With Polymorphic Types: Semantics and Resolution

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1989English

Categorical Semantics for Higher Order Polymorphic Lambda Calculus

Journal of Symbolic Logic
PhilosophyLogic
1987English

Strong Normalization in a Typed Lambda Calculus With Lambda Structured Types

Studies in Logic and the Foundations of Mathematics
1994English

Types for the Ambient Calculus

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2002English

Extending Pruning Techniques to Polymorphic Second Order Λ-Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Composing Polymorphic Information Flow Systems With Reference Immutability

2013English

Strict Intersection Types for the Lambda Calculus

ACM Computing Surveys
Computer ScienceTheoretical Computer Science
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy