Dependent ML - PDFSEARCH.IO - Document Search Engine

Dependent ML
Results: 10

#	Item
1	AF T Chapter 5 Programming with Dependent Types Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-09-10 12:37:20 Software engineering Computer programming Programming language theory Functional languages Procedural programming languages Subroutines Data types C++ ATS ALGOL 68 ML C++ classes
2	Hongwei Xi Curriculum Vitæ February 25, 2010 Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2010-02-25 19:00:37 Type theory Functional languages Logic in computer science Lambda calculus Dependent ML Peter B. Andrews International Conference on Functional Programming Dependent type ATS Software engineering Programming language theory Computing
3	Hongwei Xi Curriculum Vitæ February 25, 2010 Add to Reading List Source URL: cs-www.bu.edu Language: English - Date: 2010-02-25 19:00:37 Type theory Functional languages Logic in computer science Lambda calculus Dependent ML Peter B. Andrews International Conference on Functional Programming Dependent type ATS Software engineering Programming language theory Computing
4	Dependent Types in Practical (Extended Programming* Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2001-01-30 15:56:16 Type theory Functional languages Data types Procedural programming languages Functional programming Standard ML Type system ML System F Software engineering Programming language theory Computing
5	Contents Table of contents Room Page Add to Reading List Source URL: icfpconference.org Language: English - Date: 2014-08-18 16:17:18 Functional languages International Conference on Functional Programming ICFP Programming Contest SIGPLAN Continuation Haskell Dependent type Generic programming ML Software engineering Computing Computer programming
6	Why Dependent Types Matter Thorsten Altenkirch Conor McBride The University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-05-01 19:46:50 Functional languages Higher-order functions Procedural programming languages Functional programming Fold Recursion Structural induction ML Map Software engineering Computing Computer programming
7	ECONOMIC SERVICES ADMINISTRATION Tribal TANF[removed]BIENNIAL BUDGET ML Request Add to Reading List Source URL: www.dshs.wa.gov Language: English - Date: 2014-09-17 12:27:03 Aid to Families with Dependent Children Cowlitz people Federal assistance in the United States United States Department of Health and Human Services Temporary Assistance for Needy Families
8	arXiv:1110.2529v2 [stat.ML] 7 Jun[removed]The Generalization Ability of Online Algorithms for Dependent Data Alekh Agarwal John C. Duchi Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-06-07 20:28:52 Continuous function Stability Markov chain Mixing Distribution Mathematical analysis Statistics Calculus
9	Static Dependent Types for First Class Modules Mark A. Sheldon and David K. Giord Laboratory for Computer Science Massachusetts Institute of Technology Abstract Add to Reading List Source URL: www.psrg.csail.mit.edu Language: English - Date: 2013-07-14 14:56:24 Type theory Type system Standard ML Subroutine Programming language Lambda calculus Type inference Abstraction System F Software engineering Computing Programming language theory
10	Static Dependent Types for First Class Modules Mark A. Sheldon and David K. Giord Laboratory for Computer Science Massachusetts Institute of Technology Abstract Add to Reading List Source URL: www.psrg.lcs.mit.edu Language: English - Date: 2013-07-14 14:56:24 Type theory Type system Standard ML Subroutine Programming language Lambda calculus Type inference Abstraction System F Software engineering Computing Programming language theory

UPDATE