Filtrer vos résultats
- 15
- 1
- 7
- 4
- 3
- 1
- 1
- 2
- 1
- 16
- 3
- 1
- 1
- 3
- 1
- 3
- 3
- 2
- 1
- 1
- 16
- 11
- 10
- 5
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 16
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
16 résultats
|
|
triés par
|
|
Extending FeatherTrait Java with InterfacesTheoretical Computer Science, 2008, Theoretical Computer Science, 30 (1-3), pp.243-260. ⟨10.1016/j.tcs.2008.01.051⟩
Article dans une revue
inria-00432540v1
|
||
|
Balancing Lists: A Proof Pearl5th International Conference, ITP 2014, Jul 2014, Vienna, Austria. pp.437 - 449, ⟨10.1007/978-3-319-08970-6_28⟩
Communication dans un congrès
hal-01097937v1
|
||
|
Verified Computing in Homological AlgebraAlgebraic Topology [math.AT]. Ecole Polytechnique X, 2011. English. ⟨NNT : ⟩
Thèse
pastel-00605836v1
|
||
|
Extending Coq with Imperative Features and its Application to SAT VerificationInteractive Theorem Proving, Jul 2010, Edinburgh, United Kingdom
Communication dans un congrès
inria-00502496v2
|
||
Coq 8.4 Reference Manual[Research Report] Inria. 2014
Rapport
hal-01114602v1
|
|||
|
A Proof of Strong Normalisation Using Domain TheoryLogical Methods in Computer Science, 2007, 16 p. ⟨10.2168/LMCS-3(4:12)2007⟩
Article dans une revue
inria-00432448v1
|
||
|
The Rooster and the Syntactic Bracket19th International Conference on Types for Proofs and Programs (TYPES 2013), Jul 2014, Toulouse, France. pp.169--187, ⟨10.4230/LIPIcs.TYPES.2013.169⟩
Communication dans un congrès
hal-01097919v1
|
||
|
Linear Haskell: practical linearity in a higher-order polymorphic languageProceedings of the ACM on Programming Languages, 2017, 2 (POPL), pp.1-29. ⟨10.1145/3158093⟩
Article dans une revue
hal-01673536v1
|
||
|
An abstract type for constructing tactics in CoqProof Search in Type Theory, Jul 2010, Edinburgh, United Kingdom
Communication dans un congrès
inria-00502500v1
|
||
|
Circuits via topoi[Technical Report] E/421/CRI, Mines ParisTech - PSL Research University - Centre de Recherche en Informatique (CRI). 2015
Rapport
hal-01537455v1
|
||
|
Featherweight-Trait Java : A Trait-based Extension for FJ[Research Report] RR-5247, INRIA Sophia Antipolis - Méditerranée; INRIA. 2004, pp.27
Rapport
inria-00070751v1
|
||
|
A Proof of Strong Normalisation using Domain TheoryLICS 2006, Aug 2006, Seatle, United States. 10 p., ⟨10.1109/LICS.2006.8⟩
Communication dans un congrès
inria-00432490v1
|
||
|
Catch me if you can Looking for type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCamlIFL 2008, Sep 2008, Hertfordshire, United Kingdom. 21 p
Communication dans un congrès
inria-00432575v1
|
||
|
Constructively Finite?Lambán Pardo, Laureano and Romero Ibáñez, Ana and Rubio García, Julio. Contribuciones científicas en honor de Mirian Andrés Gómez, Universidad de La Rioja, pp.217-230, 2010, 978-84-96487-50-5
Chapitre d'ouvrage
inria-00503917v1
|
||
|
Towards Constructive Homological Algebra in Type TheoryCALCULEMUS 2007, Jun 2007, Hagenberg, Austria. 12 p., ⟨10.1007/978-3-540-73086-6_4⟩
Communication dans un congrès
inria-00432525v1
|
||
|
FeatherTrait: A Modest Extension of Featherweight JavaACM Transactions on Programming Languages and Systems (TOPLAS), 2008, ACM Transactions on Programming Languages and Systems (TOPLAS), 30 (2), pp.11:1--11:32. ⟨10.1145/1330017.1330022⟩
Article dans une revue
inria-00432538v1
|