ALF - PDFSEARCH.IO - Document Search Engine

ALF
Results: 628

#	Item
621	A Brief Overview of Agda – A Functional Language with Dependent Types Ana Bove, Peter Dybjer, and Ulf Norell Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-09-21 05:09:48 Type theory Dependently typed programming Functional languages Data types Literate programming Agda ALF Dependent type Proof assistant Programming language theory Software engineering Computing
622	PDF Document Add to Reading List Source URL: ocvs.cfv.jp Language: English - Date: 2007-02-22 06:02:29 Agda Haskell Emacs ALF Type theory Dependent type Coq Lambda calculus Functional programming Software Computing Functional languages
623	PDF Document Add to Reading List Source URL: www.wyongdramagroup.com.au Language: English - Date: 2010-10-29 22:26:48 ALF Hughie Television Modern history The One Day of the Year Alan Seymour Anzac Day
624	BLOGchap01A.pdf Add to Reading List Source URL: www.poppyland.co.uk Language: English - Date: 2006-05-07 15:38:06 SS English Trader Henry Blogg Cromer Henry Thomas Davies Alf Royal National Lifeboat Institution Sheringham Overstrand SS Georgia Norfolk Counties of England North Norfolk
625	PDF Document Add to Reading List Source URL: www.praxisprovides.com Language: English - Date: 2010-10-15 10:45:07 Alf Rhineland-Palatinate Bewdley Geography of England Counties of England Kidderminster Alf Tabb
626	PDF Document Add to Reading List Source URL: www.austms.org.au Language: English - Date: 2011-03-07 16:50:50 George Szekeres Medal George Szekeres States and territories of Australia Alf University of New South Wales Applied mathematics Robert Tijdeman International Mathematical Union Mathematics Academia Ian Sloan
627	PDF Document Add to Reading List Source URL: milwaukeeroadarchives.com Language: English - Date: 2008-04-27 07:42:16 Chicago Milwaukee St. Paul and Pacific Railroad Milwaukee Wisconsin Ski jumping Alf Engen Manganese Rail transportation in the United States Transportation in the United States Norway Ski Club
628	PDF Document Add to Reading List Source URL: www.boardgamestudies.info Language: English - Date: 2008-08-11 11:58:41 African games Tâb Jæren Alf Næsheim Running-fight game Varhaug Nærbø Sáhkku Dice Games Hå Daldøs

UPDATE