Gallium - PDFSEARCH.IO - Document Search Engine

Gallium
Results: 1274

#	Item
241	Normalization by realizability also evaluates Pierre-Évariste Dagand1 & Gabriel Scherer2 1: Gallium, INRIA Paris-Rocquencourt 2: Gallium, INRIA Paris-Rocquencourt Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-12-03 02:55:37 Logic Symbol Curry–Howard correspondence Valuation Forcing Natural deduction Physical quantity Mathematical logic Mathematics Proof theory
242	janvierJournées Francophones des Langages Applicatifs JFLA10 Add to Reading List Source URL: gallium.inria.fr Language: French - Date: 2013-05-30 10:43:56
243	Radiation Physics and Chemistry±707 www.elsevier.com/locate/radphyschem Discrimination of defects in III±V semiconductors by positron lifetime distribution Add to Reading List Source URL: www.geocities.jp Language: English - Date: 2003-02-11 04:15:23 Optoelectronics Leptons Spintronics Gallium arsenide Indium phosphide Positron Electron Light-emitting diode Chemistry Physics Quantum electrodynamics
244	JOURNAL OF APPLIED PHYSICS VOLUME 90, NUMBER 1 1 JULY 2001 Add to Reading List Source URL: www.geocities.jp Language: English - Date: 2003-02-11 04:16:26 Leptons Quantum electrodynamics Gallium nitride Nitrides Gan Chinese Positron Electron Physics Chemistry Condensed matter physics
245	Machine-checked object layout for C++ multiple inheritance with empty-base optimization Tahina Ramananandro http://gallium.inria.fr/~tramanan/cpp/object-layout Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2010-08-06 15:57:44 C++ C programming language C++ classes Struct Sizeof Pointer Virtual method table ALGOL 68 Typedef Computer programming Software engineering Computing
246	Formal Verication of C++ Object Construction and Destruction Tahina Ramananandro1 1 INRIA Paris-Rocquencourt Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-01-28 17:27:37 C programming language C++ Struct C++ classes Initialization Constructor Construct Digital geometry Cohen–Sutherland algorithm Software engineering Computer programming Computing
247	Mining opportunities for unique inhabitants in dependent programs Gabriel Scherer, PhD Student under supervision of Didier R´emy Gallium – INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-09-29 11:09:42 Programming language theory Data types Formal methods Theoretical computer science Higher-order functions Type system Dependent type Lambda calculus Gallium Software engineering Computing Type theory
248	A formal operational semantics for C++ object construction and destruction Tahina Ramananandro http://gallium.inria.fr/~tramanan/cpp July 13, 2011 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2011-07-28 07:47:39 C++ Object-oriented programming Method C programming language Virtual function C++ classes Constructor Struct Initialization Software engineering Computer programming Computing
249	A generalization of F with abstraction Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2010-12-06 04:30:08 Object-oriented programming Polymorphism Subtype polymorphism Type theory Functions and mappings Function Mathematics Data types Software engineering
250	On the Power of Coercion Abstraction Julien Cretin Didier Rémy INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-02-08 07:43:20 Type theory Models of computation Lambda calculus Data types Computability theory Simply typed lambda calculus ALGOL 68 Type system Programming Computable Functions Programming language theory Theoretical computer science Computer science

UPDATE