Ulf - PDFSEARCH.IO - Document Search Engine

Ulf
Results: 687

#	Item
681	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
682	Dependently Typed Programming in Agda Ulf Norell1 and James Chapman2 1 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-01-03 03:47:11 Programming language theory Data types Functional programming Functional languages Type system Agda Intuitionistic type theory Dependent type Function Software engineering Declarative programming Type theory
683	Curriculum Vitæ Add to Reading List Source URL: www.swedenabroad.com Language: English - Date: 2012-03-23 10:32:20 Swedish nobility Carl Bildt Ministry for Foreign Affairs Moderate Party Ulf Dinkelspiel Anna Maria Corazza Bildt Sweden Jonas Hafström Prime Ministers of Sweden
684	PDF Document Add to Reading List Source URL: www.nobanis.org Language: English - Date: 2013-02-11 07:25:52 Fauna of Asia Raccoon Procyon Ulf Hohmann Mesopredator release hypothesis Baylisascaris procyonis Island raccoon Guadeloupe raccoon Procyonidae Zoology Biology
685 $Metamaterials / Optics / Materials science / Photonic metamaterial / Cloaking device / Invisibility / Polarizer / Ulf Leonhardt / Refractive index / Physics / Electromagnetism / Nanomaterials$	PDF Document Add to Reading List Source URL: cobweb.ecn.purdue.edu Language: English Metamaterials Optics Materials science Photonic metamaterial Cloaking device Invisibility Polarizer Ulf Leonhardt Refractive index Physics Electromagnetism Nanomaterials
686	PDF Document Add to Reading List Source URL: gsb.haifa.ac.il Language: English - Date: 2008-05-18 03:25:30 Psychologists Ulf-Dietrich Reips Knowledge Web-based experiments Marketing Web Experimental Psychology Lab Internet World Wide Web Psychology Science Research methods Scientific method
687	PDF Document Add to Reading List Source URL: fds.oup.com Language: English - Date: 2008-04-30 08:11:31 Psychology Ulf-Dietrich Reips Sheizaf Rafaeli Social psychology Behavioural sciences Behavior Science

UPDATE