Christophe Raffalli

Publication Activity (10 Years)

Years Active: 1993-2019
Publications (10 Years): 3

Top Topics

Multiresolution

Relational Calculus

Feature Representation

Abstract Data Types

Top Venues

ACM Trans. Program. Lang. Syst.

Publications

Rodolphe Lepigre, Christophe Raffalli
Practical Subtyping for Curry-Style Languages. ACM Trans. Program. Lang. Syst. 41 (1) (2019)
Rodolphe Lepigre, Christophe Raffalli
Abstract Representation of Binders in OCaml using the Bindlib Library. LFMTP@FSCD (2018)
Rodolphe Lepigre, Christophe Raffalli
Subtyping-Based Type-Checking for System F with Induction and Coinduction. CoRR (2016)
Muhammad Humayoun, Christophe Raffalli
MathAbs: a representational language for mathematics. FIT (2010)
René David, Christophe Raffalli, Guillaume Theyssier, Katarzyna Grygiel, Jakub Kozik, Marek Zaionc
Some properties of random lambda terms Log. Methods Comput. Sci. 9 (1) (2009)
Christophe Raffalli, Frédéric Ruyer
Realizability of the Axiom of Choice in HOL. (An Analysis of Krivine's Work). Fundam. Informaticae 84 (2) (2008)
René David, Christophe Raffalli
An experiment concerning mathematical proofs on computers with French undergraduate students. J. Appl. Log. 2 (2) (2004)
Christophe Raffalli
Getting results from programs extracted from classical proofs. Theor. Comput. Sci. 323 (1-3) (2004)
Christophe Raffalli
System ST \beta-reduction and completeness. LICS (2003)
Christophe Raffalli
System ST toward a type system for extraction and proofs of programs. Ann. Pure Appl. Log. 122 (1-3) (2003)
Karim Nour, Christophe Raffalli
Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic. Theor. Comput. Sci. 308 (1-3) (2003)
Christophe Raffalli
Completeness, minimal logic and programs extraction. Theor. Comput. Sci. 254 (1-2) (2001)
Christophe Raffalli
A Semantical Storage Operator Theorem for All Types. Ann. Pure Appl. Log. 91 (1) (1998)
Christophe Raffalli
. CSL (1993)