The following pages link to Functional and Logic Programming (Q5308023):
Displaying 6 items.
- Compilation of extended recursion in call-by-value functional languages (Q848739) (← links)
- Mixin modules (Q2817705) (← links)
- Type inference, principal typings, and let-polymorphism for first-class mixin modules (Q2936778) (← links)
- A theory of mixin modules: basic and derived operators (Q4236216) (← links)
- (Q4449178) (← links)
- An abstract monadic semantics for value recursion (Q4659889) (← links)