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 × Cyprus
1 × Germany
1 × Italy
1 × USA
1 × United Kingdom
Collaborated with:
J.Brotherston A.Hobor A.Raad P.Gardner É.Lozes C.Calcagno
Talks about:
logic (2) heap (2) hop (2) structur (1) parametr (1) subject (1) concurr (1) complet (1) classic (1) boolean (1)

Person: Jules Villard

DBLP DBLP: Villard:Jules

Contributed to:

CSL 20152015
ESOP 20152015
POPL 20142014
POPL 20132013
TACAS 20102010

Wrote 5 papers:

CSL-2015-BrotherstonV #logic
Sub-classical Boolean Bunched Logics and the Meaning of Par (JB, JV), pp. 325–342.
ESOP-2015-RaadVG #concurrent #logic #named
CoLoSL: Concurrent Local Subjective Logic (AR, JV, PG), pp. 710–735.
POPL-2014-BrotherstonV #parametricity
Parametric completeness for separation theories (JB, JV), pp. 453–464.
POPL-2013-HoborV #data type
The ramifications of sharing in data structures (AH, JV), pp. 523–536.
Tracking Heaps That Hop with Heap-Hop (JV, ÉL, CC), pp. 275–279.

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.