Gabriel Scherer Gallium team INRIA Paris-Rocquencourt B

First Page		Document Content
Date: 2015-04-08 09:34:19 Functional languages OCaml National Institute for Research in Computer Science and Control Caml Principles of Programming Languages Coq Scherer Rocquencourt Subtype polymorphism Software engineering Computing Computer programming		Gabriel Scherer Gallium team INRIA Paris-Rocquencourt B Add to Reading List Source URL: gallium.inria.fr Download Document from Source Website File Size: 261,29 KB Share Document on Facebook

	Language-based Defenses against Untrusted Browser Origins Karthikeyan Bhargavan INRIA Paris-Rocquencourt Antoine Delignat-Lavaud INRIA Paris-Rocquencourt DocID: 1xVLa - View Document
	Language-based Defenses against Untrusted Browser Origins Karthikeyan Bhargavan INRIA Paris-Rocquencourt Antoine Delignat-Lavaud INRIA Paris-Rocquencourt DocID: 1xVnN - View Document
	The Semantics of a Simple Language for Parallel Programming Gilles KAHN IRIA-Laboria, Domaine de Voluceau, 78150 Rocquencourt, France and Commissariat à l’Energie Atomique, France DocID: 1xTiz - View Document
	Exploiting type systems and static analyses for smart card security Xavier Leroy INRIA Rocquencourt & DocID: 1vqAs - View Document
	Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics, DocID: 1vgAJ - View Document