Technology focus: 2D materials 71 Creating heterojunctions between black phosphorous and gallium arsenide Photo-response of phosphorene on GaAs is found to be comparable to that of

Source URL: www.semiconductor-today.com

Machine-Checked Verification of the Correctness and Amortized Complexity of an Efficient Union-Find Implementation Arthur Charguéraud1 and François Pottier2 1

Source URL: gallium.inria.fr

A generalization of F with abstraction over retyping functions Julien Cretin supervised by Didier Rémy Gallium, INRIA December 6, 2010

Source URL: gallium.inria.fr

WHITEPAPER: Mobile Power Applications WHITEPAPER Mobile Power Applications

Source URL: www.altadevices.com

• Energy
• Physical universe
• Nature
• Photovoltaics
• Energy conversion
• Solar cells
• Energy harvesting
• Physical chemistry
• Solar vehicle
• Gallium arsenide
• Thin-film solar cell
• Photovoltaic system

ORIGINAL RESEARCH Targeting Gallium to Cancer Cells through the Folate Receptor Nerissa Viola-Villegas, Anthony Vortherms and Robert P. Doyle Department of Chemistry, Syracuse University, Syracuse, NY, U.S.A.

Source URL: doylegroup.syr.edu

COMMUNICATION pubs.acs.org/JACS Surfactant-Free, Large-Scale, Solution Liquid Solid Growth of Gallium Phosphide Nanowires and Their Use for Visible-Light-Driven Hydrogen Production from Water Reduction

Source URL: nanowires.berkeley.edu

HexaTech AlN-30 Datasheet, Rev B.indd

Source URL: www.hexatechinc.com

• Nitrides
• Light-emitting diode
• Gallium nitride
• Aluminium nitride
• Ultraviolet
• High-electron-mobility transistor
• Epitaxy
• Aluminium gallium nitride

Full reduction and GADTs Didier Rémy (Joint work with Gabriel Scherer) Gallium – INRIA IFIP WG 2.8, May 2015

Source URL: www.cs.ox.ac.uk

On the Power of Coercion Abstraction Julien Cretin Didier Rémy INRIA

Source URL: gallium.inria.fr

Matching Lenses Davi M. J. Barbosa (Polytechnique) Julien Cretin (Polytechnique/INRIA) Nate Foster (Cornell) Michael Greenberg (Penn) Benjamin C. Pierce (Penn)

Source URL: gallium.inria.fr