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 × Belgium
1 × Brazil
1 × Italy
Collaborated with:
U.D.Lago ∅
Talks about:
type (4) scenario (2) linear (2) depend (2) valu (2) call (2) constructor (1) polymorph (1) geometri (1) calculus (1)

Person: Barbara Petit

DBLP DBLP: Petit:Barbara

Contributed to:

POPL 20132013
PPDP 20122012
PPDP 20122014
TLCA 20092009

Wrote 4 papers:

POPL-2013-LagoP #geometry
The geometry of types (UDL, BP), pp. 167–178.
PPDP-2012-LagoP #call-by #dependent type #linear
Linear dependent types in a call-by-value scenario (UDL, BP), pp. 115–126.
PPDP-J-2012-LagoP14 #call-by #dependent type #linear
Linear dependent types in a call-by-value scenario (UDL, BP), pp. 77–100.
TLCA-2009-Petit #polymorphism #type system #λ-calculus
A Polymorphic Type System for the λ-Calculus with Constructors (BP), pp. 234–248.
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.