A Polymorphic Type System with Subtypes for Prolog
No abstract available.
Related papers
- Polymorphism, subtyping, and type inference in MLsub POPL 2017
- Pragmatic Subtyping in Polymorphic Languages ICFP 1998
- Consistent Subtyping for All ESOP 2018
- Type Inference with Subtypes POPL 1988
- Parametric polymorphism and semantic subtyping: the logical connection ICFP 2011
- Seamless Scope-Safe Metaprogramming through Polymorphic Subtype Inference (Short Paper) GPCE 2024
- Phantom types and subtyping JFP 2006
- Consistent Subtyping for All TOPLAS 2020