Using Higher-Order Contracts to Model Session Types (Extended Abstract)

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-662-44584-6_27
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Modelling Session Types Using Contracts

2012English

A Fully Abstract Denotational Model for Higher-Order Processes

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

Using Meta-Code Generation to Realize Higher-Order Model Transformations

2013English

Primitive Recursion for Higher-Order Abstract Syntax

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

On Higher-Order Invariants in Extended Supergravity

Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics
High Energy PhysicsNuclear
1979English

On the Relative Expressiveness of Higher-Order Session Processes

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

Oral Abstract Session OAS

Allergy: European Journal of Allergy and Clinical Immunology
AllergyImmunology
2017English

Learning Classification Rules Using Lattices (Extended Abstract)

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1995English

Application of Higher Order Derivatives to Helicopter Model Control

2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy