The following pages link to Jérôme Vouillon (Q1945916):
Displaying 9 items.
- A solution to the PoplMark challenge based on de Bruijn indices (Q1945917) (← links)
- Regular expression types for XML (Q2943355) (← links)
- Eliom: A Core ML Language for Tierless Web Programming (Q3179305) (← links)
- A very modal model of a modern, major, general type system (Q3189790) (← links)
- Semantic types (Q3452249) (← links)
- Combining subsumption and binary methods (Q5178890) (← links)
- Computer Science Logic (Q5311273) (← links)
- Polymorphic regular tree types and patterns (Q5348917) (← links)
- (Q5714459) (← links)