Filters








4,603 Hits in 1.5 sec

Michel Roux-Spitz Michel Raynaud Didier Laroque Sylvie Rémy

1986 Journal of the Society of Architectural Historians (JSAH)  
RAYNAUD, DIDIER LAROQUE, and SYL-VIE REMY, Michel Roux-Spitz, Brussels: Pierre Mardaga, 1984, 215 pp., 204 illus., plans. FF 195, FB 1,400.  ...  With the exception of Roux-Spitz's own promotional Realisations of 1933, 1950, and 1959, the book of Raynaud, Laroque, and Remy is the first to be published on this architect.  ... 
doi:10.2307/990134 fatcat:ejqntucnyzfmlpvxepbvk7kpsy

Le prix André Prud'homme 2007 remis à Didier Roche

Michel PETIT, Patrick MASCART
2008 La Météorologie  
Le prix, d'un montant de 1 600 euros, est remis à Didier Roche par Michel Petit, président de la SMF, devant plus de soixante-dix participants, pour la plupart étudiants de l'Erca (cours de recherche européen  ...  Cycle isotopique de l'eau (image extraite de la thèse de Didier Roche). Vue idéalisée du modèle Climber-2 (image extraite de la thèse de Didier Roche).  ... 
doi:10.4267/2042/17784 fatcat:p2savsqxd5ebtbt57jdv3vjduq

Prix Prud'homme 2003 - Le trophée remis à Didier Ricard

Patrick MASCART
2004 La Météorologie  
Le trophée remis à Didier Ricard Prix Prud'homme 2003 L e prix André-Prud'homme 2003 de la Société météorologique de France a été décerné à Didier Ricard, pour sa thèse soutenue le 18 septembre 2002 à  ...  Le prix a été remis à Didier Ricard par Michel Petit, président de la SMF, en présence du professeur Jacques-Émile Blamont, membre de l'Académie des sciences, d'Olivier Moch, directeur général adjoint  ... 
doi:10.4267/2042/36037 fatcat:fq4jwvaxdjcfxbeksk5gon7z3u

Jean-Claude Beacco et Remy Porquier, 2007, Niveau A1 pour le francais, (utilisateur/apprenant elementaire), Paris, Didier, 191p

Rika HIRASHIMA
2008 Revue japonaise de didactique du français  
Jean う」 -Claude Beacco et Rémy Porquier (2007), Niveau A1 pour le français,(utilisateur /apprenant élémentaire), Paris : Didier, 191p. (ex. 人間, 職業, 教育)と結びついて生みだされる。例えば「時 間について尋ねる (Quand ... ?)」  ... 
doi:10.24495/rjdf.3.1_244 fatcat:6ri7cffrirhlreotdlqjlvkxoe

MLF

Didier Le Botlan, Didier Rémy
2003 SIGPLAN notices  
We propose a type system ML F that generalizes ML with first-class polymorphism as in System F. We perform partial type reconstruction. As in ML and in opposition to System F, each typable expression admits a principal type, which can be inferred. Furthermore, all expressions of ML are well-typed, with a possibly more general type than in ML, without any need for type annotation. Only arguments of functions that are used polymorphically must be annotated, which allows to type all expressions of System F as well.
doi:10.1145/944746.944709 fatcat:qhzguadyqvdk3pxd34w3zxtnhu

MLF

Didier Le Botlan, Didier Rémy
2014 SIGPLAN notices  
We propose a type system ML F that generalizes ML with first-class polymorphism as in System F. We perform partial type reconstruction. As in ML and in opposition to System F, each typable expression admits a principal type, which can be inferred. Furthermore, all expressions of ML are well-typed, with a possibly more general type than in ML, without any need for type annotation. Only arguments of functions that are used polymorphically must be annotated, which allows to type all expressions of System F as well.
doi:10.1145/2641638.2641653 fatcat:dzbgijnperhhnn5zgcjzdisn2i

Recasting MLF

Didier Le Botlan, Didier Rémy
2009 Information and Computation  
It also verifies the criteria (3), as shown in recent works based on graphs by Rémy and Yakobowski [43, 42] , although with a different presentation.  ...  addressed in this paper, it can be reduced to a first-order unification algorithm for (a form of) second-order types, combined with let-polymorphism a la ML, as shown in previous works by Le Boltan and Rémy  ... 
doi:10.1016/j.ic.2008.12.006 fatcat:ojbaprppgzarpbozexjauazbfm

GADTs meet subtyping [article]

Gabriel Scherer, Didier Rémy (INRIA Rocquencourt)
2013 arXiv   pre-print
While generalized algebraic datatypes (\GADTs) are now considered well-understood, adding them to a language with a notion of subtyping comes with a few surprises. What does it mean for a \GADT parameter to be covariant? The answer turns out to be quite subtle. It involves fine-grained properties of the subtyping relation that raise interesting design questions. We allow variance annotations in \GADT definitions, study their soundness, and present a sound and complete algorithm to check them.
more » ... r work may be applied to real-world ML-like languages with explicit subtyping such as OCaml, or to languages with general subtyping constraints.
arXiv:1301.2903v1 fatcat:fytxjm473fhdlc34dzkr7zoej4

GADT meet Subtyping [article]

Gabriel Scherer, Didier Rémy (INRIA Rocquencourt)
2012 arXiv   pre-print
Since ⋊ ⋉ 1 w 2 is w 2 , (11) follows from (9); Furthermore, T [ρ ′ ] = T [ρ ′ 1 ] by irrelevance of 11 The idea of context merging and the term "zipping" are inspired by Montagu and Remy [MR09] sc-Triv  ... 
arXiv:1210.5935v1 fatcat:wpma65kdgfbtbcfmdawygmpfb4

Paris - Le prix Prud'homme 2001 remis à Françoise Vimeux

Didier RENAUT
2002 La Météorologie  
Enfin, Marie-Lise Chanin, représentant pour l'occasion le prési- Le prix Prud'homme 2001 remis à Françoise Vimeux U ne fois n'est pas coutume : c'est dans les locaux spacieux et fonc- tionnels  ...  Didier Renaut  ... 
doi:10.4267/2042/35944 fatcat:upt5bndsvbagzjdoetfq4ddrxy

From ML to MLF

Didier Rémy, Boris Yakobowski
2008 SIGPLAN notices  
Acknowledgments We would like to thank Didier Le Botlan and Yann Régis-Gianas for numerous helpful suggestions on previous versions of this work.  ...  An online prototype ML F typechecker and an extended version of this paper with all proofs are available online at http: // gallium. inria. fr/~remy/ mlf/ .  ...  y y ⊥ y χ7 G → → ⊥ G → ⊥ ⊥ χ8 G → → ⊥ → ⊥ ⊥ χ9 G → → ⊥ → ⊥ Implementation An ML F type checker (which faithfully implements the algorithm presented in §5.1) can be found at http:// gallium.inria.fr/~remy  ... 
doi:10.1145/1411203.1411216 fatcat:auekis6qnfamzhpnx6curkrakq

GADTs Meet Subtyping [chapter]

Gabriel Scherer, Didier Rémy
2013 Lecture Notes in Computer Science  
While generalized algebraic datatypes (GADTs) are now considered well-understood, adding them to a language with a notion of subtyping comes with a few surprises. What does it mean for a GADT parameter to be covariant? The answer turns out to be quite subtle. It involves fine-grained properties of the subtyping relation that raise interesting design questions. We allow variance annotations in GADT definitions, study their soundness, and present a sound and complete algorithm to check them. Our
more » ... ork may be applied to real-world ML-like languages with explicit subtyping such as OCaml, or to languages with general subtyping constraints.
doi:10.1007/978-3-642-37036-6_30 fatcat:c6h2x3sqnjahpbt33lhq4ln2xa

On the power of coercion abstraction

Julien Cretin, Didier Rémy
2012 SIGPLAN notices  
This question has in fact already been raised in previous work on MLF [Rémy and Yakobowski, 2010 ].  ...  The language xMLF [Rémy and Yakobowski, 2010] is the internal language of MLF which is itself an extension of System F with instance-bounded polymorphism.  ... 
doi:10.1145/2103621.2103699 fatcat:owx2ajkyybab3izvpnkvqkgfqy

From classes to objects via subtyping [chapter]

Didier Rémy
1998 Lecture Notes in Computer Science  
We extend the Abadi-Cardelli calculus of primitive objects with object extension. We enrich object types with a more precise, uniform, and exible type structure. This enables to type object extension under both width and depth subtyping. Objects may also have extend-only or virtual contra-variant methods and read-only co-variant methods. The resulting subtyping relation is richer, and types of objects can be weaken progressively from a class level to a more traditional object level along the
more » ... type relationship. ? A preliminary version appeared in 26] ??
doi:10.1007/bfb0053572 fatcat:ffkhmtmo4jdsvp7g5yvwply55u

GeneANOVA--gene expression analysis of variance

G. Didier, P. Brezellec, E. Remy, A. Henaut
2002 Bioinformatics  
GeneANOVA is an ANOVA-based software devoted to the analysis of gene expression data.
doi:10.1093/bioinformatics/18.3.490 pmid:11934752 fatcat:5r7z7vboezggvm77mj3p6nm73e
« Previous Showing results 1 — 15 out of 4,603 results