ML - PDFSEARCH.IO - Document Search Engine

ML
Results: 4856

#	Item
501	Binding-Time Analysis for Standard ML Lars Birkedal & Morten Welinder DIKU, Department of Computer Science University of Copenhagen DK–2100 Copenhagen Ø, Denmark Email: & Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:46 Constraint programming Constraint satisfaction problem Lambda calculus Constraint Constraint logic programming Constraint satisfaction
502	HC to ML: Typographical Facsimile – Howard Coray to Martha Jane Lewis, August 2, 1889.∗ c Copyright 2009 W. V. Smith Add to Reading List Source URL: www.boap.org Language: English - Date: 2009-08-09 23:56:12 Latter Day Saint martyrs Discrimination in the United States Mormonism and polygamy Polygamy Utah Joseph Smith
503	Hovedpine væk A. Paracetamol I en 50 ml konisk kolbe forsynet med en omrørermagnet og et termometer, tilsættes 4aminophenol (50 mmol). Dertil tilsættes vand (15 ml) samt eddikesyreanhydrid (60 mmol) Add to Reading List Source URL: www.ki.ku.dk Language: Danish - Date: 2016-08-19 17:40:13
504	Introduction to the Guardol Programming Language and Verification System David Hardin∗ Konrad Slind∗ Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2011-12-15 18:21:30 Logic in computer science Formal methods Procedural programming languages Constraint programming Satisfiability modulo theories Parameter Formal verification Scheme Logic programming ALGOL 68 Decompiler Standard ML
505	RRC2 - Genl - Commission Meeting FAQs DFT2ML-RD-LM-ML-KEM - Cf. to DFT2.6.docx Add to Reading List Source URL: ethics.calbar.ca.gov Language: English - Date: 2015-05-19 19:21:12 Parliamentary procedure Meetings Political science Public comment Public policy United States administrative law Agenda
506	ICFP, October 4, 2002 Concatenate, Reverse and Map Vanish For Free Janis Voigtl¨ ander Dresden University of Technology Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Logic in computer science Constructible universe Combinatory logic Probability distributions Standard ML
507	Word-Dokumentvorlage Version 1.2 (ML) Add to Reading List Source URL: disco.ethz.ch Language: English - Date: 2014-09-26 08:36:57 TinyOS NesC Java platform Cross-platform software Software architecture Eclipse Integrated development environment Extensibility D Plug-in
508	Reflections on Standard ML David B. MacQueen AT&T Bell Laboratories Murray Hill NJAbstract. Standard ML is one of a number of new programming languages developed in the 1980s that are seen as suitable vehicles for Add to Reading List Source URL: sml-family.org Language: English - Date: 2016-04-04 09:33:37 Functional languages Procedural programming languages Object-oriented programming languages Data types Source code ML Lisp Programming language Macro Type safety Anonymous function HOL
509	Krajowa Izba Rozliczeniowa S.A. Schema XSD opisująca typy dokumentów obsługiwane w Systemie invooclip Add to Reading List Source URL: www.kir.pl Language: English - Date: 2014-11-28 11:55:53 Functional languages Procedural programming languages Concurrent programming languages XS ML Oz
510	Word-Dokumentvorlage Version 1.2 (ML); RK Add to Reading List Source URL: www1.ethz.ch Language: German

UPDATE