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
Travelled to:
1 × France
1 × Germany
1 × Serbia
Collaborated with:
C.Keller J.Bernardy
Talks about:
parametr (2) program (1) extract (1) control (1) system (1) realiz (1) impred (1) logic (1) light (1) type (1)

Person: Marc Lasson

DBLP DBLP: Lasson:Marc

Contributed to:

CSL 20122012
FOSSACS 20112011
TLCA 20112011

Wrote 3 papers:

CSL-2012-KellerL #parametricity
Parametricity in an Impredicative Sort (CK, ML), pp. 381–395.
FoSSaCS-2011-BernardyL #parametricity #type system
Realizability and Parametricity in Pure Type Systems (JPB, ML), pp. 108–122.
TLCA-2011-Lasson #logic
Controlling Program Extraction in Light Logics (ML), pp. 123–137.

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.