The following pages link to Operations on records (Q3349962):
Displaying 22 items.
- Semantic types and approximation for Featherweight Java (Q387991) (← links)
- Higher-order subtyping and its decidability (Q598199) (← links)
- Nearlattices with an overriding operation (Q633219) (← links)
- Divergence of \(F_{\leq}\) type checking (Q673966) (← links)
- A descriptive type foundation for RDF Schema (Q739626) (← links)
- Inheritance as implicit coercion (Q1175335) (← links)
- Another definition of order-sorted algebra (Q1273072) (← links)
- Typed operational semantics for higher-order subtyping. (Q1401950) (← links)
- Type destructors (Q1854494) (← links)
- Foundations for extensible objects with roles (Q1854532) (← links)
- Practical Optional Types for Clojure (Q2802470) (← links)
- Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming (Q3007669) (← links)
- Type extensions (Q3815521) (← links)
- Labelled reductions, runtime errors, and operational subsumption (Q4572006) (← links)
- A paradigmatic object-oriented programming language: Design, static typing and semantics (Q4764618) (← links)
- Simple type-theoretic foundations for object-oriented programming (Q4764619) (← links)
- MOVE-TO-FRONT RULE FOR ACCESSING SEVERAL RECORDS (Q4955521) (← links)
- Taming the Merge Operator (Q5020905) (← links)
- An imperative object calculus (Q5096750) (← links)
- No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)
- Operations on records (Q5887510) (← links)
- An ML-style record calculus with extensible records (Q6653744) (← links)
