The following pages link to Vincent Balat (Q2498897):
Displaying 7 items.
- Remarks on isomorphisms in typed lambda calculi with empty and sum types (Q2498898) (← links)
- (Q2701978) (← links)
- Specifying Imperative ML-Like Programs Using Dynamic Logic (Q3067541) (← links)
- Eliom: A Core ML Language for Tierless Web Programming (Q3179305) (← links)
- Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums (Q3452250) (← links)
- (Q4440321) (← links)
- (Q4945229) (← links)
