Articles mentioning both Haskell and Computer Science

1-24 of 51 // 1 2 3 »

  1. Scrap your type applications

    Microsoft Research Home (Jul 17 2008) Explore Article

    ...e and Simon Peyton Jones. Derivable type classes. In Graham Hutton, editor, Proceedings of the 2000 Haskell Workshop, Montreal, September 2000. Nottingham University Department of Computer Science Technical Report NOTTCS-TR-00-1. Barry Jay and Delia Kesner. Pure pattern calculus. In Programming ... (Read Full Article)

    Comment on Article Mentions:   Benjamin C. Pierce   Jeremy Gibbons   Systems

  2. When Memes Attack

    Andrew Peters’ Blog (Jul 11 2008) Explore Article

    ...you when you started programming? 20. How did you get started in programming? I needed a career and Computer Science had to be more interesting than Econ 101 *shudder* - Conveniently, I actually enjoyed it. What was ......ted programming? Turbo Pascal, C, C++, PowerBuilder, Java, PL/SQL, VB/Script, JavaScript, Ruby, C#, Haskell. What was your first professional programming gig? Working on a land information system at the New ... (Read Full Article)

    Comment on Article Mentions:   Computer Science   Haskell

  3. 2008-010.pdf (application/pdf Object)

    cs.uu.nl (Jul 9 2008) Explore Article

    Comparing Libraries for Generic Programming in Haskell Alexey Rodriguez Johan Jeuring Patrik Jansson Alex Gerdes Oleg Kiselyov Bruno C. d. S. Oliveira De......editors, Programming Language Implementation and Logic Programming, volume 1140 of Lecture Notes in Computer Science, pages 1–16, 1996. Neil Mitchell and Colin Runciman. A static checker for safe pattern matching i... (Read Full Article)

    Comment on Article Mentions:   Roland Backhouse   Huiqing Li   Jeremy Gibbons

  4. A functional-logic library for wired

    The ACM Portal (Jul 7 2008) Explore Article

    ...rence on Correct Hardware Design and Verification Methods (CHARME), volume 3725 of Lecture Notes in Computer Science. Springer Verlag, October 2005. Koen Claessen and Peter Ljunglöf. Typed logical variables in Haskell. In P Matthew Naylor University of York, York, Great Britain Emil Axelsson Chalmers University of T... (Read Full Article)

    Comment on Article Mentions:   Daniel P.   Acm Sigplan   Emil Axelsson

  5. Amazon.com: Purely Functional Data Structures: Chris Okasaki: Books

    Amazon.com (Jul 7 2008) Explore Article

    ...nctional programming, exploring a wide range of data structures...a significant contribution to the computer science literature." Computing Reviews Product Description Most books on data structures assume an imperati......tures for these languages do not always translate well to functional languages such as Standard ML, Haskell, or Scheme. This book describes data structures from the point of view of functional languages, wit... (Read Full Article)

    Comment on Article Mentions:   Roland Backhouse   Computer Science   Cambridge University Press

  6. http://www.cs.chalmers.se/ ~emax/wired/documents/LP_HFL07 .pdf

    cs.chalmers.se (Jul 7 2008) Explore Article

    ...ence on Correct Hardware Design and Verification Methods (CHARME), volume 3725 of Lecture Notes in Computer Science. Springer Verlag, October 2005. [2] Koen Claessen and Peter Ljungl¨f. Typed logical variables in Haskell. In Proc. o of Haskell Workshop. ACM SIGPLAN, 2000. [3] Michael Hanus, Herbert Kuchen, and Jose Moreno-Navarro. Curry: A T... (Read Full Article)

    Comment on Article Mentions:   Acm Sigplan   Emil Axelsson   Michael Hanus

  7. Björn Bringert

    cs.chalmers.se (Jun 17 2008) Explore Article

    This is the personal homepage of . I am a PhD student at the Department of Computer Science and Engineering at Chalmers University of Technology and University of Gothenburg. I am also one of......echnology and University of Gothenburg. I am also one of the partners and founders of Well-Typed, a Haskell consultancy company. Contact Email: bringert@chalmers.se. Office phone: +46 (0)31 772 1041. Office ... (Read Full Article)

    Comment on Article Mentions:   Björn Bringert   Chalmers University of Technology   Haskell

  8. Functional Programming FAQ

    Lambda the Ultimate (Jun 17 2008) Explore Article

    ...re at our antipode! When I was an undergrad in 1992 doing Mathematics and Computation (there was no Computer Science course in those days) our very first lecture was in Functional Programming. About half of the stude......"This functional stuff is really interesting and powerful" people? Is it possible? As knowing FP or Haskell "doesn't get you a job", you are only really going to interest those people who like computing ... (Read Full Article)

    Comment on Article Mentions:   Scheme   Paul Hudak   Unicode

  9. #!

    Lambda the Ultimate (Jun 17 2008) Explore Article

    ...re at our antipode! When I was an undergrad in 1992 doing Mathematics and Computation (there was no Computer Science course in those days) our very first lecture was in Functional Programming. About half of the stude......"This functional stuff is really interesting and powerful" people? Is it possible? As knowing FP or Haskell "doesn't get you a job", you are only really going to interest those people who like computing ... (Read Full Article)

    Comment on Article Mentions:   Scheme   Paul Hudak   Unicode

  10. Interpreters

    Lambda the Ultimate (Jun 15 2008) Explore Article

    ...ubstantial programming experience, and many of us have (or are working on) post-graduate degrees in Computer Science. A select few of the LtU crew are actually quite famous, especially among programmers. Though you h...... you can't get some of us to expound on something or another. Work on learning Scheme, Common Lisp, Haskell, OCaml, or SML, and learn one of these languages well. (This will take a few years.) Don't ... (Read Full Article)

    Comment on Article Mentions:   Erlang   Scheme   Haskell

  11. programming: The real reason people like programming in Haskell

    reddit.com (Jun 10 2008) Explore Article

    The real reason people like programming in Haskell (indeed.com) submitted 3 hours ago by dons * 21 comments sort by: hot newcontroversialtopold souk 1......ockets, grid computing, Black-Scholes. Cutting edge programmer, should have top education, Awards, Computer Science Degree and INTERNSHIPS. You will be responsible for building in .NET both real-time, Order Managmen... (Read Full Article)

    Comment on Article Mentions:   Haskell   Computer Science   Erlang

  12. Compiling Embedded Languages

    Conal Elliott's home page (Jun 4 2008) Explore Article

    ...) language, but is completely out of the picture at run-time. Unlike most macro languages, however, Haskell is statically typed and higher order, and is more expressive and convenient than the underlying tar......the third International Summer School on Advanced Functional Programming, Springer Lecture Notes in Computer Science, 1999. http://users.comlab.ox.ac.uk/oege.demoor/papers/braga.ps.gz. 2. Conal Elliott. A Pan image g... (Read Full Article)

    Comment on Article Mentions:   Landin   Acm Sigplan   Paul Hudak

  13. Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming

    cs.vu.nl (May 28 2008) Explore Article

    ... e European Symposium on Programming (ESOP 2002), Grenoble, France, number 2305 in Lecture Notes in Computer Science, pages 98–114. Springer Verlag, 2002. [38] N. Winstanley. A type-sensitive preprocessor for Haskell. In Glasgow Workshop on Functional Programming, Ullapool, 1997. (Read Full Article)

    Comment on Article Mentions:   Tony Hoare   Symbolic Computation   Colin Runciman

  14. Haskell's overlooked object system (pdf)

    homepages.cwi.nl (May 20 2008) Explore Article

    ...ible Records and Variants. Technical report NOTTCS-TR-96-3. University of Nottingham, Department of Computer Science. H. Nilsson. (2003). The Future of Haskell discussion at the Haskell Workshop. Message on the Haskell mailing list, http://www.mail-archive.com/haskell\spacefactor\ @mhaskell.org/msg13366.html. Hallgren, T. (2001). Fun with functional dependencies. Joint Winter Meeting of t... (Read Full Article)

    Comment on Article Mentions:   Lennart Augustsson   Computer Science   Haskell

  15. Hardware Design and Functional Programming: a Perfect Match

    jucs.org (May 9 2008) Explore Article

    ...n Lava, in which a µFP- or Lustre-like language is embedded in the functional programming language Haskell [Bjesse et al., 1998, Claessen et al., 2001], the definition of the tally is It takes a list of bit......it design. In Correct Hardware Design and Verification Methods, CHARME, to appear, Lecture Notes in Computer Science. Springer. [Backus, 1978] Backus, J. (1978). Can programming be liberated from the von Neumann styl... (Read Full Article)

    Comment on Article Mentions:   Emil Axelsson   Advanced Functional Programming   Mary Sheeran

  16. Category Theory and the category of Haskell programs : Part 1

    alpheccar's blog (Apr 17 2008) Explore Article

    ... objects A,B,C ... and some processes f,g,h ... I'll note a process f applied to A to get B with an Haskell syntax: A is the domain of f and B the codomain. It is wrong to say that the image of f is included... (Read Full Article)

    Comment on Article Mentions:   Haskell   Computer Science

  17. Bernie Pope's papers page

    cs.mu.oz.au (Apr 16 2008) Explore Article

    ...dvanced Functional Programming, 5th International School, AFP 2004, volume 3622 of Lecture Notes in Computer Science, pages 331-357. Springer Verlag, September 2005. A Declarative Debugger for Haskell. My PhD thesis. Completed December 2006. (2.4M) Getting a Fix from the Right Fold. A tutorial in Is... (Read Full Article)

    Comment on Article Mentions:   Bernie Pope   Haskell   Springer Verlag

  18. The Monad.Reader Issue 10

    Haskell (Apr 8 2008) Explore Article

    ...ance reasons, C appears to be the implementation language of choice. This article presents a simple Haskell interpreter – called the Haskell Haskell interpreter, or hhi for short – that is written in Haskell and that performs quite competitively with Hugs and GHCi. The key idea is to inherit the graph redu......reter of lambda calculus o having a normal form. In CSL ’92: Selected Papers from the Workshop on Computer ... (Read Full Article)

    Comment on Article Mentions:   Acm Sigplan   Lennart Augustsson   Neil Mitchell

  19. A Domain-Specific Embedded Language for Probabilistic Programming

    College of Engineering (Apr 8 2008) Explore Article

    ...c embedded language (DSEL) for performing probabilistic computation in a pure functional language (Haskell). The DSEL is applied to a real problem outside the domain of computer science. 1.1. Background This thesis ties together the seemingly disparate concepts of domainspecific emb... (Read Full Article)

    Comment on Article Mentions:   Martin Erwig   Cardelli   Theoretical Computer Science

  20. Johan Jeuring's blog: Finding palindromes

    Johan Jeuring's blog (Apr 8 2008) Explore Article

    ...you read it backwards or forwards, for example the word `refer'. When I started as a PhD student in Computer Science in 1988, my professor gave the following problem assignment to me. Construct an algorithm that, whe......blog message explains how to find palindrome substrings in linear time. I will develop a program in Haskell for finding exact palindromes. The problem of finding approximate palindromes is left as an exercis... (Read Full Article)

    Comment on Article Mentions:   Johan Jeuring   Haskell   Computer Science

  21. Haskell/Laziness - Wikibooks, collection of open-content textbooks

    Main Page (Apr 8 2008) Explore Article

    ...ht difference between laziness and nonstrictness. Nonstrict semantics refers to a given property of Haskell programs that you can rely on: nothing will be evaluated until it is needed. Lazy evaluation is how......ramming is to write code that is maintainable and clear, this is a big bonus! However, as always in Computer Science (and in life), a tradeoff exists (in particular, a space-time tradeoff). Using a thunk instead of a... (Read Full Article)

    Comment on Article Mentions:   Haskell   Computer Science   Hinze

  22. Type Classes Without Types

    repository.readscheme.org (Apr 2 2008) Explore Article

    ...ric functions into coherent interfaces. This paper describes and discusses a mechanism, inspired by Haskell type classes, for implementing generic functions in Scheme that directly addresses the aforemention......oceedings of the European Conference on Object-Oriented Programming, volume 615 of Lecture Notes in Computer Science, pages 33–56, 1992. C. Chambers. The Cecil language: Specification and rationale. Technical Repo... (Read Full Article)

    Comment on Article Mentions:   Daniel P.   Peter Thiemann   Jean-Yves Girard

  23. Compiling Haskell to Java - Mark Tullsen

    cs.yale.edu (Mar 29 2008) Explore Article

    fascinating old (1996) paper on the implementation of haskell on top of the jvm, and what a bitch it was due to java's lack of pointers, first class Compiling Haskell to Java Mark Tullsen Department of Computer Science Yale University New Haven, CT 06520-8285 tullsen@cs.yale.edu Research Report YALEU/DCS/RR-1204 May ... (Read Full Article)

    Comment on Article Mentions:   Computer Architecture   Sun Microsystems   Prentice Hall

  24. [Haskell] Comments from Brent Fulgham on Haskell and the shootout

    The Mail Archive (Mar 26 2008) Explore Article

    Brent Fulgham has given me permission to share this message that he sent to us about his views on Haskell and the Great Computer Language Shootout. There's some nice advocacy material in here. I'd like to ...... implementations to use as ammunition against my nay- saying coworkers over the state of the art in Computer Science. Back in those days, I was mainly interested in the performance of Objective Caml ... (Read Full Article)

    Comment on Article Mentions:   Haskell   Computer Science   Haskell-Cafe

1-24 of 51 // 1 2 3 »
Home All Articles Entities Quotes Comments Login Register Powered by HiveFire