The following pages link to Alain Frisch (Q2842837):
Displayed 9 items.
- The Relevance of Semantic Subtyping (Q2842838) (← links)
- Semantic subtyping (Q3452185) (← links)
- (Q4673440) (← links)
- CDuce (Q5261266) (← links)
- Parametric polymorphism for XML (Q5276134) (← links)
- Theoretical Computer Science (Q5395069) (← links)
- Automata, Languages and Programming (Q5466499) (← links)
- OCaml + XDuce (Q5501466) (← links)
- Automata, Languages and Programming (Q5716788) (← links)