Haskell - PDFSEARCH.IO - Document Search Engine

Haskell
Results: 1146

#	Item
511	Towards Tool Support for History Annotations in Similarity Management Extended Abstract Thomas Schmorleiz and Ralf L¨ammel Software Languages Team, Department of Computer Science, University of Koblenz-Landau, Germany Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Reference Git Similarity Annotation Haskell KeY Software Computer programming Computing
512	Tikhon Jelvis http://jelv.is http://github.com/TikhonJelvis B [removed] T[removed] Add to Reading List Source URL: jelv.is Language: English - Date: 2014-02-27 07:13:03 Functional languages Functional programming OCaml Gosu Haskell Read–eval–print loop Functional reactive programming JavaScript Satisfiability Modulo Theories Computing Software engineering Computer programming
513	Extensible Specifications for Automatic Re-Use of Specifications and Proofs Daniel Matichuk1 and Toby Murray1,2 1 2 Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:09:38 Computing Formal verification Isabelle Formal specification Microkernel Haskell B-Method L4 microkernel family Proof assistant Formal methods Theoretical computer science Applied mathematics
514	Alessandro Warth Address: 11666 Mayfield Ave., Apt. 201 Los Angeles, CA[removed]Phone: ([removed]E-mail: Add to Reading List Source URL: tinlizzie.org Language: English - Date: 2011-08-08 02:31:34 Functional languages Programming paradigms Viewpoints Research Institute JavaScript Smalltalk Conditional Object-oriented programming Haskell OCaml Software engineering Computing Computer programming
515	lavande_press_release[removed] Add to Reading List Source URL: houseoflavande.com Language: English - Date: 2009-05-07 15:37:19 Miriam Haskell Kenneth Jay Lane Visual arts Necklace Clothing Jewellery Costume jewelry Fashion
516	Functional High Performance Financial IT The Hiperfit? Research Center in Copenhagen – Project Paper – Jost Berthold1 , Andrzej Filinski1 , Fritz Henglein1 , Ken Friis Larsen1 , Mogens Steffensen2 , and Brian Vinter3 Add to Reading List Source URL: hiperfit.dk Language: English Programming paradigms Functional languages Parallel computing Array programming languages Models of computation NESL Haskell Parallel programming model Declarative programming Computing Software engineering Computer programming
517	abstract Task Oriented Programming with Purely Compositional Interactive Vector Graphics Peter Achten Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Functional languages Generic programming Haskell Literate programming International Conference on Functional Programming Domain-specific language Combinatory logic ALGOL 68 Software engineering Computing Programming language theory
518	Making a Century in HERMIT Extended Abstract Neil Sculthorpe Computer Science Department Swansea University {N.A.Sculthorpe}@swansea.ac.uk Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Higher-order functions Functional languages Functional programming Automated theorem proving Type theory Haskell Fold Map QuickCheck Software engineering Computing Declarative programming
519	Frontmatter/Jacobs:41 AM Add to Reading List Source URL: bwaf.org Language: English - Date: 2011-02-02 16:09:04 Interstate 78 Jane Jacobs The Death and Life of Great American Cities Architecture Douglas Haskell Urban design William H. Whyte Urban renewal Dark Age Ahead Community building Anti-road protest Civil society
520	General Purpose GPU Computing @ Programming Languages & Systems Manuel M. T. Chakravarty University of New South Wales, Sydney Manuel Chakravarty Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2009-04-17 12:07:15 Graphics hardware Video cards Functional languages GPGPU Programming paradigms Haskell CUDA Functional programming Parallel computing Computing Software engineering Computer programming

UPDATE