Agda - PDFSEARCH.IO - Document Search Engine

Agda
Results: 93

#	Item
51	Christopher Guy cordially invites you to the launch of Oscar -winning filmmaker and renowned graphic designer ® Arnold Schwartzman’s RETROSPECTIVE exhibition Add to Reading List Source URL: www.agda.com.au - Date: 2015-02-05 21:32:17
52	FOR IMMEDIATE RELEASE CHRISTOPHER GUY SHOWROOM TO HOST RETROSPECTIVE OF WORK OF BRITISH OSCAR-WINNING FILMMAKER AND GRAPHIC DESIGNER West Hollywood, January 15th, [removed]Christopher Guy’s stunning West Add to Reading List Source URL: www.agda.com.au Language: English - Date: 2015-02-05 21:32:19 Christopher Guy Harrison Communication design
53	ND… Corporate Partner Opportunities with AGDA : [removed] Who is AGDA? The Australian Graphic Design Association Limited Add to Reading List Source URL: www.agda.com.au Language: English - Date: 2014-08-11 02:24:02 Advertising Computing Software Functional languages Agda
54	Oscar-winner’s vow for Margate movie to be his swansong Molly Kersey speaks to Arnold Schwartzman, the acclaimed movie maker and designer, on his most personal project yet Add to Reading List Source URL: www.agda.com.au Language: English - Date: 2015-02-05 21:32:11 Thanet Cliftonville Genocide Kent Counties of England Margate
55	Dependent Type Providers David Raymond Christiansen IT University of Copenhagen [removed] Abstract Add to Reading List Source URL: itu.dk Language: English - Date: 2013-07-29 03:28:29 Computing Data types Functional languages Object-oriented programming Functional programming Type system Generalized algebraic data type Agda Dependent type Software engineering Type theory Programming language theory
56	Dependent Types at Work Ana Bove and Peter Dybjer Chalmers University of Technology, G¨ oteborg, Sweden {bove,peterd}@chalmers.se Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-09-04 09:56:00 Type theory Functional languages Lambda calculus Logic in computer science Theory of computation Agda Intuitionistic type theory Dependent type Typed lambda calculus Software engineering Programming language theory Theoretical computer science
57	[Faculty of Science Information and Computing Sciences] Terminating combinator parsers in Agda Andres L¨oh based on work by Nils Anders Danielsson and Ulf Norell Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Computing Haskell Agda Function Factorial Combinatory logic Haskell 98 features Mathematics Software engineering Functional languages
58	Expanding the Universe Andres Löh with lots of inspiration from José Pedro Magalhães and Conor McBride 23 May 2011 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Functional languages Type theory Generic programming Data types Functional programming Agda Haskell Type class Dependent type Software engineering Computing Computer programming
59	[Faculty of Science Information and Computing Sciences] Indexed fixed points Andres Löh Dept. of Information and Computing Sciences, Utrecht University Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Software Haskell Literate programming Agda Functional languages Software engineering Computing
60	Dependent Types for an Adequate Programming of Algebra Sergei D. Meshveliani ? Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-06 08:56:04 Functional languages Agda Haskell Proof assistant Dependent type Fold Functional programming Q Type system Software engineering Computing Programming language theory

UPDATE