Which simple types have a unique inhabitant? Gabriel Scherer Didier R´emy INRIA

Source URL: gallium.inria.fr

• Proof theory
• Lambda calculus
• Type theory
• Logic in computer science
• Model theory
• Natural deduction
• System F
• Function
• Sequent calculus
• Mathematical logic
• Logic
• Mathematics

1 Syntactic soundness proof of a type-and-capability system with hidden state FRANÇOIS POTTIER

Source URL: gallium.inria.fr

• Data types
• Computer programming
• Object-oriented programming
• Primitive types
• Programming paradigms
• Type system
• Subtype polymorphism
• Soundness
• Reference
• Software engineering
• Type theory
• Computing

Hindley-Milner Elaboration in Applicative Style Functional pearl François Pottier INRIA

Source URL: gallium.inria.fr

• Computing
• Constraint satisfaction problem
• Type class
• Lambda calculus
• Normalisation by evaluation
• Constraint inference
• Declarative programming
• Constraint programming
• Software engineering

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Project-Team Gallium Programming languages, types, compilation and proofs Paris - Rocquencourt

Source URL: raweb.inria.fr

• Functional languages
• Type theory
• Procedural programming languages
• Logic in computer science
• Cross-platform software
• Type system
• OCaml
• Coq
• ML
• Software engineering
• Computing
• Programming language theory

Unicity of type inhabitants; a Work in Progress Gabriel Scherer Gallium (INRIA Paris-Rocquencourt) May 30, 2013

Source URL: gallium.inria.fr

• Map
• Matter
• Gallium
• Chemistry

A Mechanized Semantics for C++ Object Construction and Destruction, with Applications to Resource Management Tahina Ramananandro Gabriel Dos Reis ∗

Source URL: gallium.inria.fr

• C++
• Method
• Subobject
• Structure
• Virtual function
• Constructor
• C++ classes
• C++11
• Destructor
• Computer programming
• Software engineering
• Object-oriented programming

Ornaments in Practice Thomas Williams Pierre-Évariste Dagand Didier Rémy

Source URL: gallium.inria.fr

• Data types
• Functional programming
• Type theory
• Recursion
• Functional languages
• Append
• Algebraic data type
• Map
• Fold
• Software engineering
• Computing
• Computer programming

In The LAB Semiconducting the Future Microelectronic devices group explores new materials for future computer chips and high-power transistors As computer-chip makers struggle to build faster

Source URL: www-mtl.mit.edu

• Inorganic compounds
• Indium gallium arsenide
• Gallium nitride
• Gallium arsenide
• Transistor
• Integrated circuit
• Field-effect transistor
• Gallium
• Light-emitting diode
• Chemistry
• Semiconductor devices
• Compound semiconductors

APG1005VGC-T-5MAV(Ver.5B)

Source URL: www.kingbrightusa.com

• Light-emitting diodes
• Semiconductor devices
• Physical quantities
• Electronics
• Lighting
• Indium gallium nitride
• Soldering
• Luminous intensity
• LED lamp
• Technology
• Chemistry
• Photometry

Multi-focusing on extensional rewriting with sums (introduction) Gabriel Scherer Gallium – INRIA March 11, 2014

Source URL: gallium.inria.fr