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 × Denmark
1 × Finland
1 × Sweden
2 × Portugal
2 × USA
Collaborated with:
G.Castagna V.Benzaken L.Cardelli H.Hosoya
Talks about:
subtyp (3) semant (3) introduct (2) gentl (2) duce (2) xml (2) polymorph (1) parametr (1) regular (1) languag (1)

Person: Alain Frisch

DBLP DBLP: Frisch:Alain

Contributed to:

ICFP 20062006
ICALP 20052005
POPL 20052005
PPDP 20052005
ICALP 20042004
ICFP 20032003
LICS 20022002

Wrote 7 papers:

ICFP-2006-Frisch #ml
OCaml + XDuce (AF), pp. 192–200.
ICALP-2005-CastagnaF #semantics #type system
A Gentle Introduction to Semantic Subtyping (GC, AF), pp. 30–34.
POPL-2005-HosoyaFC #morphism #parametricity #polymorphism #xml
Parametric polymorphism for XML (HH, AF, GC), pp. 50–62.
PPDP-2005-CastagnaF #semantics #type system
A gentle introduction to semantic subtyping (GC, AF), pp. 198–199.
ICALP-2004-FrischC #regular expression
Greedy Regular Expression Matching (AF, LC), pp. 618–629.
ICFP-2003-BenzakenCF #named #xml
CDuce: an XML-centric general-purpose language (VB, GC, AF), pp. 51–63.
LICS-2002-FrischCB #semantics #type system
Semantic Subtyping (AF, GC, VB), pp. 137–146.

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.