1 |
Open Access in Japan – a multi-institutional perspective
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01290936 ; [Research Report] Ambassade de France au Japon. 2016 (2016)
|
|
BASE
|
|
Show details
|
|
2 |
Terminaison à base de tailles : sémantique et généralisations ; Size-based termination: Semantics and generalizations
|
|
|
|
BASE
|
|
Show details
|
|
3 |
Conception d'un langage dédié à l'analyse et la transformation de programmes ; Design of a programming language dedicated to program analysis and transformation
|
|
|
|
BASE
|
|
Show details
|
|
4 |
Contraintes d'anti-filtrage et programmation par réécriture ; Anti-matching constraints and programming with rewrite rules
|
|
|
|
BASE
|
|
Show details
|
|
6 |
Pure Patterns Type Systems
|
|
|
|
In: Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, New Orleans, LA, USA — January 15 - 17, 2003 ; https://hal.inria.fr/inria-00099463 ; Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, New Orleans, LA, USA — January 15 - 17, 2003, Jan 2003, New Orleans, United States. pp.250 - 261, ⟨10.1145/604131.604152⟩ (2003)
|
|
BASE
|
|
Show details
|
|
7 |
Certified reasoning on real numbers and objects in co-inductive type theory ; Raisonnement certifié sur les nombres réels et les objets en théorie des types co-inductifs
|
|
|
|
BASE
|
|
Show details
|
|
9 |
The Rewriting Calculus - Part I
|
|
|
|
In: ISSN: 1367-0751 ; EISSN: 1368-9894 ; Logic Journal of the IGPL ; https://hal.inria.fr/inria-00100531 ; Logic Journal of the IGPL, Oxford University Press (OUP), 2001, 9 (3), pp.339-375. ⟨10.1093/jigpal/9.3.339⟩ (2001)
|
|
BASE
|
|
Show details
|
|
10 |
Xemantics: a Rewriting Calculus-Based Semantics of XSLT
|
|
|
|
In: https://hal.inria.fr/inria-00107547 ; [Intern report] A01-R-386 || kirchner01c, 2001, 50 p (2001)
|
|
BASE
|
|
Show details
|
|
12 |
ELAN : un cadre logique pour le prototypage de langages de programmation avec contraintes ; ELAN: a logical framework for prototyping logic programming languages with constraints
|
|
|
|
BASE
|
|
Show details
|
|
|
|