4 results  save search

hal-00907166v1  Conference papers
Giuseppe CastagnaKim NguyenZhiwu XuHyeonseung ImSergueï Lenglet et al.  Polymorphic Functions with Set-Theoretic Types. Part 1: Syntax, Semantics, and Evaluation
POPL '14, 41th ACM Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States. pp.5-17, ⟨10.1145/2535838.2535840⟩
hal-01097602v1  Journal articles
Ali AssafAlejandro Díaz-CaroSimon PerdrixChristine TassonBenoît Valiron. Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 10:4 (8), pp.40. ⟨10.2168/LMCS-10(4:8)2014⟩
inria-00549416v1  Book sections
Olivier BournezGilles DowekRémi GilleronSerge GrigorieffJean-Yves Marion et al.  Décidabilité et Complexité
Pierre Marquis, Odile Papini and Henri Prade. IA Handbook, Cépaduès, pp.1-63, 2010
inria-00636797v1  Journal articles
Steve KremerAntoine MercierRalf Treinen. Reducing Equational Theories for the Decision of Static Equivalence
Journal of Automated Reasoning, Springer Verlag, 2012, 48 (2), pp.197-217. ⟨10.1007/s10817-010-9203-0⟩