Jones calculus - PDFSEARCH.IO - Document Search Engine

Jones calculus
Results: 23

#	Item
1	Secrets of the Glasgow Haskell Compiler inliner Simon Peyton Jones Microsoft Research Ltd, Cambridge Simon Marlow Add to Reading List Source URL: research.microsoft.com Language: English - Date: 1999-09-06 04:29:36 Software engineering Computer programming Computing Subroutines Type theory Lambda calculus Theoretical computer science Data types Inline expansion Mutual recursion Recursion Standard ML
2	Laplacians and Heat Kernels: Theory and Applications (15w5110) Denis Grebenkov (Ecole Polytechnique), Peter Jones (Yale University), Naoki Saito (University of California, Davis– Add to Reading List Source URL: www.birs.ca Language: English - Date: 2015-05-21 21:40:11 Spectral theory Partial differential equations Differential operators Multivariable calculus Fourier analysis Laplace operator Dirichlet eigenvalue Heat kernel Eigenfunction Spectral geometry Eigenvalues and eigenvectors Hearing the shape of a drum
3	Table of Contents A Flow Calculus of mwp-Bounds for Complexity Analysis . . . . . . . . . . . . . . Neil D. Jones and Lars Kristiansen 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Add to Reading List Source URL: www.diku.dk Language: English
4	SPRING 2015 SCHEDULE OF CLASSES & OFFICE HOURS FULL TIME FACULTY CLASS SCHEDULE…………OFFICE HOURS Jones, Dawn; 5835 Add to Reading List Source URL: www.brockport.edu Language: English - Date: 2015-03-03 10:04:34 PM Holmes Calculus
5	Static Complexity Analysis of Programs Neil D. Jones Lars Kristiansen†‡ In this paper we explicate the proof calculus introduced in Kristiansen & Jones [10]. Add to Reading List Source URL: www.nik.no Language: English - Date: 2006-12-08 15:11:06 Abstract algebra Matrix Vector space Differential form Meijer G-function Algebra Linear algebra Mathematics
6	A High-Resolution Geometry Capture System for Facial Performance Wan-Chun Ma Andrew Jones Tim Hawkins Add to Reading List Source URL: gl.ict.usc.edu Language: English - Date: 2008-10-08 19:25:44 Mathematical analysis Computer graphics 3D computer graphics Normal mapping Texture mapping Structured light Photometric stereo Gradient Shading Imaging Virtual reality Vector calculus
7	Infinite families of links with trivial Jones polynomial Shalom Eliahou, Louis H. Kauffman 1 and Morwen B. Thistlethwaite Add to Reading List Source URL: homepages.math.uic.edu Language: English - Date: 2001-07-18 09:18:02 Algebra Tangle Jones polynomial Alexander polynomial Link Holomorphic functional calculus Knot theory Abstract algebra Mathematics
8	HALO: Haskell to Logic through Denotational Semantics As submitted to POPL’13, July 11, 2012 Dimitrios Vytiniotis Simon Peyton Jones Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-07-11 09:13:42 Logic in computer science Models of computation Model theory Formal methods Denotational semantics Combinatory logic First-order logic Interpretation Lambda calculus Mathematical logic Logic Mathematics
9	FALL 2013 SCHEDULE OF CLASSES & OFFICE HOURS FULL TIME FACULTY CLASS SCHEDULE…………OFFICE HOURS Jones, Dawn; [removed] 3705 Add to Reading List Source URL: www.brockport.edu Language: English - Date: 2013-09-27 16:03:47 Factorial Mathematics PM Calculus
10	An Illative Lambda-Calculus Roger Bishop Jones Abstract This is an approach to illative lambda-calculi via construction of an infinitary calculus in a well-founded set theory. Add to Reading List Source URL: www.rbjones.com Language: English - Date: 2012-09-28 15:44:05 Lambda calculus Combinatory logic Logic in computer science Infinitary logic Model theory Free variables and bound variables Finitary Fixed-point combinator Simply typed lambda calculus Mathematical logic Theoretical computer science Logic