scientific article; zbMATH DE number 7168151
From MaRDI portal
Publication:5216307
Recommendations
- The system \({\mathcal F}\) of variable types, fifteen years later
- scientific article; zbMATH DE number 6296049
- Mechanisms for improved covariant type-checking
- An introduction to programming and proving with dependent types in Coq
- Irrelevance, heterogeneous equality, and call-by-value dependent type systems
- Coalgebras in functional programming and type theory
- Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis
- Some remarks on type systems for course-of-value recursion
- CoCaml: functional programming with regular coinductive types
- scientific article; zbMATH DE number 50149
Cites work
- A calculus for overloaded functions with subtyping
- A modest model of records, inheritance, and bounded quantification
- Automata, Languages and Programming
- CDuce: an XML-centric general-purpose language
- scientific article; zbMATH DE number 1005367 (Why is no real title available?)
- Intersection and union types: Syntax and semantics
- Modular statically typed multimethods
- Polymorphic functions with set-theoretic types. II: Local type inference and type reconstruction
- Regular expression pattern matching for XML
- Regular expression types for XML
- Semantic subtyping for non-strict languages
- Semantic subtyping, dealing set-theoretically with function, union, intersection, and negation types
- Set-theoretic foundation of parametric polymorphism and subtyping
- Static and dynamic semantics of NoSQL languages
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5216307)
