ALGOL - PDFSEARCH.IO - Document Search Engine

ALGOL
Results: 3193

#	Item
221	Ambivalent Types for Principal Type Inference with GADTs APLAS 2013, Melbourne Jacques Garrigue & Didier R´ Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2013-12-10 00:25:45 Type theory Procedural programming languages Functional languages Data types Type systems Type inference ALGOL 68 OCaml Hindley–Milner Software engineering Programming language theory Computing
222	Afghanistan Comprehensive Health Information System Strategic PlanImplementation Plan Details of activities under each intervention Add to Reading List Source URL: moph.gov.af Language: English - Date: 2014-12-05 22:59:10 Software engineering Data quality Computing Programming language theory Needs assessment ALGOL 68
223	Algorithms and Data Structures, FallSorting Rasmus Pagh Based on slides by Kevin Wayne, Princeton Add to Reading List Source URL: itu.dk Language: English - Date: 2011-09-12 05:30:58 Software engineering C++ Standard Library Object-oriented programming C++ ALGOL 68 Sort Insertion sort Sequence container C++ classes Computer programming Computing Sorting algorithms
224	Concepts and terminology in the Simula Programming Language An introduction to Simula for a presentation in “Sonen” Stein Krogdahl Department of Informatics University of Oslo, Norway Mach 2015 Add to Reading List Source URL: folk.uio.no Language: English - Date: 2015-03-16 15:08:15 Object-oriented programming Simula Ole-Johan Dahl BETA Inheritance Object ALGOL C++ Library Software engineering Computing Computer programming
225	Towards native higher-order remote procedure calls Olle Fredriksson Dan R. Ghica Bertram Wheen Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2015-02-17 11:40:06 Subroutines Procedural programming languages Tree traversal Stack Pointer Closure ALGOL 68 SECD machine Tree Software engineering Computing Computer programming
226	COMMERCIAL IN CONFIDENCE IFS Interface Specification DIADEMDIADEM Web Service Interface Add to Reading List Source URL: boligejer.dk Language: English ALGOL 68 Information Services Procurement Library Windows Installer World Wide Web System software Computing Software
227	Doc. No: 1S-27-MREPORT from the 27th Session of the International Sava River Basin Commission October 12-13, 2011 Add to Reading List Source URL: www.savacommission.org Language: English - Date: 2011-11-02 07:17:38 Sava United Nations ALGOL 68 Software engineering Serbia Danube Programming language theory International Sava River Basin Commission
228	Лекции «Методология и методика полевых исследований грибов» Преподаватели: проф., д.б.н. Владимир Петрович Прохоров, доц Add to Reading List Source URL: mycol-algol.ru Language: Russian - Date: 2015-02-27 04:39:21
229	.,i 7It o o 17fo-33O04/99 REOD. NO. D. Add to Reading List Source URL: www.nia.gov.in Language: English - Date: 2013-10-24 08:16:25 Union Public Service Commission System time ALGOL 68 Newline Computing Software engineering Programming language theory
230	Chaperones and Impersonators: Run-time Support for Reasonable Interposition T. Stephen Strickland Sam Tobin-Hochstadt Northeastern University {sstrickl,samth}@ccs.neu.edu Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-05-11 21:04:51 Object-oriented programming Vectors Linear algebra Abstract algebra Proteins Immutable object Chaperone ALGOL 68 Racket Algebra Computing Software engineering

UPDATE