The Root Cause of Blame: Contracts for Intersection and Union Types

Proceedings of the ACM on Programming Languages
doi 10.1145/3276504
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Strict Intersection Types for the Lambda Calculus

ACM Computing Surveys
Computer ScienceTheoretical Computer Science
2011English

Regulation of Union Security Contracts

Yale Law Journal
Law
1950English

Intersection Types and Bounded Polymorphism

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
1997English

On Isomorphisms of Intersection Types

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Cause, Responsibility and Blame: A Structural-Model Approach

Law, Probability and Risk
PhilosophyLawStatisticsUncertaintyProbability
2015English

Addressing the Root Cause

North Carolina Medical Journal
Medicine
2018English

Reductions, Intersection Types, and Explicit Substitutions

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2003English

The Cause and the Treatment of Non-Union

American Journal of Surgery
MedicineSurgery
1926English

Modelling Session Types Using Contracts

2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy