BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Collaborated with:
∅ R.J.0002 Gaurav Parthasarathy M.Rapoport Amin Timany D.Dreyer B.J.0002
Talks about:
restrict (1) propheci (1) variabl (1) classic (1) semant (1) realiz (1) separ (1) model (1) logic (1) futur (1)

Person: Rodolphe Lepigre

DBLP DBLP: Lepigre:Rodolphe

Contributed to:

ESOP 20162016
POPL 20202020

Wrote 2 papers:

ESOP-2016-Lepigre #semantics #strict
A Classical Realizability Model for a Semantical Value Restriction (RL), pp. 476–502.
POPL-2020-JungLPRTDJ #logic
The future is ours: prophecy variables in separation logic (RJ0, RL, GP, MR, AT, DD, BJ0), p. 32.
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.