Session Types with Gradual Typing (Q2811931)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Session Types with Gradual Typing	scientific article

Statements

scholarly article

0 references

Session Types with Gradual Typing (English)

0 references

zbMATH Open document ID

0 references

10.1007/978-3-662-45917-1_10

0 references

0 references

Trustworthy Global Computing

0 references

publication date

9 June 2016

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

zbMATH Keywords

session types

0 references

gradual typing

0 references

coercion calculus

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-662-45917-1_10

0 references

0 references

Session Types as Intuitionistic Linear Propositions

0 references

Objects and session types

0 references

Linear type theory for asynchronous session types

0 references

Modular session types for distributed object-oriented programming

0 references

Dynamic typing: Syntax and proof theory

0 references

Space-efficient gradual typing

0 references

Multiparty asynchronous session types

0 references

Threesomes, with and without blame

0 references

Stateful Contracts for Affine Types

0 references

Type checking a multithreaded functional language with session types

0 references

Propositions as sessions

0 references

Well-Typed Programs Can’t Be Blamed

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2811931

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2811931&oldid=36255303"