Thrse Hardin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
8
Active years
1992–2015
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ICSE | Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator. | Damien Doligez, Christle Faure, Thrse Hardin, Manuel Maarek |
| 2009 | TAP | Development of a Generic Voter under FoCal. | Philippe Ayrault, Thrse Hardin, Franois Pessaux |
| 2007 | ESOP | On the Implementation of Construction Functions for Non-free Concrete Data Types. | Frdric Blanqui, Thrse Hardin, Pierre Weis |
| 2002 | LPAR | Binding Logic: Proofs and Models. | Gilles Dowek, Thrse Hardin, Claude Kirchner |
| 1996 | ICFP | Functional Back-Ends within the Lambda-Sigma Calculus. | Thrse Hardin, Luc Maranget, Bruno Pagano |
| 1996 | ICLP | Unification via Explicit Substitutions: The Case of Higher-Order Patterns. | Gilles Dowek, Thrse Hardin, Claude Kirchner, Frank Pfenning |
| 1995 | LICS | Higher-Order Unification via Explicit Substitutions (Extended Abstract) | Gilles Dowek, Thrse Hardin, Claude Kirchner |
| 1992 | MFCS | Strong Normalization of Substitutions. | Pierre-Louis Curien, Thrse Hardin, Alejandro Ros |