scientific article; zbMATH DE number 5994824

MaRDI QIDQ3105092zbMATH OpenFDO

Authors Gábor Alagi

Publication date 5 January 2012

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 2090851
• Type systems for distributed data structures
• scientific article; zbMATH DE number 2118239
• scientific article; zbMATH DE number 2118223
• Type systems for concurrent programs.
• Type systems for distributed programs: components and sessions

Cited in

(13)

• Correct-by-construction concurrency: using dependent types to verify implementations of effectful resource usage protocols
• scientific article; zbMATH DE number 5130602 (Why is no real title available?)
• A modality for safe resource sharing and code reentrancy
• A parallel virtual machine for programs composed of abstract data types
• scientific article; zbMATH DE number 1746458 (Why is no real title available?)
• scientific article; zbMATH DE number 2090851 (Why is no real title available?)
• Superficially substructural types
• Type-safe higher-order channels in ML-like languages
• Type soundness and race freedom for Mezzo
• Type-safe higher-order channels with channel locality
• Programming Languages and Systems
• scientific article; zbMATH DE number 2242583 (Why is no real title available?)
• Type systems for concurrent programs.

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3105092)