<?xml version="1.0" encoding="UTF-8"?>
 <rdf:RDF xmlns="http://purl.org/rss/1.0/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:cc="http://web.resource.org/cc/" xmlns:syn="http://purl.org/rss/1.0/modules/syndication/" xmlns:admin="http://webns.net/mvcb/">
  <channel rdf:about="http://pinboard.in">
    <title>Pinboard (earl)</title>
    <link>https://pinboard.in/u:earl/public/</link>
    <description>recent bookmarks from earl</description>
    <items>
      <rdf:Seq>	<rdf:li rdf:resource="https://reasonablypolymorphic.com/blog/towards-tactics/"/>
	<rdf:li rdf:resource="http://www.michaelburge.us/2017/08/31/roll-your-own-bitcoin-exchange.html"/>
	<rdf:li rdf:resource="https://github.com/haskell-miso/miso"/>
	<rdf:li rdf:resource="http://www.ittc.ku.edu/csdlblog/?p=88"/>
	<rdf:li rdf:resource="https://news.ycombinator.com/item?id=13274074"/>
	<rdf:li rdf:resource="http://uhsure.com/halvm3.html"/>
	<rdf:li rdf:resource="http://blog.ezyang.com/2016/07/what-template-haskell-gets-wrong-and-racket-gets-right/"/>
	<rdf:li rdf:resource="http://www.stephendiehl.com/posts/protolude.html"/>
	<rdf:li rdf:resource="http://programmers.stackexchange.com/questions/279316/what-exactly-makes-the-haskell-type-system-so-revered-vs-say-java/279362#279362"/>
	<rdf:li rdf:resource="http://okmij.org/ftp/continuations/generators.html"/>
	<rdf:li rdf:resource="http://blog.podsnap.com/ducers2.html"/>
	<rdf:li rdf:resource="http://haskell-servant.github.io/"/>
	<rdf:li rdf:resource="https://propellor.branchable.com/"/>
	<rdf:li rdf:resource="https://github.com/jaspervdj/hakyll"/>
	<rdf:li rdf:resource="https://github.com/jgm/yst"/>
	<rdf:li rdf:resource="http://galois.com/project/halvm/"/>
	<rdf:li rdf:resource="http://feedproxy.google.com/~r/ezyang/~3/JgcsQmUUj3k/"/>
	<rdf:li rdf:resource="https://app.doxiq.com/d/rbczklzyvgczkfgh/Getting-it-Done-with-Haskell-pdf"/>
	<rdf:li rdf:resource="http://blog.ezyang.com/2014/05/parsec-try-a-or-b-considered-harmful/"/>
	<rdf:li rdf:resource="http://dev.stephendiehl.com/hask/#cabal"/>
	<rdf:li rdf:resource="http://bob.ippoli.to/haskell-for-erlangers-2014/#/title"/>
	<rdf:li rdf:resource="http://dev.stephendiehl.com/hask/"/>
	<rdf:li rdf:resource="http://www.haskell.org/haskellwiki/APL"/>
	<rdf:li rdf:resource="http://www.mail-archive.com/haskell-cafe@haskell.org/msg107983.html"/>
	<rdf:li rdf:resource="http://chimera.labs.oreilly.com/books/1230000000929/index.html"/>
	<rdf:li rdf:resource="http://roscidus.com/blog/blog/2013/06/09/choosing-a-python-replacement-for-0install/"/>
	<rdf:li rdf:resource="http://adit.io/posts/2013-04-17-functors,_applicatives,_and_monads_in_pictures.html"/>
	<rdf:li rdf:resource="http://spin.atomicobject.com/2012/12/13/using-haskells-cmdargs-package/"/>
	<rdf:li rdf:resource="http://jaspervdj.be/hakyll/"/>
	<rdf:li rdf:resource="http://www.haskell.org/haskellwiki/Functional_Reactive_Programming"/>
	<rdf:li rdf:resource="https://github.com/dmbarbour/Sirea/blob/master/README.md"/>
	<rdf:li rdf:resource="http://sneezy.cs.nott.ac.uk/fun/2012-02/coutts-2012-02-28.pdf"/>
	<rdf:li rdf:resource="http://bartoszmilewski.com/2011/07/11/monads-in-c/"/>
	<rdf:li rdf:resource="http://channel9.msdn.com/Blogs/Charles/YOW-2011-Simon-Peyton-Jones-and-John-Hughes-Its-Raining-Haskell"/>
	<rdf:li rdf:resource="http://hackage.haskell.org/trac/summer-of-code/ticket/1582"/>
	<rdf:li rdf:resource="http://corp.galois.com/blog/2011/1/18/merging-smt-solvers-and-programming-languages.html"/>
	<rdf:li rdf:resource="http://leepike.wordpress.com/2010/12/18/haskell-and-hardware-for-the-holidays/"/>
	<rdf:li rdf:resource="http://www.galois.com/blog/2010/11/30/galois-releases-the-haskell-lightweight-virtual-machine-halvm/"/>
	<rdf:li rdf:resource="http://potential-lang.org/2010/07/02/quasi-quoting-ascii-art-to-define-data-structures/"/>
	<rdf:li rdf:resource="http://raintown.org/lava/"/>
	<rdf:li rdf:resource="http://blog.llvm.org/2010/05/glasgow-haskell-compiler-and-llvm.html"/>
	<rdf:li rdf:resource="http://blog.sigfpe.com/2010/03/partial-ordering-of-some-category.html"/>
	<rdf:li rdf:resource="http://github.com/jlouis/haskell-torrent/"/>
	<rdf:li rdf:resource="http://blog.sigfpe.com/2009/11/programming-with-impossible-functions.html"/>
	<rdf:li rdf:resource="http://strictlypositive.org/winging-jpgs/"/>
	<rdf:li rdf:resource="http://scienceblogs.com/goodmath/2009/11/types_in_haskell_types_are_pro.php"/>
	<rdf:li rdf:resource="http://llvm.org/pubs/2009-10-TereiThesis.html"/>
	<rdf:li rdf:resource="http://www.serpentine.com/blog/2009/09/29/criterion-a-new-benchmarking-library-for-haskell/"/>
	<rdf:li rdf:resource="http://www.cs.tufts.edu/~nr/pubs/dfopt-abstract.html"/>
	<rdf:li rdf:resource="http://www.nijoruj.org/~as/2009/04/20/A-little-fun.html"/>
	<rdf:li rdf:resource="http://www.cse.unsw.edu.au/~chak/project/dph/"/>
	<rdf:li rdf:resource="http://hackage.haskell.org/trac/summer-of-code/query?status=new&amp;status=assigned&amp;status=reopened&amp;group=topic&amp;type=proposed-project&amp;order=priority"/>
	<rdf:li rdf:resource="http://justtesting.org/post/83014052/this-is-the-performance-of-a-dot-product-of-two"/>
	<rdf:li rdf:resource="http://www.haskell.org/tmrwiki/WhyAttributeGrammarsMatter"/>
	<rdf:li rdf:resource="http://www.cse.unsw.edu.au/~chak/papers/LCGK09.html"/>
	<rdf:li rdf:resource="http://www.randomhacks.net/articles/2007/03/12/monads-in-15-minutes"/>
	<rdf:li rdf:resource="http://sigfpe.blogspot.com/2006/08/you-could-have-invented-monads-and.html"/>
	<rdf:li rdf:resource="http://www.bluebytesoftware.com/blog/2008/11/04/LongingForHigherkindedC.aspx"/>
	<rdf:li rdf:resource="http://sigfpe.blogspot.com/2008/12/mother-of-all-monads.html"/>
	<rdf:li rdf:resource="http://haskell.org/haskellwiki/GHC/Data_Parallel_Haskell"/>
	<rdf:li rdf:resource="http://www.haskell.org/all_about_monads/html/index.html"/>
	<rdf:li rdf:resource="http://www.haskell.org/haskellwiki/Monad_laws"/>
	<rdf:li rdf:resource="http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.5166"/>
	<rdf:li rdf:resource="http://research.microsoft.com/~simonpj/papers/list-comp/"/>
	<rdf:li rdf:resource="http://blog.bjrn.se/2008/10/lets-build-mp3-decoder.html"/>
	<rdf:li rdf:resource="http://book.realworldhaskell.org/"/>
	<rdf:li rdf:resource="http://www.informatik.uni-bonn.de/~loeh/LambdaPi.html"/>
	<rdf:li rdf:resource="http://research.microsoft.com/~simonpj/papers/lw-conc/lw-conc.pdf"/>
	<rdf:li rdf:resource="http://www.alpheccar.org/en/posts/show/67"/>
	<rdf:li rdf:resource="http://www.cse.unsw.edu.au/~dons/papers/CSL06.html"/>
      </rdf:Seq>
    </items>
  </channel><item rdf:about="https://reasonablypolymorphic.com/blog/towards-tactics/">
    <title>Towards Tactic Metaprogramming in Haskell (Sandy Maguire)</title>
    <dc:date>2020-10-13T12:16:06+00:00</dc:date>
    <link>https://reasonablypolymorphic.com/blog/towards-tactics/</link>
    <dc:creator>earl</dc:creator><dc:subject>haskell tactic-metaprogramming tactics</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:963cc8e2445a/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:tactic-metaprogramming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:tactics"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.michaelburge.us/2017/08/31/roll-your-own-bitcoin-exchange.html">
    <title>roll your own bitcoin exchange in haskell (michael burge)</title>
    <dc:date>2017-10-16T19:42:48+00:00</dc:date>
    <link>http://www.michaelburge.us/2017/08/31/roll-your-own-bitcoin-exchange.html</link>
    <dc:creator>earl</dc:creator><dc:subject>haskell trading exchange</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:earl/b:917f3f1e3067/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:trading"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:exchange"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://github.com/haskell-miso/miso">
    <title>haskell-miso/miso: a tasty haskell front-end framework</title>
    <dc:date>2017-08-26T11:20:15+00:00</dc:date>
    <link>https://github.com/haskell-miso/miso</link>
    <dc:creator>earl</dc:creator><dc:subject>haskell elm webdev frontend-dev virtual-dom</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:6ee023a5b183/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:elm"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:webdev"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:frontend-dev"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:virtual-dom"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.ittc.ku.edu/csdlblog/?p=88">
    <title>monad reification in haskell and the sunroof javascript compiler (andy gill)</title>
    <dc:date>2016-12-29T10:18:10+00:00</dc:date>
    <link>http://www.ittc.ku.edu/csdlblog/?p=88</link>
    <dc:creator>earl</dc:creator><dc:subject>haskell dsl edsl monad-reification expression-trees</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:eded1c067a5b/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:dsl"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:edsl"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:monad-reification"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:expression-trees"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://news.ycombinator.com/item?id=13274074">
    <title>on deeply embedded dsl impl in haskell (tikhon jelvis on hn)</title>
    <dc:date>2016-12-29T10:02:33+00:00</dc:date>
    <link>https://news.ycombinator.com/item?id=13274074</link>
    <dc:creator>earl</dc:creator><dc:subject>dsl dsl-engineering haskell edsl monad-reification expression-trees</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:dcf2e7bb8ac0/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:dsl"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:dsl-engineering"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:edsl"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:monad-reification"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:expression-trees"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://uhsure.com/halvm3.html">
    <title>halvm v4: the vision, the plan (adam wick)</title>
    <dc:date>2016-08-30T10:56:20+00:00</dc:date>
    <link>http://uhsure.com/halvm3.html</link>
    <dc:creator>earl</dc:creator><dc:subject>halvm haskell unikernel rumpkernel solo5</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:earl/b:62565a505281/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:halvm"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:unikernel"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:rumpkernel"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:solo5"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://blog.ezyang.com/2016/07/what-template-haskell-gets-wrong-and-racket-gets-right/">
    <title>what template haskell gets wrong and racket gets right (edward yang)</title>
    <dc:date>2016-07-19T06:09:58+00:00</dc:date>
    <link>http://blog.ezyang.com/2016/07/what-template-haskell-gets-wrong-and-racket-gets-right/</link>
    <dc:creator>earl</dc:creator><dc:subject>meta-programming template-haskell haskell racket macros</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:ed81ae2480e4/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:meta-programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:template-haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:racket"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:macros"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.stephendiehl.com/posts/protolude.html">
    <title>building a better custom haskell prelude (stephen diehl)</title>
    <dc:date>2016-04-08T18:40:59+00:00</dc:date>
    <link>http://www.stephendiehl.com/posts/protolude.html</link>
    <dc:creator>earl</dc:creator><dc:subject>haskell</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:earl/b:0556b4ce5006/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://programmers.stackexchange.com/questions/279316/what-exactly-makes-the-haskell-type-system-so-revered-vs-say-java/279362#279362">
    <title>what exactly makes the haskell type system so revered (vs say, java)? - programmers stack exchange</title>
    <dc:date>2016-03-02T01:44:07+00:00</dc:date>
    <link>http://programmers.stackexchange.com/questions/279316/what-exactly-makes-the-haskell-type-system-so-revered-vs-say-java/279362#279362</link>
    <dc:creator>earl</dc:creator><dc:subject>haskell types type-classes</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:20f0579c91c1/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:types"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:type-classes"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://okmij.org/ftp/continuations/generators.html">
    <title>generators: yield = exceptions + non-determinism (oleg kiselyov)</title>
    <dc:date>2015-11-01T22:03:11+00:00</dc:date>
    <link>http://okmij.org/ftp/continuations/generators.html</link>
    <dc:creator>earl</dc:creator><description><![CDATA[haskell: yield x = raise x `mplus` return ()
ocaml: let yield p x = shift0 p (fun k -> Cons (x,k))

"We have unwittingly obtained the typing of generators: MonadPlus m => EitherT e m a is the type of a generator returning the result of type a while yielding intermediate results of type e."]]></description>
<dc:subject>lambda lang-design generators haskell ocaml</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:earl/b:4a5a4d4a14da/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:lambda"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:lang-design"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:generators"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:ocaml"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://blog.podsnap.com/ducers2.html">
    <title>type-safe transducers in clojure. and scala. and haskell. (peter fraenkel)</title>
    <dc:date>2015-03-13T23:03:24+00:00</dc:date>
    <link>http://blog.podsnap.com/ducers2.html</link>
    <dc:creator>earl</dc:creator><dc:subject>transducers clojure scala haskell</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:earl/b:d232570849ac/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:transducers"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:clojure"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:scala"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://haskell-servant.github.io/">
    <title>servant - rethinking webservices and apis in haskell, one combinator at a time</title>
    <dc:date>2015-01-26T11:41:04+00:00</dc:date>
    <link>http://haskell-servant.github.io/</link>
    <dc:creator>earl</dc:creator><dc:subject>haskell servant library api webapi rest webservice</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:earl/b:de0b25358354/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:servant"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:library"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:api"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:webapi"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:rest"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:webservice"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://propellor.branchable.com/">
    <title>propellor: deploying properties to hosts with haskell</title>
    <dc:date>2015-01-05T14:20:48+00:00</dc:date>
    <link>https://propellor.branchable.com/</link>
    <dc:creator>earl</dc:creator><dc:subject>sysadmin configuration-management propellor haskell</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:earl/b:f53c2ca8e118/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:sysadmin"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:configuration-management"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:propellor"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://github.com/jaspervdj/hakyll">
    <title>jaspervdj/hakyll</title>
    <dc:date>2014-11-14T02:00:15+00:00</dc:date>
    <link>https://github.com/jaspervdj/hakyll</link>
    <dc:creator>earl</dc:creator><dc:subject>static-site-generator haskell</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:earl/b:9e82d29046e5/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:static-site-generator"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://github.com/jgm/yst">
    <title>jgm/yst</title>
    <dc:date>2014-11-14T02:00:05+00:00</dc:date>
    <link>https://github.com/jgm/yst</link>
    <dc:creator>earl</dc:creator><dc:subject>static-site-generator haskell pandoc ++</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:earl/b:84ff6ef6d1cb/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:static-site-generator"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:pandoc"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:++"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://galois.com/project/halvm/">
    <title>halvm (galois, inc.)</title>
    <dc:date>2014-08-21T00:26:29+00:00</dc:date>
    <link>http://galois.com/project/halvm/</link>
    <dc:creator>earl</dc:creator><description><![CDATA["The Haskell Lightweight Virtual Machine (HaLVM) is a port of the Glasgow Haskell Compiler toolsuite that enables developers to write high-level, lightweight virtual machines that can run directly on the Xen hypervisor."]]></description>
<dc:subject>halvm unikernel xen haskell ghc</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:earl/b:be3decea013f/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:halvm"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:unikernel"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:xen"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:ghc"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://feedproxy.google.com/~r/ezyang/~3/JgcsQmUUj3k/">
    <title>what’s a module system good for anyway? (edward yang)</title>
    <dc:date>2014-08-12T09:24:19+00:00</dc:date>
    <link>http://feedproxy.google.com/~r/ezyang/~3/JgcsQmUUj3k/</link>
    <dc:creator>earl</dc:creator><dc:subject>haskell modules</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:53890befcaa4/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:modules"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://app.doxiq.com/d/rbczklzyvgczkfgh/Getting-it-Done-with-Haskell-pdf">
    <title>getting it done with haskell (greg weber)</title>
    <dc:date>2014-08-09T16:05:36+00:00</dc:date>
    <link>https://app.doxiq.com/d/rbczklzyvgczkfgh/Getting-it-Done-with-Haskell-pdf</link>
    <dc:creator>earl</dc:creator><dc:subject>haskell</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:earl/b:1650284d6a3c/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://blog.ezyang.com/2014/05/parsec-try-a-or-b-considered-harmful/">
    <title>parsec: “try a &lt;|&gt; b” considered harmful (edward yang)</title>
    <dc:date>2014-05-20T16:20:46+00:00</dc:date>
    <link>http://blog.ezyang.com/2014/05/parsec-try-a-or-b-considered-harmful/</link>
    <dc:creator>earl</dc:creator><dc:subject>haskell parsec parsing</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:45224ed43609/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:parsec"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:parsing"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://dev.stephendiehl.com/hask/#cabal">
    <title>what i wish i knew when learning haskell (stephen diehl)</title>
    <dc:date>2014-04-24T11:02:25+00:00</dc:date>
    <link>http://dev.stephendiehl.com/hask/#cabal</link>
    <dc:creator>earl</dc:creator><dc:subject>haskell</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:earl/b:3573cba1d237/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://bob.ippoli.to/haskell-for-erlangers-2014/#/title">
    <title>intro to haskell for erlangers (bob ippolito)</title>
    <dc:date>2014-03-11T21:49:04+00:00</dc:date>
    <link>http://bob.ippoli.to/haskell-for-erlangers-2014/#/title</link>
    <dc:creator>earl</dc:creator><description><![CDATA[not only for erlangers: a very to-the-point exposition]]></description>
<dc:subject>haskell erlang tutorial</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:earl/b:aa1aaee13863/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:erlang"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:tutorial"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://dev.stephendiehl.com/hask/">
    <title>what i whish i knew when learning haskell (stephen diel)</title>
    <dc:date>2013-12-08T14:30:00+00:00</dc:date>
    <link>http://dev.stephendiehl.com/hask/</link>
    <dc:creator>earl</dc:creator><dc:subject>haskell ++</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:earl/b:4aa46a1bc5d6/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:++"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.haskell.org/haskellwiki/APL">
    <title>an apl library for haskell (haskellwiki)</title>
    <dc:date>2013-09-16T11:23:30+00:00</dc:date>
    <link>http://www.haskell.org/haskellwiki/APL</link>
    <dc:creator>earl</dc:creator><dc:subject>apl haskell</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:earl/b:a6c7ffbf461d/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:apl"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.mail-archive.com/haskell-cafe@haskell.org/msg107983.html">
    <title>an apl library for haskell (simon peyton-jones, haskell-cafe-l)</title>
    <dc:date>2013-09-16T11:23:13+00:00</dc:date>
    <link>http://www.mail-archive.com/haskell-cafe@haskell.org/msg107983.html</link>
    <dc:creator>earl</dc:creator><dc:subject>apl haskell</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:earl/b:42ef06e6c7d4/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:apl"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://chimera.labs.oreilly.com/books/1230000000929/index.html">
    <title>parallel and concurrent programming in haskell (simon marlow)</title>
    <dc:date>2013-07-24T22:49:35+00:00</dc:date>
    <link>http://chimera.labs.oreilly.com/books/1230000000929/index.html</link>
    <dc:creator>earl</dc:creator><dc:subject>book haskell parallelism concurrency by:marlow year:2013</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:earl/b:7cb771a696ab/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:book"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:parallelism"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:concurrency"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:by:marlow"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:year:2013"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://roscidus.com/blog/blog/2013/06/09/choosing-a-python-replacement-for-0install/">
    <title>replacing python: candidates (thomas leonard)</title>
    <dc:date>2013-06-12T22:15:12+00:00</dc:date>
    <link>http://roscidus.com/blog/blog/2013/06/09/choosing-a-python-replacement-for-0install/</link>
    <dc:creator>earl</dc:creator><description><![CDATA[interesting (in approach and breadth) & pragmatic language comparison (or high-level summary) of ats / c# / go / haskell / ocaml / python / rust]]></description>
<dc:subject>atc c# go haskell ocaml python rust</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:earl/b:cd0f97ae4b10/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:atc"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:c#"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:go"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:ocaml"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:python"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:rust"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://adit.io/posts/2013-04-17-functors,_applicatives,_and_monads_in_pictures.html">
    <title>functors, applicatives, and monads in pictures (aditya bhargava)</title>
    <dc:date>2013-04-20T19:01:28+00:00</dc:date>
    <link>http://adit.io/posts/2013-04-17-functors,_applicatives,_and_monads_in_pictures.html</link>
    <dc:creator>earl</dc:creator><dc:subject>haskell functors applicatives monads</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:earl/b:a7a41dbdc298/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:functors"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:applicatives"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:monads"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://spin.atomicobject.com/2012/12/13/using-haskells-cmdargs-package/">
    <title>using haskell's cmdargs package (atomic spin blog)</title>
    <dc:date>2013-04-13T17:13:54+00:00</dc:date>
    <link>http://spin.atomicobject.com/2012/12/13/using-haskells-cmdargs-package/</link>
    <dc:creator>earl</dc:creator><dc:subject>haskell cli</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:earl/b:47b47d32e447/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:cli"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://jaspervdj.be/hakyll/">
    <title>hakyll</title>
    <dc:date>2013-03-21T00:43:28+00:00</dc:date>
    <link>http://jaspervdj.be/hakyll/</link>
    <dc:creator>earl</dc:creator><dc:subject>static-site-generator hakyll haskell pandoc markdown</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:earl/b:3cff82c510e6/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:static-site-generator"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:hakyll"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:pandoc"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:markdown"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.haskell.org/haskellwiki/Functional_Reactive_Programming">
    <title>functional reactive programming (haskellwiki)</title>
    <dc:date>2012-09-09T18:02:01+00:00</dc:date>
    <link>http://www.haskell.org/haskellwiki/Functional_Reactive_Programming</link>
    <dc:creator>earl</dc:creator><dc:subject>haskell functional-reactive-programming</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:75fbd30cb126/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:functional-reactive-programming"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://github.com/dmbarbour/Sirea/blob/master/README.md">
    <title>sirea readme (david barbour)</title>
    <dc:date>2012-09-09T17:55:24+00:00</dc:date>
    <link>https://github.com/dmbarbour/Sirea/blob/master/README.md</link>
    <dc:creator>earl</dc:creator><description><![CDATA["declarative orchestration in haskell using the reactive demand programming model"]]></description>
<dc:subject>by:barbour functional-reactive-programming reactive-demand-programming haskell sirea</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:df8861661a0d/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:by:barbour"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:functional-reactive-programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:reactive-demand-programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:sirea"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://sneezy.cs.nott.ac.uk/fun/2012-02/coutts-2012-02-28.pdf">
    <title>cloud haskell (duncan coutts)</title>
    <dc:date>2012-04-05T22:33:21+00:00</dc:date>
    <link>http://sneezy.cs.nott.ac.uk/fun/2012-02/coutts-2012-02-28.pdf</link>
    <dc:creator>earl</dc:creator><dc:subject>actors distributed-programming erlang haskell</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:376889cba532/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:actors"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:distributed-programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:erlang"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://bartoszmilewski.com/2011/07/11/monads-in-c/">
    <title>monads in c++ (bartosz milewski)</title>
    <dc:date>2012-02-06T03:59:43+00:00</dc:date>
    <link>http://bartoszmilewski.com/2011/07/11/monads-in-c/</link>
    <dc:creator>earl</dc:creator><description><![CDATA["You have to understand that compile-time C++ is a strict functional language operating (mostly) on types."]]></description>
<dc:subject>metaprogramming c++-templates monads haskell c++</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:c208ff7b3d68/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:metaprogramming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:c++-templates"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:monads"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:c++"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://channel9.msdn.com/Blogs/Charles/YOW-2011-Simon-Peyton-Jones-and-John-Hughes-Its-Raining-Haskell">
    <title>simon peyton-jones and john hughes - it's raining haskell (channel 9)</title>
    <dc:date>2012-01-31T00:18:42+00:00</dc:date>
    <link>http://channel9.msdn.com/Blogs/Charles/YOW-2011-Simon-Peyton-Jones-and-John-Hughes-Its-Raining-Haskell</link>
    <dc:creator>earl</dc:creator><dc:subject>haskell video watch</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:4ff75de3a5e7/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:video"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:watch"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://hackage.haskell.org/trac/summer-of-code/ticket/1582">
    <title>#1582 (llvm optimisation passes / tables next to code) – haskell.org google summer of code</title>
    <dc:date>2011-02-20T01:55:22+00:00</dc:date>
    <link>http://hackage.haskell.org/trac/summer-of-code/ticket/1582</link>
    <dc:creator>earl</dc:creator><dc:subject>gsoc-2011 haskell llvm</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:c35964874591/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:gsoc-2011"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:llvm"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://corp.galois.com/blog/2011/1/18/merging-smt-solvers-and-programming-languages.html">
    <title>merging smt solvers and programming languages (galois blog)</title>
    <dc:date>2011-01-18T23:54:04+00:00</dc:date>
    <link>http://corp.galois.com/blog/2011/1/18/merging-smt-solvers-and-programming-languages.html</link>
    <dc:creator>earl</dc:creator><dc:subject>✓ haskell dsl logic smt</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:a453a0c03661/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:✓"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:dsl"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:logic"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:smt"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://leepike.wordpress.com/2010/12/18/haskell-and-hardware-for-the-holidays/">
    <title>haskell and hardware for the holidays « a critical systems blog</title>
    <dc:date>2010-12-22T22:02:10+00:00</dc:date>
    <link>http://leepike.wordpress.com/2010/12/18/haskell-and-hardware-for-the-holidays/</link>
    <dc:creator>earl</dc:creator><dc:subject>✕ arduino haskell copilot edsl</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:f4771f4f70ed/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:✕"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:arduino"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:copilot"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:edsl"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.galois.com/blog/2010/11/30/galois-releases-the-haskell-lightweight-virtual-machine-halvm/">
    <title>galois › blog › blog » galois releases the haskell lightweight virtual machine (halvm)</title>
    <dc:date>2010-12-01T05:45:53+00:00</dc:date>
    <link>http://www.galois.com/blog/2010/11/30/galois-releases-the-haskell-lightweight-virtual-machine-halvm/</link>
    <dc:creator>earl</dc:creator><dc:subject>haskell os xen bare-metal</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:facde3d712b8/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:os"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:xen"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:bare-metal"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://potential-lang.org/2010/07/02/quasi-quoting-ascii-art-to-define-data-structures/">
    <title>quasi-quoting: ascii art to define data structures (tim carstens)</title>
    <dc:date>2010-07-03T21:59:00+00:00</dc:date>
    <link>http://potential-lang.org/2010/07/02/quasi-quoting-ascii-art-to-define-data-structures/</link>
    <dc:creator>earl</dc:creator><dc:subject>✓ haskell edsl bitstrings</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:7d09940b8331/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:✓"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:edsl"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:bitstrings"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://raintown.org/lava/">
    <title>the lava hardware description language</title>
    <dc:date>2010-06-28T21:27:11+00:00</dc:date>
    <link>http://raintown.org/lava/</link>
    <dc:creator>earl</dc:creator><dc:subject>hdl haskell fpga</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:9f9bfee616de/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:hdl"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:fpga"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://blog.llvm.org/2010/05/glasgow-haskell-compiler-and-llvm.html">
    <title>llvm project blog: the glasgow haskell compiler and llvm</title>
    <dc:date>2010-05-17T13:12:51+00:00</dc:date>
    <link>http://blog.llvm.org/2010/05/glasgow-haskell-compiler-and-llvm.html</link>
    <dc:creator>earl</dc:creator><dc:subject>✓ llvm ghc haskell</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:e4f72c7b6f4d/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:✓"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:llvm"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:ghc"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://blog.sigfpe.com/2010/03/partial-ordering-of-some-category.html">
    <title>a partial ordering of some category theory applied to haskell (sigfpe)</title>
    <dc:date>2010-03-31T04:15:48+00:00</dc:date>
    <link>http://blog.sigfpe.com/2010/03/partial-ordering-of-some-category.html</link>
    <dc:creator>earl</dc:creator><dc:subject>math category-theory haskell</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:e7f105d8cfee/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:math"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:category-theory"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://github.com/jlouis/haskell-torrent/">
    <title>jlouis's haskell-torrent at master - github</title>
    <dc:date>2010-01-17T00:56:56+00:00</dc:date>
    <link>http://github.com/jlouis/haskell-torrent/</link>
    <dc:creator>earl</dc:creator><dc:subject>haskell bittorrent code</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:af47e2b254da/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:bittorrent"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:code"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://blog.sigfpe.com/2009/11/programming-with-impossible-functions.html">
    <title>a neighborhood of infinity: programming with impossible functions, or how to get along without monads.</title>
    <dc:date>2010-01-03T01:32:40+00:00</dc:date>
    <link>http://blog.sigfpe.com/2009/11/programming-with-impossible-functions.html</link>
    <dc:creator>earl</dc:creator><dc:subject>✕ monads haskell</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:a5ace871efcd/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:✕"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:monads"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://strictlypositive.org/winging-jpgs/">
    <title>winging it (by conor mcbride)</title>
    <dc:date>2009-12-16T19:49:00+00:00</dc:date>
    <link>http://strictlypositive.org/winging-jpgs/</link>
    <dc:creator>earl</dc:creator><dc:subject>types monads haskell</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:e4ebbf1da1eb/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:types"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:monads"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://scienceblogs.com/goodmath/2009/11/types_in_haskell_types_are_pro.php">
    <title>types in haskell: types are propositions, programs are proofs : good math, bad math</title>
    <dc:date>2009-12-04T03:14:52+00:00</dc:date>
    <link>http://scienceblogs.com/goodmath/2009/11/types_in_haskell_types_are_pro.php</link>
    <dc:creator>earl</dc:creator><dc:subject>✕ types curry-howard haskell</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:a7c0098528a9/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:✕"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:types"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:curry-howard"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://llvm.org/pubs/2009-10-TereiThesis.html">
    <title>low level virtual machine for glasgow haskell compiler</title>
    <dc:date>2009-11-08T15:37:49+00:00</dc:date>
    <link>http://llvm.org/pubs/2009-10-TereiThesis.html</link>
    <dc:creator>earl</dc:creator><dc:subject>article research lambda llvm haskell ghc by:terei year:2009</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:c8a87ae4f5b0/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:article"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:lambda"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:llvm"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:ghc"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:by:terei"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:year:2009"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.serpentine.com/blog/2009/09/29/criterion-a-new-benchmarking-library-for-haskell/">
    <title>criterion, a new benchmarking library for haskell (bryan o'sullivan's blog)</title>
    <dc:date>2009-10-09T13:49:01+00:00</dc:date>
    <link>http://www.serpentine.com/blog/2009/09/29/criterion-a-new-benchmarking-library-for-haskell/</link>
    <dc:creator>earl</dc:creator><dc:subject>✓ ☆ haskell statistics benchmark</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:83a6ce0cf4fb/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:✓"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:☆"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:statistics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:benchmark"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.cs.tufts.edu/~nr/pubs/dfopt-abstract.html">
    <title>hoopl: dataflow optimization made simple (abstract)</title>
    <dc:date>2009-08-12T01:33:11+00:00</dc:date>
    <link>http://www.cs.tufts.edu/~nr/pubs/dfopt-abstract.html</link>
    <dc:creator>earl</dc:creator><dc:subject>article research lambda dataflow haskell by:ramsey by:dias by:peyton-jones year:2009</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:29228dd9cfb7/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:article"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:lambda"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:dataflow"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:by:ramsey"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:by:dias"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:by:peyton-jones"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:year:2009"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.nijoruj.org/~as/2009/04/20/A-little-fun.html">
    <title>A little fun with Haskabelle</title>
    <dc:date>2009-07-17T00:19:49+00:00</dc:date>
    <link>http://www.nijoruj.org/~as/2009/04/20/A-little-fun.html</link>
    <dc:creator>earl</dc:creator><dc:subject>haskell isabelle formal-verification</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:a29c89c71752/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:isabelle"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:formal-verification"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.cse.unsw.edu.au/~chak/project/dph/">
    <title>manuel m t chakravarty - data parallel haskell</title>
    <dc:date>2009-03-15T19:21:30+00:00</dc:date>
    <link>http://www.cse.unsw.edu.au/~chak/project/dph/</link>
    <dc:creator>earl</dc:creator><dc:subject>lambda research haskell data-parallel dph</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:6d4e13be7745/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:lambda"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:data-parallel"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:dph"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://hackage.haskell.org/trac/summer-of-code/query?status=new&amp;status=assigned&amp;status=reopened&amp;group=topic&amp;type=proposed-project&amp;order=priority">
    <title>custom query - haskell.org google summer of code - trac</title>
    <dc:date>2009-03-12T17:17:45+00:00</dc:date>
    <link>http://hackage.haskell.org/trac/summer-of-code/query?status=new&amp;status=assigned&amp;status=reopened&amp;group=topic&amp;type=proposed-project&amp;order=priority</link>
    <dc:creator>earl</dc:creator><dc:subject>da haskell project-ideas</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:4ddd49d9a2b5/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:da"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:project-ideas"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://justtesting.org/post/83014052/this-is-the-performance-of-a-dot-product-of-two">
    <title>just testing - this is the performance of a dot product of two...</title>
    <dc:date>2009-03-05T00:25:28+00:00</dc:date>
    <link>http://justtesting.org/post/83014052/this-is-the-performance-of-a-dot-product-of-two</link>
    <dc:creator>earl</dc:creator><dc:subject>✓ haskell data-parallel</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:1c9e36593526/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:✓"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:data-parallel"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.haskell.org/tmrwiki/WhyAttributeGrammarsMatter">
    <title>why attribute grammars matter - tmrwiki</title>
    <dc:date>2009-02-28T20:27:44+00:00</dc:date>
    <link>http://www.haskell.org/tmrwiki/WhyAttributeGrammarsMatter</link>
    <dc:creator>earl</dc:creator><dc:subject>✓ lambda haskell attribute-grammar</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:277c61dd871d/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:✓"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:lambda"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:attribute-grammar"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.cse.unsw.edu.au/~chak/papers/LCGK09.html">
    <title>gpu kernels as data-parallel array computations in haskell</title>
    <dc:date>2009-02-25T20:35:13+00:00</dc:date>
    <link>http://www.cse.unsw.edu.au/~chak/papers/LCGK09.html</link>
    <dc:creator>earl</dc:creator><dc:subject>article research lambda haskell gpgpu data-parallel by:lee by:chakravarty by:grover by:keller year:2009</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:a61ea726c06b/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:article"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:lambda"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:gpgpu"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:data-parallel"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:by:lee"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:by:chakravarty"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:by:grover"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:by:keller"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:year:2009"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.randomhacks.net/articles/2007/03/12/monads-in-15-minutes">
    <title>monads in 15 minutes: backtracking and maybe</title>
    <dc:date>2009-01-27T00:53:44+00:00</dc:date>
    <link>http://www.randomhacks.net/articles/2007/03/12/monads-in-15-minutes</link>
    <dc:creator>earl</dc:creator><description><![CDATA[monads explained using join, map and return (instead of the usual bind and return)
]]></description>
<dc:subject>✓ monads haskell</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:b6ce90125dec/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:✓"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:monads"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://sigfpe.blogspot.com/2006/08/you-could-have-invented-monads-and.html">
    <title>a neighborhood of infinity: you could have invented monads! (and maybe you already have.)</title>
    <dc:date>2009-01-23T05:10:21+00:00</dc:date>
    <link>http://sigfpe.blogspot.com/2006/08/you-could-have-invented-monads-and.html</link>
    <dc:creator>earl</dc:creator><dc:subject>✓ monads haskell</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:e10440586f1b/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:✓"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:monads"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.bluebytesoftware.com/blog/2008/11/04/LongingForHigherkindedC.aspx">
    <title>longing for higher-kinded c#</title>
    <dc:date>2009-01-19T00:34:13+00:00</dc:date>
    <link>http://www.bluebytesoftware.com/blog/2008/11/04/LongingForHigherkindedC.aspx</link>
    <dc:creator>earl</dc:creator><description><![CDATA[very nice intro to "kinds" and their value in type systems
]]></description>
<dc:subject>✓ ☆ lambda types haskell c#</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:4b30a8734e5e/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:✓"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:☆"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:lambda"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:types"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:c#"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://sigfpe.blogspot.com/2008/12/mother-of-all-monads.html">
    <title>a neighborhood of infinity: the mother of all monads</title>
    <dc:date>2008-12-26T17:11:21+00:00</dc:date>
    <link>http://sigfpe.blogspot.com/2008/12/mother-of-all-monads.html</link>
    <dc:creator>earl</dc:creator><description><![CDATA[Cont!
]]></description>
<dc:subject>✓ monads continuations haskell lambda</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:dd47354ef936/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:✓"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:monads"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:continuations"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:lambda"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://haskell.org/haskellwiki/GHC/Data_Parallel_Haskell">
    <title>ghc/data parallel haskell - haskellwiki</title>
    <dc:date>2008-12-08T04:58:15+00:00</dc:date>
    <link>http://haskell.org/haskellwiki/GHC/Data_Parallel_Haskell</link>
    <dc:creator>earl</dc:creator><dc:subject>data-parallel haskell</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:db9ce881fa9e/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:data-parallel"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.haskell.org/all_about_monads/html/index.html">
    <title>all about monads</title>
    <dc:date>2008-12-05T04:10:41+00:00</dc:date>
    <link>http://www.haskell.org/all_about_monads/html/index.html</link>
    <dc:creator>earl</dc:creator><description><![CDATA["It is useful to think of a monad as a strategy for combining computations into more complex computations."
]]></description>
<dc:subject>monads haskell</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:dd34f7826cca/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:monads"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.haskell.org/haskellwiki/Monad_laws">
    <title>monad laws (haskellwiki)</title>
    <dc:date>2008-12-05T03:59:37+00:00</dc:date>
    <link>http://www.haskell.org/haskellwiki/Monad_laws</link>
    <dc:creator>earl</dc:creator><dc:subject>✓ monads haskell</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:25670c209c65/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:✓"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:monads"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.5166">
    <title>lazy lexing is fast (citeseerx)</title>
    <dc:date>2008-12-03T01:12:26+00:00</dc:date>
    <link>http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.5166</link>
    <dc:creator>earl</dc:creator><dc:subject>✕ parsing article lambda haskell by:chakravarty year:1999</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:ec53ccbca7a7/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:✕"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:parsing"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:article"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:lambda"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:by:chakravarty"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:year:1999"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://research.microsoft.com/~simonpj/papers/list-comp/">
    <title>comprehensive comprehensions</title>
    <dc:date>2008-11-18T17:32:48+00:00</dc:date>
    <link>http://research.microsoft.com/~simonpj/papers/list-comp/</link>
    <dc:creator>earl</dc:creator><description><![CDATA["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."
]]></description>
<dc:subject>article research lambda haskell collections by:wadler by:peyton-jones year:2008</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:039e18b6298c/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:article"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:lambda"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:collections"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:by:wadler"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:by:peyton-jones"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:year:2008"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://blog.bjrn.se/2008/10/lets-build-mp3-decoder.html">
    <title>björn edström: let's build an mp3-decoder!</title>
    <dc:date>2008-10-01T18:56:49+00:00</dc:date>
    <link>http://blog.bjrn.se/2008/10/lets-build-mp3-decoder.html</link>
    <dc:creator>earl</dc:creator><dc:subject>mp3 haskell via:chl</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:1c1432fe680c/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:mp3"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:via:chl"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://book.realworldhaskell.org/">
    <title>Real World Haskell</title>
    <dc:date>2008-07-08T02:52:18+00:00</dc:date>
    <link>http://book.realworldhaskell.org/</link>
    <dc:creator>earl</dc:creator><dc:subject>book haskell free:cc</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:47f9ccd394ed/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:book"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:free:cc"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.informatik.uni-bonn.de/~loeh/LambdaPi.html">
    <title>Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus)</title>
    <dc:date>2007-07-10T10:00:09+00:00</dc:date>
    <link>http://www.informatik.uni-bonn.de/~loeh/LambdaPi.html</link>
    <dc:creator>earl</dc:creator><dc:subject>article research lambda haskell f-omega by:loeh by:mcbride by:swierstra year:2007</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:6847a95de9f0/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:article"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:lambda"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:f-omega"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:by:loeh"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:by:mcbride"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:by:swierstra"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:year:2007"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://research.microsoft.com/~simonpj/papers/lw-conc/lw-conc.pdf">
    <title>Lightweight concurrency primitives for GHC</title>
    <dc:date>2007-07-05T00:58:08+00:00</dc:date>
    <link>http://research.microsoft.com/~simonpj/papers/lw-conc/lw-conc.pdf</link>
    <dc:creator>earl</dc:creator><description><![CDATA[good pointers to related work on concurrency implementation substrates
]]></description>
<dc:subject>article research lambda concurrency ghc haskell stm ptm by:li by:tolmach by:marlow by:peyton-jones year:2007 filetype:pdf media:document</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:9071644c02b9/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:article"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:lambda"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:concurrency"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:ghc"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:stm"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:ptm"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:by:li"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:by:tolmach"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:by:marlow"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:by:peyton-jones"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:year:2007"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:filetype:pdf"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:media:document"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.alpheccar.org/en/posts/show/67">
    <title>Haskell Study Plan</title>
    <dc:date>2007-02-16T23:59:25+00:00</dc:date>
    <link>http://www.alpheccar.org/en/posts/show/67</link>
    <dc:creator>earl</dc:creator><description><![CDATA[types, modules, classes, monads, phantom types, existential types, gadts
]]></description>
<dc:subject>tutorial haskell monads</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:45fee34d92d9/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:tutorial"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:monads"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.cse.unsw.edu.au/~dons/papers/CSL06.html">
    <title>Rewriting Haskell Strings</title>
    <dc:date>2007-02-12T18:07:29+00:00</dc:date>
    <link>http://www.cse.unsw.edu.au/~dons/papers/CSL06.html</link>
    <dc:creator>earl</dc:creator><dc:subject>article research lambda haskell ghc term-rewriting by:coutts by:stewart by:leshchinskiy year:2007</dc:subject>
<dc:identifier>https://pinboard.in/u:earl/b:1ce9e7afec89/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:article"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:lambda"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:ghc"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:term-rewriting"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:by:coutts"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:by:stewart"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:by:leshchinskiy"/>
	<rdf:li rdf:resource="https://pinboard.in/u:earl/t:year:2007"/>
</rdf:Bag></taxo:topics>
</item>
</rdf:RDF>