DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Gradual typing
Gradual typing
Gradual Typing with Inference Jeremy Siek University of Colorado at Boulder
Principal Type Schemes for Gradual Programs with Updates and Corrections Since Publication (Latest: May 16, 2017)
Gradual Typing for a More Pure Javascript
Reconciling Noninterference and Gradual Typing
Safe & Efficient Gradual Typing for Typescript
The Dynamic Practice and Static Theory of Gradual Typing Michael Greenberg Pomona College, Claremont, CA, USA
[email protected]
Refined Criteria for Gradual Typing
Gradual Session Types
Gradual Typing for Objects Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek
Reconciling Noninterference and Gradual Typing Full Version with Definitions and Proofs
Gradual Typing for Functional Languages
Gradual Typing for First-Class Classes∗
Abstracting Gradual Typing
The Behavior of Gradual Types: a User Study
Kafka: Gradual Typing for Objects
Space-Efficient Gradual Typing
Towards Efficient Gradual Typing for Structural Types
Understanding Typescript
Top View
Optimizing and Evaluating Transient Gradual Typing
Space-Efficient Gradual Typing
Gradual Information Flow Typing
Blame Tracking and Type Error Debugging
Gradual Typing for Annotated Type Systems
How to Evaluate the Performance of Gradual Type Systems
Gradual Type Theory
How to Evaluate the Performance of Gradual Type Systems
Gradual Typing Embedded Securely in Javascript
Towards Practical Gradual Typing˚
First-Order Gradual Information Flow Types with Gradual Guarantees
Gradual Session Types∗
Efficient Gradual Typing
Space-Efficient Gradual Typing
Gradual Typing Embedded Securely in Javascript
Gradual Typestate
Gradual Type Theory(Extended Version) 15:3 X: M ≡ If X(M[True/X])(M[False/X])
Sound Gradual Typing Is Nominally Alive and Well
Gradual Session Types
Gradual Intersection Types
The Ins and Outs of Gradual Type Inference
Is Sound Gradual Typing Dead? T
Abstracting Gradual Typing
Three Approaches to Gradual Typing