The following pages link to CLU reference manual (Q1153681):
Displaying 8 items.
- The semantics of second-order lambda calculus (Q751294) (← links)
- Functorial polymorphism (Q753948) (← links)
- Programmed deallocation without dangling reference (Q794425) (← links)
- On observational equivalence and algebraic specification (Q1089796) (← links)
- An algebraic semantics approach to the effective resolution of type equations (Q1093359) (← links)
- Unification in combinations of collapse-free regular theories (Q1099652) (← links)
- Specifications in an arbitrary institution (Q1108775) (← links)
- (Q3953140) (← links)