Predicate Classes
No abstract available.
Related papers
- Boolean Classes OOPSLA 1986
- A predicative approach to the classification problem JFP 2001
- Efficient Multiple and Predicated Dispatching OOPSLA 1999
- Synthesizing replacement classes POPL 2020
- CLP* and Constraint Abstraction POPL 1989
- Filtered dispatch DLS 2008
- Local and Temporal Predicates In Distributed Systems TOPLAS 1995
- A simple semantics for Haskell overloading Haskell 2014