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: Hardin:Th=eacute=r=egrave=se
Contributed to:
2015
2009
2007
1999
1996
1996
1995
1992Wrote 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.
- ALP-1992-Hardin
- Eta-conversion for the Languages of Explicit Substitutions (TH), pp. 306–321.