BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Balat:Vincent

Contributed to:

PADL 20132013
ICFP 20092009
POPL 20042004
GPCE 20022002
LICS 20022002
CSL 19991999

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.