The following pages link to Michel Mauny (Q2151280):
Displayed 8 items.
- Item:Q2151280 (redirect page) (← links)
- The categorical abstract machine (Q1097043) (← links)
- A type inference system based on saturation of subtyping constraints (Q2151281) (← links)
- (Q3721820) (← links)
- (Q3805878) (← links)
- (Q4366777) (← links)
- The Functional Approach to Programming (Q4941500) (← links)
- Typing unmarshalling without marshalling types (Q5168906) (← links)