Skip to Main content Skip to Navigation


...
inria-00629473v2  Journal articles
Roberto M. AmadioYann Régis-Gianas. Certifying and reasoning about cost annotations of functional programs
Higher-Order and Symbolic Computation, Springer Verlag, 2013