Tyre – Typed Regular Expressions Gabriel R ADANNE Univ Paris Diderot, Sorbonne Paris Cité Tyre is a set of combinators to build type-safe regular expressions, allowing automatic extraction and

Source URL: www.irif.fr

Gradual Set-Theoretic Types Victor Lanvin ENS Paris-Saclay Problem and motivation. A static type system can be an extremely powerful tool for a programmer, providing early error detection, an

Source URL: src.acm.org

Document type ŕ télécharger, ŕ compléter, puis ŕ joindre au formulaire

Source URL: labs.paris.fr

Revisiting the categorical interpretation of dependent type theory Pierre-Louis Curien πr2 team, PPS Laboratory, CNRS, Universit´e Paris Diderot, and INRIA Richard Garner Macquarie University, Sydney

Source URL: perso.ens-lyon.fr

Improving Type Error Messages in OCaml Arthur Charguéraud Inria & LRI, Université Paris Sud, CNRS

Source URL: ocaml.org

Formal verification of a static analyzer: abstract interpretation in type theory Xavier Leroy Inria Paris-Rocquencourt TYPES meeting,

Source URL: pauillac.inria.fr

From ML to program proof or: The continuation of functional programming by other means Xavier Leroy INRIA Paris-Rocquencourt Milner symposium,

Source URL: events.inf.ed.ac.uk

• Software engineering
• Programming language theory
• Type theory
• Computing
• ML
• Type inference
• Polymorphism
• Type system
• Type class
• HindleyMilner type system
• Ad hoc polymorphism
• OCaml

Sciences Po – Postdoctoral Research Fellow Job type: Post-doctoral research fellow, full-time, fixed term 18 months, (extendable up to 24 months)
 Gross salary: 3000€ per month Expected Start Date: 1 April 2016 or

Source URL: www.ofce.fr

• Education in Paris
• Sciences Po
• Economics
• Doctor of Philosophy
• Sustainability

Quantum theory Constructive algebra and geometric mathematics Bas Spitters VALS - LRI, Paris-Sud

Source URL: www.cs.ru.nl

• Constructivism
• Structure
• Mathematics
• Type theory
• Logic
• Constructive proof
• Axiom of choice
• Topos
• Mathematical logic
• Model theory
• Topology

Bost-Connes type Systems for Function Fields Benoît Jacob Université Paris 6 http://www.math.jussieu.fr/∼jacob May 13, 2006

Source URL: www.math.vanderbilt.edu