Introduction to ML Mooly Sagiv Cornell CS 3110 Data Structures and Functional Programming Typed Lambda Calculus

Source URL: www.cs.tau.ac.il

Variational Calculus and Discrete Alternatives jplewis CGIT/USC The basic idea: instead of considering the change in a function wrt its arg, consider the variation in a functional wrt a variation in the function, this sh

Source URL: scribblethink.org

The Julia Express Bogumił Kaminski ´ January 4, 2015 Contents

Source URL: bogumilkaminski.pl

• Software engineering
• Computing
• Computer programming
• Subroutines
• Data types
• Anonymous function
• Functional programming
• Lambda calculus
• Exponentiation
• ATS
• Array data type
• Parameter

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

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

• Mathematical analysis
• Calculus
• Analysis
• Partial differential equations
• Distribution
• Functional analysis
• Wave equation
• Finite element method

Uniqueness Typing Simplified Edsko de Vries1⋆ , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie

Source URL: www.edsko.net

• Software engineering
• Computer programming
• Computing
• Type theory
• Data types
• Functional programming
• Subroutines
• Lambda calculus
• Subtyping
• Const
• Unification
• Type system

U:MDLPDE•5-ISSUESLPDE-40(5)LPDE992533FORONLINE.DVI

Source URL: www.siltanen-research.net

• Mathematical analysis
• Calculus
• Mathematics
• Differential equations
• Generalized functions
• Functional analysis
• Spectral theory
• Heat equation
• Heat transfer
• Distribution
• Partial differential equation
• Heat kernel

Krein’s Strings, the Symmetric Moment Problem, and Extending a Real Positive Definite Function URI KEICH California Institute of Technology Abstract The symmetric moment problem is to find a possibly unique, positive s

Source URL: www.maths.usyd.edu.au

• Mathematical analysis
• Mathematics
• Fourier analysis
• Digital signal processing
• Dirac delta function
• Measure theory
• Fourier transform
• Holomorphic functional calculus
• Differential forms on a Riemann surface

From Stack Traces to Lazy Rewriting Sequences Stephen Chang1 , Eli Barzilay1 , John Clements2 , and Matthias Felleisen1 1 2

Source URL: www.ccs.neu.edu

• Software engineering
• Computer programming
• Computing
• Functional languages
• Evaluation strategy
• Computability theory
• Lambda calculus
• Theoretical computer science
• Lazy evaluation
• Functional programming
• ALGOL 68
• Racket

165 Documenta Math. On the Leading Terms of Zeta Isomorphisms and p-Adic L-functions in Non-Commutative Iwasawa Theory

Source URL: www.math.uiuc.edu

• Abstract algebra
• Algebra
• Mathematics
• Algebraic geometry
• Homological algebra
• Symbol
• Valuation
• Sheaf
• Motive
• Orbifold
• Holomorphic functional calculus

Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEY

Source URL: www.math.purdue.edu

• Software engineering
• Computer programming
• Computing
• Functional languages
• Subroutines
• Procedural programming languages
• Data types
• Lambda calculus
• Scheme
• Lisp
• Anonymous function
• Scope