RSS

earl + haskell   53

cloud haskell (duncan coutts)
actors  distributed-programming  erlang  haskell  from delicious
7 weeks ago by earl
monads in c++ (bartosz milewski)
"You have to understand that compile-time C++ is a strict functional language operating (mostly) on types."
metaprogramming  c++-templates  monads  haskell  c++  from delicious
february 2012 by earl
simon peyton-jones and john hughes - it's raining haskell (channel 9)
haskell  video  watch  from delicious
january 2012 by earl
#1582 (llvm optimisation passes / tables next to code) – haskell.org google summer of code
gsoc-2011  haskell  llvm  from delicious
february 2011 by earl
merging smt solvers and programming languages (galois blog)
✓  haskell  dsl  logic  smt  from delicious
january 2011 by earl
haskell and hardware for the holidays « a critical systems blog
✕  arduino  haskell  copilot  edsl  from delicious
december 2010 by earl
galois › blog › blog » galois releases the haskell lightweight virtual machine (halvm)
haskell  os  xen  bare-metal  from delicious
december 2010 by earl
quasi-quoting: ascii art to define data structures (tim carstens)
✓  haskell  edsl  bitstrings  from delicious
july 2010 by earl
the lava hardware description language
hdl  haskell  fpga  from delicious
june 2010 by earl
llvm project blog: the glasgow haskell compiler and llvm
✓  llvm  ghc  haskell  from delicious
may 2010 by earl
a partial ordering of some category theory applied to haskell (sigfpe)
math  category-theory  haskell 
march 2010 by earl
jlouis's haskell-torrent at master - github
haskell  bittorrent  code 
january 2010 by earl
a neighborhood of infinity: programming with impossible functions, or how to get along without monads.
✕  monads  haskell 
january 2010 by earl
winging it (by conor mcbride)
types  monads  haskell 
december 2009 by earl
types in haskell: types are propositions, programs are proofs : good math, bad math
✕  types  curry-howard  haskell 
december 2009 by earl
low level virtual machine for glasgow haskell compiler
article  research  lambda  llvm  haskell  ghc  by:terei  year:2009 
november 2009 by earl
criterion, a new benchmarking library for haskell (bryan o'sullivan's blog)
✓  ☆  haskell  statistics  benchmark 
october 2009 by earl
hoopl: dataflow optimization made simple (abstract)
article  research  lambda  dataflow  haskell  by:ramsey  by:dias  by:peyton-jones  year:2009 
august 2009 by earl
A little fun with Haskabelle
haskell  isabelle  formal-verification 
july 2009 by earl
manuel m t chakravarty - data parallel haskell
lambda  research  haskell  data-parallel  dph 
march 2009 by earl
custom query - haskell.org google summer of code - trac
da  haskell  project-ideas 
march 2009 by earl
just testing - this is the performance of a dot product of two...
✓  haskell  data-parallel 
march 2009 by earl
why attribute grammars matter - tmrwiki
✓  lambda  haskell  attribute-grammar 
february 2009 by earl
gpu kernels as data-parallel array computations in haskell
article  research  lambda  haskell  gpgpu  data-parallel  by:lee  by:chakravarty  by:grover  by:keller  year:2009 
february 2009 by earl
monads in 15 minutes: backtracking and maybe
monads explained using join, map and return (instead of the usual bind and return)
✓  monads  haskell 
january 2009 by earl
a neighborhood of infinity: you could have invented monads! (and maybe you already have.)
✓  monads  haskell 
january 2009 by earl
longing for higher-kinded c#
very nice intro to "kinds" and their value in type systems
✓  ☆  lambda  types  haskell  c# 
january 2009 by earl
a neighborhood of infinity: the mother of all monads
Cont!
✓  monads  continuations  haskell  lambda 
december 2008 by earl
ghc/data parallel haskell - haskellwiki
data-parallel  haskell 
december 2008 by earl
all about monads
"It is useful to think of a monad as a strategy for combining computations into more complex computations."
monads  haskell 
december 2008 by earl
monad laws (haskellwiki)
✓  monads  haskell 
december 2008 by earl
lazy lexing is fast (citeseerx)
✕  parsing  article  lambda  haskell  by:chakravarty  year:1999 
december 2008 by earl
comprehensive comprehensions
"We propose an extension to list comprehensions that makes it easy to express the kind of queries one would write in SQL using ORDER BY, GROUP BY, and LIMIT."
article  research  lambda  haskell  collections  by:wadler  by:peyton-jones  year:2008 
november 2008 by earl
björn edström: let's build an mp3-decoder!
mp3  haskell  via:chl 
october 2008 by earl
Real World Haskell
book  haskell  free:cc 
july 2008 by earl
Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus)
article  research  lambda  haskell  f-omega  by:loeh  by:mcbride  by:swierstra  year:2007 
july 2007 by earl
Lightweight concurrency primitives for GHC
good pointers to related work on concurrency implementation substrates
article  research  lambda  concurrency  ghc  haskell  stm  ptm  by:li  by:tolmach  by:marlow  by:peyton-jones  year:2007  filetype:pdf  media:document 
july 2007 by earl
Haskell Study Plan
types, modules, classes, monads, phantom types, existential types, gadts
tutorial  haskell  monads 
february 2007 by earl
Rewriting Haskell Strings
article  research  lambda  haskell  ghc  term-rewriting  by:coutts  by:stewart  by:leshchinskiy  year:2007 
february 2007 by earl
Scrap your boilerplate with XPath-like combinators
article  research  lambda  syb  xpath  xml  haskell  c#  by:laemmel  year:2007 
january 2007 by earl
JavaGI: Generalized Interfaces for Java
article  research  lambda  java  haskell  oo  type-classes  javagi  by:wehr  by:laemmel  by:thiemann  year:2006 
december 2006 by earl
Comparing Approaches to Generic Programming in Haskell (PDF)
article  research  lambda  haskell  syb  generics  by:hinze  by:jeuring  by:loeh  year:2006  filetype:pdf  media:document 
december 2006 by earl
Data Parallel Haskell: a status report
article  research  lambda  haskell  array  data-parallel  parallelism  year:2006  by:chakravarty  by:leshchinskiy  by:peyton-jones  by:keller  by:marlow 
november 2006 by earl
Writing A Lisp Interpreter In Haskell (defmacro)
article  tutorial  haskell  lisp  lambda 
november 2006 by earl
Bluish Coder: Space Invaders Emulator in Haskell
haskell  vm 
may 2006 by earl
Typed Combinators for Generic Traversal
haskell  syb  research  article  lambda  by:laemmel  by:visser 
april 2006 by earl
Scrap your boilerplate ... in Haskell
haskell  research  syb  lambda  by:peyton-jones  by:laemmel 
april 2006 by earl
Write Yourself a Scheme in 48 hours
haskell  scheme  tutorial  lambda 
april 2006 by earl
The Essence of the Iterator Pattern (PDF)
article  research  lambda  monads  idiom  haskell  by:gibbons  by:oliveira  ✕  filetype:pdf  media:document 
april 2006 by earl
Confessions Of A Used Programming Language Salesman (PDF)
article  research  haskell  xml  linq  msr  ✕  by:meijer  filetype:pdf  media:document 
april 2006 by earl
A generic functional programming language (aka the SYB++ papers)
lambda  haskell  syb  research 
march 2006 by earl
google's mapreduce programming model -- revisited
discusses mapreduce by (semi-)formalizing it in haskell
mapreduce  haskell  msr  google  ✕  research  article  by:laemmel 
march 2006 by earl
ruby to c-- compiler in haskell
lambda  compiler  haskell  ruby  c-- 
january 2006 by earl

related tags

actors ⊕  arduino ⊕  array ⊕  article ⊕  attribute-grammar ⊕  bare-metal ⊕  benchmark ⊕  bitstrings ⊕  bittorrent ⊕  book ⊕  by:chakravarty ⊕  by:coutts ⊕  by:dias ⊕  by:gibbons ⊕  by:grover ⊕  by:hinze ⊕  by:jeuring ⊕  by:keller ⊕  by:laemmel ⊕  by:lee ⊕  by:leshchinskiy ⊕  by:li ⊕  by:loeh ⊕  by:marlow ⊕  by:mcbride ⊕  by:meijer ⊕  by:oliveira ⊕  by:peyton-jones ⊕  by:ramsey ⊕  by:stewart ⊕  by:swierstra ⊕  by:terei ⊕  by:thiemann ⊕  by:tolmach ⊕  by:visser ⊕  by:wadler ⊕  by:wehr ⊕  c# ⊕  c++ ⊕  c++-templates ⊕  c-- ⊕  category-theory ⊕  code ⊕  collections ⊕  compiler ⊕  concurrency ⊕  continuations ⊕  copilot ⊕  curry-howard ⊕  da ⊕  data-parallel ⊕  dataflow ⊕  distributed-programming ⊕  dph ⊕  dsl ⊕  edsl ⊕  erlang ⊕  f-omega ⊕  filetype:pdf ⊕  formal-verification ⊕  fpga ⊕  free:cc ⊕  generics ⊕  ghc ⊕  google ⊕  gpgpu ⊕  gsoc-2011 ⊕  haskell ⊖  hdl ⊕  idiom ⊕  isabelle ⊕  java ⊕  javagi ⊕  lambda ⊕  linq ⊕  lisp ⊕  llvm ⊕  logic ⊕  mapreduce ⊕  math ⊕  media:document ⊕  metaprogramming ⊕  monads ⊕  mp3 ⊕  msr ⊕  oo ⊕  os ⊕  parallelism ⊕  parsing ⊕  project-ideas ⊕  ptm ⊕  research ⊕  ruby ⊕  scheme ⊕  smt ⊕  statistics ⊕  stm ⊕  syb ⊕  term-rewriting ⊕  tutorial ⊕  type-classes ⊕  types ⊕  via:chl ⊕  video ⊕  vm ⊕  watch ⊕  xen ⊕  xml ⊕  xpath ⊕  year:1999 ⊕  year:2006 ⊕  year:2007 ⊕  year:2008 ⊕  year:2009 ⊕  ☆ ⊕  ✓ ⊕  ✕ ⊕ 

Copy this bookmark:



description:


tags: