Gradual refinement types
From MaRDI portal
Publication:5370912
Recommendations
Cited in
(18)- Abstract refinement types
- Nested refinements: a logic for duck typing
- Refinement types for Haskell
- A general semantic construction of dependent refinement type systems, categorically
- Exception tracking in an open world
- Reconciling noninterference and gradual typing
- Gradual typing using union typing with records
- Fissile type analysis, modular checking of almost everywhere invariants
- Principles and applications of refinement types
- Bounded refinement types
- Migrating gradual types
- Type Reconstruction for General Refinement Types
- Foundations of dependent interoperability
- Call-by-name gradual type theory
- Gradual tensor shape checking
- Gradual program verification
- Refinement types for Ruby
- Sums of uncertainty: refinements go gradual
This page was built for publication: Gradual refinement types
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5370912)