McBride, Conor
McBride, Conor, 1973
Conor McBride Computer Scientist
VIAF ID: 21672684 ( Personal )
Permalink: http://viaf.org/viaf/21672684
Preferred Forms
- 100 0 _ ‡a Conor McBride ‡c Computer Scientist
-
- 100 1 _ ‡a McBride, Conor
- 100 1 _ ‡a McBride, Conor
-
- 100 1 _ ‡a McBride, Conor
-
-
-
- 100 1 _ ‡a McBride, Conor, ‡d 1973
4xx's: Alternate Name Forms (6)
Works
Title | Sources |
---|---|
Étude formelle d'algorithmes efficaces en algèbre linéaire | |
Formal study of efficient algorithms in linear algebra. | |
A List of Successes That Can Change the World : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday | |
The Little Typer | |
Refactoring functional programs with ornaments | |
Refactorisation de programmes fonctionnels par les ornements. | |
Typage Bidirectionnel pour le Calcul des Constructions Inductives. | |
Types for proofs and programs, 2007: |