- Jean-Christophe Filliâtre, Hugo Herbelin,
Chetan Murthy, Yves Bertot, and
Pierre Castéran with the 2013 ACM
Software System Award for Coq. The name Coq is a wordplay...
- Thibault; Pellerin, Hugues; Zammouri, Ingrid; Anzalone,
Salvatore M.;
Casteran, Laurence; Johal, Wafa; Dillenbourg, Pierre; Cohen, David; Jolly, Caroline...
- as
Jacques Martens - son fils Andrée Clément as
Piette Castéran Jacques Louvigny as
Castéran Rosine Luguet as
Charlotte Martens Mona Dol as
Soeur Claire...
- PMID 31371960.
Gargot T, ****elborn T,
Pellerin H,
Zammouri I, M
Anzalone S,
Casteran L, et al. (2020-09-11). "Acquisition of
handwriting in
children with and...
- James. "The
Coming Software Apocalypse," The
Atlantic Magazine, 2017.
Casteran, Regis. "Functions in
systems model.",
Medium article, 2019.
Knizhnik et...
- ****ociated with it.
Intuitionistic logic Typed lambda calculus Bertot, Yves;
Castéran,
Pierre (2004).
Interactive theorem proving and
program development: Coq'Art:...
- PMID 19470739.
Dubreuil P,
Letard S,
Ciufolini M, Gros L,
Humbert M,
Castéran N,
Borge L,
Hajem B,
Lermet A,
Sippl W,
Voisset E,
Arock M,
Auclair C,...
-
Scala Part 12: Type
classes -
Daniel Westheide". typelevel.org,
Scala Cats
Castéran, P.; Sozeau, M. (2014). "A
Gentle Introduction to Type
classes and Relations...
- 459–73. Bibcode:1932JChEd...9..459W. doi:10.1021/ed009p459. ISSN 0021-9584.
Casteran, Rene. "Chromite mining".
Oregon Encyclopedia.
Portland State University...
- Jean-Christophe Filliâtre, Hugo Herbelin,
Chetan Murthy, Yves
Bertot and
Pierre Castéran 2012 LLVM
Vikram S. Adve, Evan
Cheng and
Chris Lattner 2011
Eclipse John...
