Extended Static Checking of Call-by-Value Functional Programs (2007)


Download Links

by Francois Pottier , Yann Regis-Gianas
Citations:1 - 0 self

Documents Related by Co-Citation

21 MLF: Une extension de ML avec polymorphisme de second ordre et instanciation implicite – D LE BOTLAN - 2004
2 Functional translation of a calculus of capabilities. Submitted – Arthur Charguéraud, François Pottier - 2007
8 Streaming XML Transformations Using Term Rewriting – A FRISCH, K NAKANO - 2007
2 Abstract Graphic Type Constraints and Efficient Type Inference: from ML to MLF – Didier Rémy
2 Lightweight concurrency primitives for GHC, in "Haskell ’07 – P LI, S MARLOW, S PEYTON JONES, A TOLMACH
2 Interactive Verification of Call-by-Value Functional Programs, Submitted – A CHARGUÉRAUD - 2008
3 Partial Type Inference with Higher-Order Types – P Herms - 2009
2 Live-range Unsplitting for Faster Optimal Coalescing – Sandrine Blazy, Benoît Robillard
1 Lazy Modules A lazy evaluation strategy for more recursive initialization patterns – Keiko Nakata
3 Coinductive big-step operational semantics, in "Information and Computation – X LEROY, H GRALL
2 A verified framework for higher-order uncurrying optimizations – Z. Dargaye, et al.
1 Unraveling the OCaml Language, in "Applied Semantics. Advanced Lectures – Understanding Using
1 Vérification formelle d’un compilateur optimisant pour langages fonctionnels – Z DARGAYE - 2009
1 La science du logiciel libre, in "La Recherche – R DI COSMO
1 Offrons aux jeunes les clés du pouvoir et de la liberté, in "Science et Avenir – R DI COSMO - 2009
1 Formal Software Verification Through Characteristic Formulae – A CHARGUÉRAUD - 2009
1 Vérification formelle d’un algorithme d’allocation de registres par coloration de graphes – S BLAZY, B ROBILLARD, É SOUTIF - 2008
1 Mixin modules in a call-by-value setting, in "ACM – T HIRSCHOWITZ, X LEROY
1 A modular module system, in "Journal of Functional Programming – X LEROY
1 Comment gagner confiance en C ?, in "Technique et Science Informatiques – S BLAZY