Travelled to:1 × Denmark
1 × Spain
1 × USA
1 × United Kingdom
2 × Italy
Collaborated with:R.D.Cosmo M.P.Fiore O.Danvy B.Canou E.Chailloux J.Vouillon B.Yakobowski
Talks about:type (6) isomorph (2) partial (2) linear (2) direct (2) evalu (2) web (2) sum (2) framework (1) extension (1)
Person: Vincent Balat
DBLP: Balat:Vincent
Contributed to:
2013
2009
2004
2002
2002
1999Wrote 6 papers:
- PADL-2013-CanouCB #api #documentation #web
- A Declarative-Friendly API for Web Document Manipulation (BC, EC, VB), pp. 109–124.
- ICFP-2009-BalatVY #case study #experience #framework #programming #web
- Experience report: ocsigen, a web programming framework (VB, JV, BY), pp. 311–316.
- POPL-2004-BalatCF #normalisation #partial evaluation #λ-calculus
- Extensional normalisation and type-directed partial evaluation for typed λ calculus with sums (VB, RDC, MPF), pp. 64–76.
- GPCE-2002-BalatD #partial evaluation
- Memoization in Type-Directed Partial Evaluation (VB, OD), pp. 78–92.
- LICS-2002-FioreCB #morphism #λ-calculus
- Remarks on Isomorphisms in Typed λ Calculi with Empty and Sum Types (MPF, RDC, VB), p. 147–?.
- CSL-1999-BalatC #linear #logic #morphism
- A Linear Logical View of Linear Type Isomorphisms (VB, RDC), pp. 250–265.