ML-1 - PDFSEARCH.IO - Document Search Engine

ML-1
Results: 854

#	Item
421	Word-Dokumentvorlage Version 1.2 (ML) Add to Reading List Source URL: www.silva.bsse.ethz.ch Language: English - Date: 2013-01-24 05:06:51 Membrane biology Transmembrane receptors Signal transduction Cell adhesion molecule Biophysics Cell surface receptor Outline of cell biology Membrane protein Crosstalk Biology Cell biology Cell signaling
422	1 A modern eye on ML type inference Old techniques and recent developments Franc¸ois Pottier Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2005-09-20 09:57:28 Computing Type inference ML Type system Generalized algebraic data type Hindley–Milner Hindley Lambda calculus Programming language theory Type theory Software engineering
423	Horizontal composability revisited? Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburgh 2 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-03-25 10:02:21 Model theory Procedural programming languages Institution Theoretical computer science Sigma-algebra Permutation Specification Standard ML ALGOL 68 Computing Mathematics Software engineering
424	Functional Programming and Specification Examination 1. The exam lasts two hours. 2. Place your student identity card face-up on the desk in front of you. The invigilator may come to check your identity, and in this case Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-05-12 03:48:42 Standardized tests Functional languages Procedural programming languages Sports science Test Exam ML Programming language theory Education Software engineering
425	A Programmer-Centric Approach to Program Verification in ATS∗ Zhiqiang Ren1 and Hongwei Xi1 1 2 Add to Reading List Source URL: cs-www.bu.edu Language: English - Date: 2013-10-14 02:11:12 Data types Functional programming Functional languages Procedural programming languages Lisp programming language ATS Fold Append ML Software engineering Computing Computer programming
426	Bunya cream custard – award winning recipe! Gluten Free Ingredients 1 kg Bunya nuts boiled for about 20 minutes and then shelled to give 600 grams 500 ml cream Add to Reading List Source URL: www.stgmagazine.com.au Language: English - Date: 2010-05-24 10:22:47 Bushfood Flora of New South Wales Custard Natural history of Australia Food and drink Flora of Australia Araucaria bidwillii
427	Cycles without pollution: a gradual typing poem Sam Tobin-Hochstadt1 and Robert Bruce Findler2 1 2 Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Functional languages Data types Functional programming Procedural programming languages Higher-order functions Type system ML Toro Rosso STR2 Immutable object Software engineering Computing Computer programming
428	Page 1 of 2 HP 10 Ink Cartridges - C4844AE black (69 ml) ● HP 10 Ink Cartridges - C4841AE/43AE/42AE cyan/magenta/yellow (28 ml) Add to Reading List Source URL: www.hpdesignjet.cz Language: English - Date: 2006-02-23 06:58:00 Office equipment Media technology Paper Inkjet printer Printer Ink cartridge Magenta Inkjet paper Seiko Epson Printing Computer printers Technology
429	A Modality for Safe Resource Sharing and Code Reentrancy ? Rui Shi1 , Dengping Zhu2 , and Hongwei Xi3 1 Yahoo! Inc. Add to Reading List Source URL: cs-www.bu.edu Language: English - Date: 2010-08-06 16:36:27 Computing Symbol Standard ML ATS Functional languages Software engineering Computer programming
430	A Programmer-Centric Approach to Program Verification in ATS∗ Zhiqiang Ren1 and Hongwei Xi1 1 2 Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2013-10-14 02:11:12 Data types Functional programming Functional languages Procedural programming languages Lisp programming language ATS Fold Append ML Software engineering Computing Computer programming

UPDATE