Functional

Results: 21977



#Item
641Software engineering / Programming language theory / Computer programming / Type theory / Procedural programming languages / Functional languages / Logic in computer science / Programming language semantics / Standard ML / Denotational semantics / Monad / Type system

A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University

Add to Reading List

Source URL: www.cs.cmu.edu

Language: English - Date: 2001-06-27 15:19:02
642Mathematics / Algebra / Mathematical analysis / Linear algebra / Operator theory / Hilbert space / Integral equation / Integral transform / Functional analysis / Equation / Partial differential equation / Integral

FIRST ANNUAL WORKSHOP of Functional Analysis and Applications Group May 15, 2010, Room Sousa Pinto, 08:15 AM TALKS: Luís Castro

Add to Reading List

Source URL: sweet.ua.pt

Language: English - Date: 2015-05-15 10:04:54
643Linguistics / Syntax / Cognitive science / Grammar / Semantics / Semiotics / Generative linguistics / Parts of speech / Lexical functional grammar / Theta role / Annie Zaenen / Joan Bresnan

Templates and phrasal analyses of argument structure constructions

Add to Reading List

Source URL: nlp.ipipan.waw.pl

Language: English - Date: 2016-07-26 06:54:29
644Chemistry / Organic chemistry / Functional groups / Ketone / Wittig reaction / Carbonyl reduction / Grignard reaction / Alkene / Ester / Synthon / Organolithium reagent / Alcohol

Paul Bracher Chem 30 – Synthesis Review Guide to Solving Sophomore Organic Synthesis Problems Disclaimer Omission of a topic on this handout does not preclude that material from appearing on the final exam. Any materia

Add to Reading List

Source URL: www.paulbracher.com

Language: English - Date: 2015-02-10 17:17:23
645Software engineering / Computing / Computer programming / Functional languages / Scala / Programming language comparisons / Map

What Did We Learn In Scala.Meta? Eugene Burmako ´ Ecole Polytechnique F´ ed´

Add to Reading List

Source URL: scalamacros.org

Language: English - Date: 2016-08-18 07:56:24
646Linguistics / Syntax / Cognitive science / Parts of speech / Grammar / Syntactic categories / Linguistic typology / Lexical functional grammar / Participle / Gerund / Phrase / Nominal

Mixed categories and participles: syntax and morphology The standard LFG approach to mixed categories was developed by Bresnan (1997, Figures 1–2, illustrating two of the possible structures). In certain respect

Add to Reading List

Source URL: nlp.ipipan.waw.pl

Language: English - Date: 2016-05-19 10:37:08
647Biology / Bioinformatics / Genomics / Genetics / Microarrays / Arabidopsis thaliana / Molecular biology / Arabidopsis / Functional genomics / Nottingham Arabidopsis Stock Centre / Comparative genomics / Affymetrix

GARNish, Newsletter for GARNet, genomic arabidopsis resource network, UK service providers for functional genomics tools. Genomic Arabidopsis Resource Network Issue 8

Add to Reading List

Source URL: arabidopsis.info

Language: English - Date: 2014-05-12 13:49:06
648Software engineering / Computer programming / Computing / Functional languages / Procedural programming languages / Object-oriented programming languages / Cross-platform software / F Sharp / Microsoft Research / Eval / D

Some F# Practicalities Björn Lisper School of Innovation, Design, and Engineering Mälardalen University http://www.idt.mdh.se/˜blr/

Add to Reading List

Source URL: www.idt.mdh.se

Language: English - Date: 2015-04-15 17:47:12
649Mathematical analysis / Calculus / Analysis / Partial differential equations / Distribution / Functional analysis / Wave equation / Finite element method

FULL DISCRETIZATION OF SECOND-ORDER NONLINEAR EVOLUTION EQUATIONS: STRONG CONVERGENCE AND APPLICATIONS∗ ‡ ˇ SKA ˇ

Add to Reading List

Source URL: www.math.tu-berlin.de

Language: English - Date: 2012-02-06 05:23:25
650Computing / Cloud infrastructure / Business / Economy / Cloud computing / Resilience / IBM cloud computing / HP Cloud

TOWARDS USING THE FUNCTIONAL RESONANCE ANALYSIS METHOD TO BALANCE RESILIENCE AND ADAPTABILITY – A CASE STUDY OF MIGRATING A SOFTWARE PRODUCT INTO THE CLOUD Marc Werfs University of St Andrews, School of Computer Scienc

Add to Reading List

Source URL: www.resilience-engineering-association.org

Language: English - Date: 2016-03-30 09:56:11
UPDATE