<?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 (simonbates)</title>
    <link>https://pinboard.in/u:simonbates/public/</link>
    <description>recent bookmarks from simonbates</description>
    <items>
      <rdf:Seq>	<rdf:li rdf:resource="http://math.andrej.com/?s=PL+Zoo"/>
	<rdf:li rdf:resource="http://www.infoq.com/presentations/Are-We-There-Yet-Rich-Hickey"/>
	<rdf:li rdf:resource="http://gbracha.blogspot.com/2011/06/types-are-anti-modular.html"/>
	<rdf:li rdf:resource="http://lambda-the-ultimate.org/node/3101"/>
	<rdf:li rdf:resource="http://www.daimi.au.dk/~madst/tool/papers/expression.txt"/>
	<rdf:li rdf:resource="http://www.pphsg.org/cdsmith/types.html"/>
	<rdf:li rdf:resource="http://www.cis.upenn.edu/~bcpierce/papers/harmful-mfps.pdf"/>
	<rdf:li rdf:resource="http://lambda-the-ultimate.org/node/2811"/>
	<rdf:li rdf:resource="http://steve-yegge.blogspot.com/2008/05/dynamic-languages-strike-back.html"/>
	<rdf:li rdf:resource="http://lambda-the-ultimate.org/node/2779"/>
	<rdf:li rdf:resource="http://okasaki.blogspot.com/2008/02/ten-years-of-purely-functional-data.html"/>
	<rdf:li rdf:resource="http://www.cse.unsw.edu.au/~chak/papers/KCCSB07.html"/>
	<rdf:li rdf:resource="http://www.st.informatik.tu-darmstadt.de/database/publications/data/depcls-oopsla07.pdf?id=183"/>
	<rdf:li rdf:resource="http://lucacardelli.name/Slides/2007-08-02%20An%20Accidental%20Simula%20User%20(ECOOP%20Prize).pdf"/>
	<rdf:li rdf:resource="http://video.google.com/videoplay?docid=-8860158196198824415"/>
	<rdf:li rdf:resource="http://www.mockobjects.com/files/evolving_an_edsl.ooplsa2006.pdf"/>
	<rdf:li rdf:resource="http://www.info.ucl.ac.be/people/PVR/paradigmsDIAGRAMeng101.pdf"/>
	<rdf:li rdf:resource="http://www.csclub.uwaterloo.ca/media/C++0x%20-%20An%20Overview.html"/>
	<rdf:li rdf:resource="http://www.brics.dk/~hosc/local/HOSC-12-3-pp221-236.pdf"/>
      </rdf:Seq>
    </items>
  </channel><item rdf:about="http://math.andrej.com/?s=PL+Zoo">
    <title>PL Zoo</title>
    <dc:date>2011-07-21T01:01:57+00:00</dc:date>
    <link>http://math.andrej.com/?s=PL+Zoo</link>
    <dc:creator>simonbates</dc:creator><description><![CDATA[Also http://www.andrej.com/plzoo/
"a number of mini languages which demonstrate various techniques in design and implementation of programming languages"]]></description>
<dc:subject>plt programminglanguage</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:simonbates/b:2743c3f4ee3e/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:plt"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:programminglanguage"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.infoq.com/presentations/Are-We-There-Yet-Rich-Hickey">
    <title>Are We There Yet? by Rich Hickey</title>
    <dc:date>2011-07-14T23:56:15+00:00</dc:date>
    <link>http://www.infoq.com/presentations/Are-We-There-Yet-Rich-Hickey</link>
    <dc:creator>simonbates</dc:creator><description><![CDATA[Keynote at JVM Languages Summit 2009]]></description>
<dc:subject>plt clojure concurrency</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:simonbates/b:20b5e20d747f/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:plt"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:clojure"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:concurrency"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://gbracha.blogspot.com/2011/06/types-are-anti-modular.html">
    <title>Types are Anti-Modular by Gilad Bracha</title>
    <dc:date>2011-07-11T19:21:22+00:00</dc:date>
    <link>http://gbracha.blogspot.com/2011/06/types-are-anti-modular.html</link>
    <dc:creator>simonbates</dc:creator><dc:subject>plt types</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:simonbates/b:eaff31626ad8/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:plt"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:types"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://lambda-the-ultimate.org/node/3101">
    <title>50 in 50 by Guy Steele &amp; Richard Gabriel</title>
    <dc:date>2011-07-05T15:56:53+00:00</dc:date>
    <link>http://lambda-the-ultimate.org/node/3101</link>
    <dc:creator>simonbates</dc:creator><description><![CDATA[JAOO 2008
also RailsConf 2011: http://www.youtube.com/watch?v=Nii1n8PYLrc]]></description>
<dc:subject>plt computer programminglanguage history programming</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:simonbates/b:9b205bdbea87/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:plt"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:computer"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:programminglanguage"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:history"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:programming"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.daimi.au.dk/~madst/tool/papers/expression.txt">
    <title>The Expression Problem by Philip Wadler</title>
    <dc:date>2011-01-05T15:27:06+00:00</dc:date>
    <link>http://www.daimi.au.dk/~madst/tool/papers/expression.txt</link>
    <dc:creator>simonbates</dc:creator><dc:subject>plt</dc:subject>
<dc:identifier>https://pinboard.in/u:simonbates/b:24d9644c15dd/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:plt"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.pphsg.org/cdsmith/types.html">
    <title>What To Know Before Debating Type Systems by Chris Smith</title>
    <dc:date>2010-04-17T22:31:47+00:00</dc:date>
    <link>http://www.pphsg.org/cdsmith/types.html</link>
    <dc:creator>simonbates</dc:creator><description><![CDATA["Benefits of Static Types"
]]></description>
<dc:subject>plt types</dc:subject>
<dc:identifier>https://pinboard.in/u:simonbates/b:045ae620b37c/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:plt"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:types"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.cis.upenn.edu/~bcpierce/papers/harmful-mfps.pdf">
    <title>Types Considered Harmful by Benjamin C. Pierce (PDF)</title>
    <dc:date>2008-06-01T13:26:53+00:00</dc:date>
    <link>http://www.cis.upenn.edu/~bcpierce/papers/harmful-mfps.pdf</link>
    <dc:creator>simonbates</dc:creator><dc:subject>types plt</dc:subject>
<dc:identifier>https://pinboard.in/u:simonbates/b:fd49b2e78120/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:types"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:plt"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://lambda-the-ultimate.org/node/2811">
    <title>HOPL-III: A History of Erlang</title>
    <dc:date>2008-05-24T13:50:29+00:00</dc:date>
    <link>http://lambda-the-ultimate.org/node/2811</link>
    <dc:creator>simonbates</dc:creator><dc:subject>erlang programminglanguage plt</dc:subject>
<dc:identifier>https://pinboard.in/u:simonbates/b:900cd25d7df0/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:erlang"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:programminglanguage"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:plt"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://steve-yegge.blogspot.com/2008/05/dynamic-languages-strike-back.html">
    <title>Dynamic Languages Strike Back by Steve Yegge</title>
    <dc:date>2008-05-24T13:47:08+00:00</dc:date>
    <link>http://steve-yegge.blogspot.com/2008/05/dynamic-languages-strike-back.html</link>
    <dc:creator>simonbates</dc:creator><dc:subject>dynamic types plt javascript lisp java python ruby smalltalk</dc:subject>
<dc:identifier>https://pinboard.in/u:simonbates/b:015280e15be2/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:dynamic"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:types"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:plt"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:javascript"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:lisp"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:java"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:python"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:ruby"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:smalltalk"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://lambda-the-ultimate.org/node/2779">
    <title>HMF: Simple type inference for first-class polymorphism (Lambda the Ultimate)</title>
    <dc:date>2008-04-26T13:16:22+00:00</dc:date>
    <link>http://lambda-the-ultimate.org/node/2779</link>
    <dc:creator>simonbates</dc:creator><dc:subject>plt types</dc:subject>
<dc:identifier>https://pinboard.in/u:simonbates/b:e38c60091705/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:plt"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:types"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://okasaki.blogspot.com/2008/02/ten-years-of-purely-functional-data.html">
    <title>Ten Years of Purely Functional Data Structures by Chris Okasaki</title>
    <dc:date>2008-02-15T15:22:47+00:00</dc:date>
    <link>http://okasaki.blogspot.com/2008/02/ten-years-of-purely-functional-data.html</link>
    <dc:creator>simonbates</dc:creator><description><![CDATA[blog post on the 10th anniversary of publishing his book "Purely Functional Data Structures"
]]></description>
<dc:subject>functional plt datastructures computerscience books</dc:subject>
<dc:identifier>https://pinboard.in/u:simonbates/b:a53be25d1218/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:functional"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:plt"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:datastructures"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:computerscience"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:books"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.cse.unsw.edu.au/~chak/papers/KCCSB07.html">
    <title>Specialising Simulator Generators for High-Performance Monte-Carlo Methods by Gabriele Keller, Hugh Chaffey-Millar, Manuel M. T. Chakravarty, Don Stewart, and Christopher Barner-Kowollik</title>
    <dc:date>2007-11-12T20:57:53+00:00</dc:date>
    <link>http://www.cse.unsw.edu.au/~chak/papers/KCCSB07.html</link>
    <dc:creator>simonbates</dc:creator><dc:subject>plt functional performance</dc:subject>
<dc:identifier>https://pinboard.in/u:simonbates/b:dc7f2a3a1169/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:plt"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:functional"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:performance"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.st.informatik.tu-darmstadt.de/database/publications/data/depcls-oopsla07.pdf?id=183">
    <title>Dependent Classes by Vaidas Gasiunas, Mira Mezini, and Klaus Ostermann (PDF)</title>
    <dc:date>2007-11-06T15:27:14+00:00</dc:date>
    <link>http://www.st.informatik.tu-darmstadt.de/database/publications/data/depcls-oopsla07.pdf?id=183</link>
    <dc:creator>simonbates</dc:creator><description><![CDATA[OOPSLA 2007
]]></description>
<dc:subject>objectoriented plt</dc:subject>
<dc:identifier>https://pinboard.in/u:simonbates/b:5275ec6d0547/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:objectoriented"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:plt"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://lucacardelli.name/Slides/2007-08-02%20An%20Accidental%20Simula%20User%20(ECOOP%20Prize).pdf">
    <title>An Accidental Simula User by Luca Cardelli (PDF)</title>
    <dc:date>2007-10-09T17:46:19+00:00</dc:date>
    <link>http://lucacardelli.name/Slides/2007-08-02%20An%20Accidental%20Simula%20User%20(ECOOP%20Prize).pdf</link>
    <dc:creator>simonbates</dc:creator><description><![CDATA[ECOOP 2007 Dahl-Nygaard Senior Prize
]]></description>
<dc:subject>plt functional objectoriented programming microsoft history types</dc:subject>
<dc:identifier>https://pinboard.in/u:simonbates/b:c6d184c62588/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:plt"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:functional"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:objectoriented"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:microsoft"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:history"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:types"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://video.google.com/videoplay?docid=-8860158196198824415">
    <title>Growing a Language by Guy Steele</title>
    <dc:date>2007-10-05T20:07:15+00:00</dc:date>
    <link>http://video.google.com/videoplay?docid=-8860158196198824415</link>
    <dc:creator>simonbates</dc:creator><description><![CDATA[OOPSLA 1998
]]></description>
<dc:subject>programming java plt video</dc:subject>
<dc:identifier>https://pinboard.in/u:simonbates/b:bc4488af016e/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:java"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:plt"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:video"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.mockobjects.com/files/evolving_an_edsl.ooplsa2006.pdf">
    <title>Evolving an Embedded Domain-Specific Language in Java by Steve Freeman and Nat Pryce</title>
    <dc:date>2007-09-17T18:05:24+00:00</dc:date>
    <link>http://www.mockobjects.com/files/evolving_an_edsl.ooplsa2006.pdf</link>
    <dc:creator>simonbates</dc:creator><description><![CDATA[jMock, includes a discussion of its use of method chaining and relationship to Smalltalk message cascades, OOPSLA 2006
]]></description>
<dc:subject>java smalltalk testing dsl plt</dc:subject>
<dc:identifier>https://pinboard.in/u:simonbates/b:505cbf780aef/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:java"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:smalltalk"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:testing"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:dsl"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:plt"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.info.ucl.ac.be/people/PVR/paradigmsDIAGRAMeng101.pdf">
    <title>The principal programming paradigms diagram (PDF)</title>
    <dc:date>2007-09-11T14:08:26+00:00</dc:date>
    <link>http://www.info.ucl.ac.be/people/PVR/paradigmsDIAGRAMeng101.pdf</link>
    <dc:creator>simonbates</dc:creator><dc:subject>plt</dc:subject>
<dc:identifier>https://pinboard.in/u:simonbates/b:6e3ea7adbed6/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:plt"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.csclub.uwaterloo.ca/media/C++0x%20-%20An%20Overview.html">
    <title>C++0x - An Overview by Bjarne Stroustrup</title>
    <dc:date>2007-08-13T14:11:33+00:00</dc:date>
    <link>http://www.csclub.uwaterloo.ca/media/C++0x%20-%20An%20Overview.html</link>
    <dc:creator>simonbates</dc:creator><dc:subject>programminglanguage programming plt video</dc:subject>
<dc:identifier>https://pinboard.in/u:simonbates/b:2212528c569a/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:programminglanguage"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:plt"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:video"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.brics.dk/~hosc/local/HOSC-12-3-pp221-236.pdf">
    <title>Growing a Language by Guy Steele (PDF)</title>
    <dc:date>2006-06-16T00:37:54+00:00</dc:date>
    <link>http://www.brics.dk/~hosc/local/HOSC-12-3-pp221-236.pdf</link>
    <dc:creator>simonbates</dc:creator><dc:subject>programming java plt</dc:subject>
<dc:identifier>https://pinboard.in/u:simonbates/b:7918a86e7449/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:java"/>
	<rdf:li rdf:resource="https://pinboard.in/u:simonbates/t:plt"/>
</rdf:Bag></taxo:topics>
</item>
</rdf:RDF>