Searching for authors named "Vincent Balat" – sorted by Relevance.
-
Memoization in type-directed partial evaluation
- Memoization in Type-Directed Partial Evaluation Vincent Balat 1 and Olivier Danvy 2 1 PPS
- Cited by 13 (6 self) – Add To MetaCart
-
O’Browser: Objective Caml on browsers ��Ò��Ñ�Ò��ÒÓÙÐ�Ô��Ö Î�Ò�ÒØ��Ð�ØÔÔ×�Ù××��Ù�Ö
- ,2, ∗ Vincent Balat2, ∗∗ Emmanuel Chailloux 2 Preuves, Programmes et Systèmes PPS - CNRS UMR 7126 Université
- Add To MetaCart
-
Keeping sums under control
- Keeping sums under control Vincent Balat INRIA - Università di Genova January 2004 – Preliminary
- Add To MetaCart
-
A Linear Logical View of Linear Type Isomorphisms
- A linear logical view of linear type isomorphisms Vincent Balat and Roberto Di Cosmo LIENS ' Ecole
- Cited by 9 (2 self) – Add To MetaCart

