<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns="http://purl.org/rss/1.0/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"><channel rdf:about="https://www.bibsonomy.org/user/draganigajic/wadler"><title>BibSonomy bookmarks for /user/draganigajic/wadler</title><link>https://www.bibsonomy.org/user/draganigajic/wadler</link><description>BibSonomy RSS Feed for /user/draganigajic/wadler</description><items><rdf:Seq><rdf:li rdf:resource="http://homepages.inf.ed.ac.uk/wadler/papers/free-rectypes/free-rectypes.txt"/><rdf:li rdf:resource="http://homepages.inf.ed.ac.uk/wadler/"/><rdf:li rdf:resource="http://citeseer.ist.psu.edu/cs?q=wadler"/><rdf:li rdf:resource="http://groups.inf.ed.ac.uk/links/examples/"/><rdf:li rdf:resource="http://homepages.inf.ed.ac.uk/wadler/xml/"/><rdf:li rdf:resource="http://wadler.blogspot.com/2009/02/conal-elliot-on-type-class-morphisms.html"/></rdf:Seq></items></channel><item rdf:about="http://homepages.inf.ed.ac.uk/wadler/papers/free-rectypes/free-rectypes.txt"><title>Recursive types for free</title><description></description><link>http://homepages.inf.ed.ac.uk/wadler/papers/free-rectypes/free-rectypes.txt</link><dc:creator>draganigajic</dc:creator><dc:date>2011-07-13T18:12:56+02:00</dc:date><dc:subject>categoryTheory cs haskell wadler </dc:subject><content:encoded>&lt;a itemprop=&#034;url&#034; data-versiondate=&#034;2011-07-13T18:12:56+02:00&#034; href=&#034;http://homepages.inf.ed.ac.uk/wadler/papers/free-rectypes/free-rectypes.txt&#034; rel=&#034;nofollow&#034; class=&#034;description-link&#034;&gt;http://homepages.inf.ed.ac.uk/wadler/papers/free-rectypes/free-rectypes.txt&lt;/a&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/categoryTheory"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/cs"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/haskell"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/wadler"/></rdf:Bag></taxo:topics></item><item rdf:about="http://homepages.inf.ed.ac.uk/wadler/"><title>Philip Wadler&#039;s home page</title><description></description><link>http://homepages.inf.ed.ac.uk/wadler/</link><dc:creator>draganigajic</dc:creator><dc:date>2011-07-13T18:12:40+02:00</dc:date><dc:subject>*RIL *read 100+ cs haskell links monads papers people research wadler </dc:subject><content:encoded>&lt;a itemprop=&#034;url&#034; data-versiondate=&#034;2011-07-13T18:12:40+02:00&#034; href=&#034;http://homepages.inf.ed.ac.uk/wadler/&#034; rel=&#034;nofollow&#034; class=&#034;description-link&#034;&gt;http://homepages.inf.ed.ac.uk/wadler/&lt;/a&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/*RIL"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/*read"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/100+"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/cs"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/haskell"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/links"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/monads"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/papers"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/people"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/research"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/wadler"/></rdf:Bag></taxo:topics></item><item rdf:about="http://citeseer.ist.psu.edu/cs?q=wadler"><title>wadler - ResearchIndex citation query</title><description></description><link>http://citeseer.ist.psu.edu/cs?q=wadler</link><dc:creator>draganigajic</dc:creator><dc:date>2011-07-13T18:12:40+02:00</dc:date><dc:subject>*RIL *read bibliography citeseer wadler </dc:subject><content:encoded>&lt;a itemprop=&#034;url&#034; data-versiondate=&#034;2011-07-13T18:12:40+02:00&#034; href=&#034;http://citeseer.ist.psu.edu/cs?q=wadler&#034; rel=&#034;nofollow&#034; class=&#034;description-link&#034;&gt;http://citeseer.ist.psu.edu/cs?q=wadler&lt;/a&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/*RIL"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/*read"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/bibliography"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/citeseer"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/wadler"/></rdf:Bag></taxo:topics></item><item rdf:about="http://groups.inf.ed.ac.uk/links/examples/"><title>Links examples</title><description>The following examples are described in Links: Web Programming Without Tiers      * dictionary suggestion with database update (source)     * draggable lists (with styles) (source)     * progress bar (source)  The following examples appeared in earlier drafts of the same paper      * factorial (source)     * dictionary suggestion (with styles) (source)     * dictionary suggestion (no styles) (source)     * draggable lists (database version, no styles) (source)  Other examples      * pagination (source)     * mandelbrot sets (source)     * multi-coloured mandelbrot set (source)     * todo list (client) (source)     * todo list (server) (source)     * draggable Cropping Frame (source)     * winestore (source)     * citeseer data (source)</description><link>http://groups.inf.ed.ac.uk/links/examples/</link><dc:creator>draganigajic</dc:creator><dc:date>2011-07-13T18:12:23+02:00</dc:date><dc:subject>demo links wadler webFramework webdev </dc:subject><content:encoded>&lt;span itemprop=&#034;description&#034;&gt;The following examples are described in Links: Web Programming Without Tiers      * dictionary suggestion with database update (source)     * draggable lists (with styles) (source)     * progress bar (source)  The following examples appeared in earlier drafts of the same paper      * factorial (source)     * dictionary suggestion (with styles) (source)     * dictionary suggestion (no styles) (source)     * draggable lists (database version, no styles) (source)  Other examples      * pagination (source)     * mandelbrot sets (source)     * multi-coloured mandelbrot set (source)     * todo list (client) (source)     * todo list (server) (source)     * draggable Cropping Frame (source)     * winestore (source)     * citeseer data (source)&lt;/span&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/demo"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/links"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/wadler"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/webFramework"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/webdev"/></rdf:Bag></taxo:topics></item><item rdf:about="http://homepages.inf.ed.ac.uk/wadler/xml/"><title>XML: Some hyperlinks minus the hype</title><description>XML (eXtensibe Markup Language) is a magnet for hype: the successor to HTML for web publishing, electronic data interchange, and e-commerce. In fact, XML is just a notation for trees, little more than a verbose variant of Lisp S-expressions; and a way to define tree grammars, a poor-man&#039;s BNF. Yet this simple basis has spawned scores of specialized sub-languages: for airlines, banks, and cell phones; for astronomy, biology, and chemistry; for the DOD and the IRS.  This note is a brief guide to web resources that explain XML, the associated core technologies, describes some representative applications and lists additional applications and resources.</description><link>http://homepages.inf.ed.ac.uk/wadler/xml/</link><dc:creator>draganigajic</dc:creator><dc:date>2011-07-13T18:12:23+02:00</dc:date><dc:subject>links resources wadler xml </dc:subject><content:encoded>&lt;span itemprop=&#034;description&#034;&gt;XML (eXtensibe Markup Language) is a magnet for hype: the successor to HTML for web publishing, electronic data interchange, and e-commerce. In fact, XML is just a notation for trees, little more than a verbose variant of Lisp S-expressions; and a way to define tree grammars, a poor-man&amp;#039;s BNF. Yet this simple basis has spawned scores of specialized sub-languages: for airlines, banks, and cell phones; for astronomy, biology, and chemistry; for the DOD and the IRS.  This note is a brief guide to web resources that explain XML, the associated core technologies, describes some representative applications and lists additional applications and resources.&lt;/span&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/links"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/resources"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/wadler"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/xml"/></rdf:Bag></taxo:topics></item><item rdf:about="http://wadler.blogspot.com/2009/02/conal-elliot-on-type-class-morphisms.html"><title>Wadler&#039;s Blog: Conal Elliott on Type class morphisms</title><description></description><link>http://wadler.blogspot.com/2009/02/conal-elliot-on-type-class-morphisms.html</link><dc:creator>draganigajic</dc:creator><dc:date>2011-07-13T18:12:07+02:00</dc:date><dc:subject>conalElliot haskell wadler </dc:subject><content:encoded>&lt;a itemprop=&#034;url&#034; data-versiondate=&#034;2011-07-13T18:12:07+02:00&#034; href=&#034;http://wadler.blogspot.com/2009/02/conal-elliot-on-type-class-morphisms.html&#034; rel=&#034;nofollow&#034; class=&#034;description-link&#034;&gt;http://wadler.blogspot.com/2009/02/conal-elliot-on-type-class-morphisms.html&lt;/a&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/conalElliot"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/haskell"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/wadler"/></rdf:Bag></taxo:topics></item></rdf:RDF>