Skip to content
<title>Channels - Simplifying explicit subtyping coercions in a polymorphic calculus with effects :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Simplifying explicit subtyping coercions in a polymorphic calculus with effects
Search for more channels:
Similar Items: Simplifying explicit subtyping coercions in a polymorphic calculus with effects
Channel Options
View Record
Explore related channels
Quick Look
Logical relations for coherence of effect subtyping
Quick Look
Explicit fairness in testing semantics
Quick Look
An Explicit Framework for Interaction Nets
Quick Look
On the Preciseness of Subtyping in Session Types
Quick Look
Fair Asynchronous Session Subtyping
Quick Look
A Calculus for Scoped Effects & Handlers
Quick Look
Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity
Quick Look
A Theory of Explicit Substitutions with Safe and Full Composition
Quick Look
Encoding Monomorphic and Polymorphic Types
Quick Look
Linear-use CPS translations in the Enriched Effect Calculus
Quick Look
A calculus for costed computations
Quick Look
A Concurrent Pattern Calculus
Quick Look
The Many-Worlds Calculus
Quick Look
The Safe Lambda Calculus
Quick Look
Completeness of the ZX-Calculus
Quick Look
Software Model Checking with Explicit Scheduler and Symbolic Threads
Quick Look
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation
Quick Look
Typability and Type Inference in Atomic Polymorphism
Quick Look
A strong call-by-need calculus
Quick Look
Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency
Quick Look
Ordered Models of the Lambda Calculus
Quick Look
Privacy by typing in the $pi$-calculus
Quick Look
Simplified convolutional model for detecting vibration anomalies in helicopters operation
Quick Look
bw_timex: A Python Package for Time-Explicit Life Cycle Assessment
Load more items
View Record
Prev
Explore related channels
Next
