1. Mentioned In 74 Articles

2. Scrap your type applications

   Microsoft Research Home (Jul 17 2008) Explore Article

   ... 2008. 1 Introduction The polymorphic lambda calculus or System F is ubiquitous in many areas of computer science such as logic, e.g. (Girard et al. 1989; Girard 1990), programming, e.g. (Reynolds 1974), theorem-p...
   

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

3. 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 ...
   

   Comment on Article Mentions:   Computer Science   Haskell

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

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

   ...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...
   

   Comment on Article Mentions:   Roland Backhouse   Huiqing Li   Jeremy Gibbons

5. 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 Haske...
   

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

6. 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...
   

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

7. 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 H...
   

   Comment on Article Mentions:   Acm Sigplan   Emil Axelsson   Michael Hanus

8. 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...
   

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

9. 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...
   

   Comment on Article Mentions:   Scheme   Paul Hudak   Unicode

10. #!

    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...
    

    Comment on Article Mentions:   Scheme   Paul Hudak   Unicode

11. 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...
    

    Comment on Article Mentions:   Erlang   Scheme   Haskell

12. Not as Pessimistic

    Lambda the Ultimate (Jun 12 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...
    

    Comment on Article Mentions:   Paul Hudak   Chris Okasaki   Matthias Felleisen

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

    reddit.com (Jun 10 2008) Explore Article

    ...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...
    

    Comment on Article Mentions:   Haskell   Computer Science   Erlang

14. Http://Dis.Um.Es/~Alberto/Res/Publish-M.Html

    dis.um.es (Jun 9 2008) Explore Article

    ...teos, G., García, A., Vicente, C., Ruiz, A., López de Teruel, P.E. (2005). “ , Lecture Notes in Computer Science, VOL. 3617, Cagliari, Italy, 6-9-2005. López-de-Teruel, P.E., Ruiz, A., García-Mateos, G., Garcí...
    

    Comment on Article Mentions:   Computer Science

15. A Computer Science Undergraduate Education for Under $1000

    redline6561.livejournal.com (Jun 9 2008) Explore Article

    ... post proposes a list of texts suitable for a rigorous and well-rounded foundation in Undergraduate Computer Science. A future post will cover the philosophical details and practical implementation of such an approac...
    

    Comment on Article Mentions:   Chris Okasaki   Matthew Flatt   Matthias Felleisen

16. Where did all the PHP programmers go?

    Blog of Leonid Mamchenkov (Jun 4 2008) Explore Article

    ...eaver is taken away.  What I cannot understand is why people with more than one Bachelor Degree in Computer Science recommend using bubble sort.  What I cannot understand is why programmers start teaching the poten...
    

    Comment on Article Mentions:   Google   Computer Science   Microsoft

1-15 of 74 // 1 2 3 4 5 »