Pragmatic gradual polymorphism with references
From MaRDI portal
Publication:6535232
Recommendations
Cites work
- Abstracting gradual typing
- Blame and coercion: Together again for the first time
- Blame for all
- Calculating threesomes, with blame
- Complete and easy bidirectional typechecking for higher-rank polymorphism
- Consistent subtyping for all
- Exploring the Design Space of Higher-Order Casts
- Monotonic references for efficient gradual typing
- Operational semantics for multi-language programs
- Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!
- Practical type inference for arbitrary-rank types
- Relational Parametricity for Computational Effects
- Space-efficient gradual typing
- Taming the merge operator
- The Gradualizer: a methodology and algorithm for generating gradual type systems
- The design and implementation of Typed Scheme
- Threesomes, with and without blame
- Trace semantics for polymorphic references
- Types, abstraction, and parametric polymorphism, part 2
- Well-Typed Programs Can’t Be Blamed
This page was built for publication: Pragmatic gradual polymorphism with references
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535232)