Optimizing Closures in O(0) time Andrew W. Keep Alex Hearn R. Kent Dybvig

Source URL: users-cs.au.dk

• Software engineering
• Computing
• Computer programming
• Subroutines
• Lambda calculus
• Data types
• Type theory
• Functional programming
• Closure
• Scope
• Free variables and bound variables
• Lambda lifting

Certifying, incremental type checking Matthias Puech1,2 and Yann R´egis-Gianas1 1 2

Source URL: www.pps.univ-paris-diderot.fr

Document Technique d’Information N° 2: Modèle type viable de systèmes de cultures à base de cotonculture adapté à chaque zone agro-écologique du Bénin Allagbé C. M., Ahoyo Adjovi N. R., Adégbola Y. P., Komlan

Source URL: inrab.org

Package ‘reshape’ February 20, 2015 Type Package Title Flexibly reshape data. VersionAuthor Hadley Wickham <>

Source URL: cran.r-project.org

On a Rado Type Problem for Homogeneous Second Order Linear Recurrences Hayri Ardal∗ Zdenˇek Dvoˇr´ak† Tom´aˇs Kaiser§

Source URL: iti.mff.cuni.cz

Package ‘dnet’ July 22, 2015 Type Package Title Integrative Analysis of Omics Data in Terms of Network, Evolution and Ontology Version 1.0.7

Source URL: dnet.r-forge.r-project.org

Package ‘NuCMap’ September 20, 2012 Type Package Title An R package for Nucleosomes Chemical Mapping data analysis. biocViews genetics,visualization,classification Version

Source URL: bioinfo.stats.northwestern.edu

Aerosol Type Constraints Required for Ocean Color Atmospheric Correction Lead: R. Kahn NASA/GSFC With contributions from:

Source URL: acemission.gsfc.nasa.gov

Package ‘labeling’ February 20, 2015 Type Package Title Axis Labeling Version 0.3 Date

Source URL: cran.at.r-project.org

Alteration of glucose and insulin regulatory networks for the treatment of type 2 diabetes mellitus Tae H. Han1, Elizabeth M. Migoya1, Lata Maganti1, Rebecca Baillie2, Paul Brazhnik2, and James R. Bosley, Jr.2 & Co. Inc.

Source URL: rosaandco.com