<?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 (tlockney)</title>
    <link>https://pinboard.in/u:tlockney/public/</link>
    <description>recent bookmarks from tlockney</description>
    <items>
      <rdf:Seq>	<rdf:li rdf:resource="http://siek.blogspot.nl/2012/07/crash-course-on-notation-in-programming.html"/>
	<rdf:li rdf:resource="http://www.cs.cmu.edu/~rwh/courses/hott/"/>
	<rdf:li rdf:resource="http://scs.hosted.panopto.com/Panopto/Pages/Sessions/List.aspx#folderID=%2207756bb0-b872-4a4a-95b1-b77ad206dab3%22&amp;sortColumn=1&amp;sortAscending=true"/>
	<rdf:li rdf:resource="http://www.mpi-sws.org/~rossberg/publications.html"/>
	<rdf:li rdf:resource="http://fdatamining.blogspot.hk/2012/12/a-reading-list-on-languages-in-ml-family.html?m=1"/>
	<rdf:li rdf:resource="http://www.cs.utexas.edu/~wcook/anatomy/"/>
	<rdf:li rdf:resource="http://www.cs.brown.edu/courses/cs173/2012/Videos/"/>
	<rdf:li rdf:resource="https://www.coursera.org/course/proglang"/>
	<rdf:li rdf:resource="http://www.cs.brown.edu/courses/cs173/2012/OnLine/"/>
	<rdf:li rdf:resource="https://github.com/dmbarbour/Sirea/blob/master/README.md"/>
	<rdf:li rdf:resource="http://www.cs.berkeley.edu/~bodik/hack_your_language.html"/>
	<rdf:li rdf:resource="http://julialang.org/manual/"/>
	<rdf:li rdf:resource="http://factor-language.blogspot.com/2009/05/factor-vm-ported-to-c.html"/>
	<rdf:li rdf:resource="http://james-iry.blogspot.com/2009/05/brief-incomplete-and-mostly-wrong.html"/>
      </rdf:Seq>
    </items>
  </channel><item rdf:about="http://siek.blogspot.nl/2012/07/crash-course-on-notation-in-programming.html">
    <title>Jeremy Siek: Crash Course on Notation in Programming Language Theory</title>
    <dc:date>2014-01-12T02:36:01+00:00</dc:date>
    <link>http://siek.blogspot.nl/2012/07/crash-course-on-notation-in-programming.html</link>
    <dc:creator>tlockney</dc:creator><dc:subject>programming pl plt programminglanguages</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:tlockney/b:42bede3d0d8d/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:pl"/>
	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:plt"/>
	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:programminglanguages"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.cs.cmu.edu/~rwh/courses/hott/">
    <title>15-819 Homotopy Type Theory</title>
    <dc:date>2013-11-06T17:27:24+00:00</dc:date>
    <link>http://www.cs.cmu.edu/~rwh/courses/hott/</link>
    <dc:creator>tlockney</dc:creator><dc:subject>homotopy programminglanguages</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:tlockney/b:936c06ac7b04/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:homotopy"/>
	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:programminglanguages"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://scs.hosted.panopto.com/Panopto/Pages/Sessions/List.aspx#folderID=%2207756bb0-b872-4a4a-95b1-b77ad206dab3%22&amp;sortColumn=1&amp;sortAscending=true">
    <title>2013 Fall: 15-819 Advanced Topics in Programming Languages : Panopto</title>
    <dc:date>2013-11-06T17:27:17+00:00</dc:date>
    <link>http://scs.hosted.panopto.com/Panopto/Pages/Sessions/List.aspx#folderID=%2207756bb0-b872-4a4a-95b1-b77ad206dab3%22&amp;sortColumn=1&amp;sortAscending=true</link>
    <dc:creator>tlockney</dc:creator><dc:subject>homotopy programminglanguages</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:tlockney/b:b1b0a8caf668/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:homotopy"/>
	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:programminglanguages"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.mpi-sws.org/~rossberg/publications.html">
    <title>andreas rossberg // publications</title>
    <dc:date>2013-10-31T04:28:10+00:00</dc:date>
    <link>http://www.mpi-sws.org/~rossberg/publications.html</link>
    <dc:creator>tlockney</dc:creator><dc:subject>ml programminglanguages</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:tlockney/b:4d0d0da6c680/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:ml"/>
	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:programminglanguages"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://fdatamining.blogspot.hk/2012/12/a-reading-list-on-languages-in-ml-family.html?m=1">
    <title>F# and Data Mining: A reading list on F# and other ML languages</title>
    <dc:date>2013-06-15T14:54:33+00:00</dc:date>
    <link>http://fdatamining.blogspot.hk/2012/12/a-reading-list-on-languages-in-ml-family.html?m=1</link>
    <dc:creator>tlockney</dc:creator><dc:subject>ml programminglanguages</dc:subject>
<dc:identifier>https://pinboard.in/u:tlockney/b:88d823091fd9/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:ml"/>
	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:programminglanguages"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.cs.utexas.edu/~wcook/anatomy/">
    <title>Anatomy of Programming Languages</title>
    <dc:date>2013-03-07T04:41:39+00:00</dc:date>
    <link>http://www.cs.utexas.edu/~wcook/anatomy/</link>
    <dc:creator>tlockney</dc:creator><description><![CDATA[Programming Languages textbook in #Haskell
✓Functions & Closures
✓Recursion & Fixed Points
Next?? Monads | Types?
]]></description>
<dc:subject>haskell programminglanguages</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:tlockney/b:89e8d2432b6d/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:haskell"/>
	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:programminglanguages"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.cs.brown.edu/courses/cs173/2012/Videos/">
    <title>Programming Languages: On-Line Offering: Lecture Notes &amp; Videos</title>
    <dc:date>2012-09-29T06:12:07+00:00</dc:date>
    <link>http://www.cs.brown.edu/courses/cs173/2012/Videos/</link>
    <dc:creator>tlockney</dc:creator><dc:subject>cs programminglanguages</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:tlockney/b:db1c08c02cba/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:cs"/>
	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:programminglanguages"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://www.coursera.org/course/proglang">
    <title>Programming Languages | Coursera</title>
    <dc:date>2012-08-08T18:43:51+00:00</dc:date>
    <link>https://www.coursera.org/course/proglang</link>
    <dc:creator>tlockney</dc:creator><description><![CDATA[More interesting CS stuff coming from @coursera. This one teaches programming languages through ML, Racket and Ruby ]]></description>
<dc:subject>programminglanguages racket ml coursera</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:tlockney/b:5d5a7a5835a6/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:programminglanguages"/>
	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:racket"/>
	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:ml"/>
	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:coursera"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.cs.brown.edu/courses/cs173/2012/OnLine/">
    <title>Brown CS: CSCI 1730: Programming Languages: On-Line Offering</title>
    <dc:date>2012-08-06T18:05:48+00:00</dc:date>
    <link>http://www.cs.brown.edu/courses/cs173/2012/OnLine/</link>
    <dc:creator>tlockney</dc:creator><description><![CDATA[Free upper-level on-line course in Programming Languages from S. Krishnamurthi @ Brown ]]></description>
<dc:subject>programming learning education programminglanguages</dc:subject>
<dc:source>https://twitter.com/</dc:source>
<dc:identifier>https://pinboard.in/u:tlockney/b:98ee36f87e8e/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:learning"/>
	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:education"/>
	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:programminglanguages"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://github.com/dmbarbour/Sirea/blob/master/README.md">
    <title>Sirea/README.md at master · dmbarbour/Sirea · GitHub</title>
    <dc:date>2012-08-02T00:13:40+00:00</dc:date>
    <link>https://github.com/dmbarbour/Sirea/blob/master/README.md</link>
    <dc:creator>tlockney</dc:creator><dc:subject>rdp programminglanguages</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:tlockney/b:ae2cc4c55256/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:rdp"/>
	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:programminglanguages"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.cs.berkeley.edu/~bodik/hack_your_language.html">
    <title>Untitled (http://www.cs.berkeley.edu/~bodik/hack_your_language.html)</title>
    <dc:date>2012-02-19T14:19:28+00:00</dc:date>
    <link>http://www.cs.berkeley.edu/~bodik/hack_your_language.html</link>
    <dc:creator>tlockney</dc:creator><description><![CDATA["Hack Your Language" PL coursework from Ras Bodik () via @brrian]]></description>
<dc:subject>courses cs lectures programminglanguages</dc:subject>
<dc:source>https://twitter.com/</dc:source>
<dc:identifier>https://pinboard.in/u:tlockney/b:741582eea028/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:courses"/>
	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:cs"/>
	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:lectures"/>
	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:programminglanguages"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://julialang.org/manual/">
    <title>The Julia Manual</title>
    <dc:date>2012-02-18T23:18:18+00:00</dc:date>
    <link>http://julialang.org/manual/</link>
    <dc:creator>tlockney</dc:creator><description><![CDATA[Dynamic programming language design has been frustratingly stagnant glad someone else thinks so ]]></description>
<dc:subject>math programming programminglanguages pl</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:tlockney/b:21289879cc45/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:math"/>
	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:programminglanguages"/>
	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:pl"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://factor-language.blogspot.com/2009/05/factor-vm-ported-to-c.html">
    <title>Factor: a practical stack language: Factor VM ported to C++</title>
    <dc:date>2009-05-09T18:36:30+00:00</dc:date>
    <link>http://factor-language.blogspot.com/2009/05/factor-vm-ported-to-c.html</link>
    <dc:creator>tlockney</dc:creator><dc:subject>vm c c++ factor programminglanguages</dc:subject>
<dc:identifier>https://pinboard.in/u:tlockney/b:6d48ab03b5b7/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:vm"/>
	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:c"/>
	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:c++"/>
	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:factor"/>
	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:programminglanguages"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://james-iry.blogspot.com/2009/05/brief-incomplete-and-mostly-wrong.html">
    <title>One Div Zero: A Brief, Incomplete, and Mostly Wrong History of Programming Languages</title>
    <dc:date>2009-05-08T05:20:07+00:00</dc:date>
    <link>http://james-iry.blogspot.com/2009/05/brief-incomplete-and-mostly-wrong.html</link>
    <dc:creator>tlockney</dc:creator><dc:subject>humor programminglanguages</dc:subject>
<dc:identifier>https://pinboard.in/u:tlockney/b:5c900503b9a0/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:humor"/>
	<rdf:li rdf:resource="https://pinboard.in/u:tlockney/t:programminglanguages"/>
</rdf:Bag></taxo:topics>
</item>
</rdf:RDF>