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 × Austria
1 × Italy
1 × USA
Collaborated with:
M.Dezani-Ciancaglini H.Herbelin J.E.Santo D.J.Dougherty P.Lescanne
Talks about:
character (2) control (2) strong (2) intersect (1) normaliz (1) calculus (1) approach (1) sequent (1) languag (1) delimit (1)

Person: Silvia Ghilezan

DBLP DBLP: Ghilezan:Silvia

Contributed to:

RTA-TLCA 20142014
POPL 20082008
PPDP 20042004
PPDP 20172017

Wrote 4 papers:

RTA-TLCA-2014-Dezani-CiancagliniG #precise #type system
Preciseness of Subtyping on Intersection and Union Types (MDC, SG), pp. 194–207.
POPL-2008-HerbelinG #approach #call-by #continuation
An approach to call-by-name delimited continuations (HH, SG), pp. 383–394.
PPDP-2004-DoughertyGL #normalisation
Characterizing strong normalization in a language with control operators (DJD, SG, PL), pp. 155–166.
PPDP-2017-SantoG #λ-calculus
Characterization of strong normalizability for a sequent lambda calculus with co-control (JES, SG), pp. 163–174.

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.