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 × Germany
1 × Portugal
1 × Switzerland
2 × USA
3 × Italy
Collaborated with:
G.Dowek C.Kirchner P.Ayrault F.Pessaux F.Blanqui P.Weis L.Maranget B.Pagano D.Doligez C.Faure M.Maarek F.Pfenning
Talks about:
order (4) substitut (3) function (3) explicit (3) higher (3) develop (2) secur (2) unif (2) implement (1) construct (1)

Person: Thérèse Hardin

DBLP DBLP: Hardin:Th=eacute=r=egrave=se

Contributed to:

ICSE 20152015
TAP 20092009
ESOP 20072007
RTA 19991999
ICFP 19961996
JICSLP 19961996
LICS 19951995
ALP 19921992

Wrote 8 papers:

ICSE-v2-2015-DoligezFHM #development #functional #programming #security #validation #xml
Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator (DD, CF, TH, MM), pp. 209–218.
TAP-2009-AyraultHP #development
Development of a Generic Voter under FoCal (PA, TH, FP), pp. 10–26.
ESOP-2007-BlanquiHW #data type #implementation #on the
On the Implementation of Construction Functions for Non-free Concrete Data Types (FB, TH, PW), pp. 95–109.
RTA-1999-DowekHK #first-order #higher-order #logic #named
HOL-λσ: An Intentional First-Order Expression of Higher-Order Logic (GD, TH, CK), pp. 317–331.
ICFP-1996-HardinMP #calculus #functional
Functional Back-Ends within the λσ Calculus (TH, LM, BP), pp. 25–33.
JICSLP-1996-DowekHKP #higher-order #unification
Unification via Explicit Substitutions: The Case of Higher-Order Patterns (GD, TH, CK, FP), pp. 259–273.
LICS-1995-DowekHK #higher-order #unification
Higher-Order Unification via Explicit Substitutions (GD, TH, CK), pp. 366–374.
Eta-conversion for the Languages of Explicit Substitutions (TH), pp. 306–321.

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.