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: Lasson:Marc
Contributed to:
2012
2011
2011Wrote 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.