DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Uniqueness type
Uniqueness type
Type-Driven Development of Concurrent Communicating Systems
Input and Output in Fuctional Languages
LINEAR/NON-LINEAR TYPES for EMBEDDED DOMAIN-SPECIFIC LANGUAGES Jennifer Paykin
Type-Driven Development of Concurrent Communicating Systems
Wandering Through Linear Types, Capabilities, and Regions
Uniqueness Typing for Resource Management in Message-Passing Concurrency
Making Uniqueness Typing Less Unique Thesis Submitted for the Degree of Doctor in Philosophy
The Yampa Arcade∗
Exploiting Functional Invariants to Optimise Parallelism: a Dataflow Approach
Linear Haskell Practical Linearity in a Higher-Order Polymorphic Language
Tackling the Awkward Squad: Monadic Input/Output, Concurrency, Exceptions, and Foreign-Language Calls in Haskell
SAC — a Functional Array Language for Efficient Multi-Threaded Execution
Refinement Types for Cogent Blaise Paradeza
Clean 2.2 Ref
Uniqueness Logic Dana Harrington
Functional Programming in CLEAN
Modular Refinement Using Cogent's Principled Foreign Function Interface
Uniqueness Typing for Resource Management in Message-Passing Concurrency
Top View
Retrofitting Linear Types in Haskell
Uniqueness Typing Redefined
Advanced Functional Programming
Linear/Non-Linear Types for Embedded Domain-Specific Languages
Kindly Bent to Free Us 3