<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	xmlns:georss="http://www.georss.org/georss" xmlns:geo="http://www.w3.org/2003/01/geo/wgs84_pos#" xmlns:media="http://search.yahoo.com/mrss/"
	>

<channel>
	<title>Eduardo Valle's Blog &#187; learning</title>
	<atom:link href="http://blog.eduardovalle.com/category/learning/feed/" rel="self" type="application/rss+xml" />
	<link>http://blog.eduardovalle.com</link>
	<description>Technology, Science, Teaching</description>
	<lastBuildDate>Tue, 31 Jan 2012 17:34:52 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.com/</generator>
<cloud domain='blog.eduardovalle.com' port='80' path='/?rsscloud=notify' registerProcedure='' protocol='http-post' />
<image>
		<url>http://0.gravatar.com/blavatar/2cf041ece49fe721f7b3ab857fd394e0?s=96&#038;d=http%3A%2F%2Fs2.wp.com%2Fi%2Fbuttonw-com.png</url>
		<title>Eduardo Valle's Blog &#187; learning</title>
		<link>http://blog.eduardovalle.com</link>
	</image>
	<atom:link rel="search" type="application/opensearchdescription+xml" href="http://blog.eduardovalle.com/osd.xml" title="Eduardo Valle&#039;s Blog" />
	<atom:link rel='hub' href='http://blog.eduardovalle.com/?pushpress=hub'/>
		<item>
		<title>Lambda Calculus</title>
		<link>http://blog.eduardovalle.com/2010/01/11/lambda-calculus/</link>
		<comments>http://blog.eduardovalle.com/2010/01/11/lambda-calculus/#comments</comments>
		<pubDate>Mon, 11 Jan 2010 20:22:46 +0000</pubDate>
		<dc:creator>eduardovalle</dc:creator>
				<category><![CDATA[learning]]></category>
		<category><![CDATA[Bruno Abrahão]]></category>
		<category><![CDATA[lambda calculus]]></category>
		<category><![CDATA[programming languages]]></category>

		<guid isPermaLink="false">http://blog.eduardovalle.com/?p=188</guid>
		<description><![CDATA["...his course covered extremely abstract topics, mostly concerning deep formal issues, like how the semantics of P.L. can be constructed. We have started with lambda calculus, and from that innocent foundation, erected a progressively complex conceptual lattice..." <a href="http://blog.eduardovalle.com/2010/01/11/lambda-calculus/">Continue reading <span class="meta-nav">&#8594;</span></a><img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=blog.eduardovalle.com&amp;blog=5647288&amp;post=188&amp;subd=eduardovalle&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p>While we both enjoy our Summer breaks in our hometown, my good friend <a title="Bruno's Homepage, at Cornell" href="http://www.cs.cornell.edu/~abrahao/" target="_blank">Bruno Abrahão</a>, who is now a Ph.D. candidate at <a title="Cornell University Homepage" href="http://www.cornell.edu/" target="_blank">Cornell University</a>, asked me if he could, as a preparation for an upcoming exam, teach me a lesson on Advanced Programming Languages. I eagerly accepted, not only for the opportunity of spending time with him, but also for the enjoyment of learning something new.</p>
<p>My last proper lesson on P.L. was on my undergrads, probably more than ten years ago. Certainly, it was nothing like the one he taught me: his course covered extremely abstract topics, mostly concerning deep formal issues, like how the semantics of P.L. can be constructed. We have started with <a title="Lambda calculus, on Wikipedia" href="http://en.wikipedia.org/wiki/Lambda_calculus" target="_blank">lambda calculus</a>, and from that innocent foundation, erected a progressively complex conceptual lattice&#8230;</p>
<p>I don&#8217;t know if he had planned a self-contained lesson, but as it turned out, we just greedily browsed the <a title="Advance Programming Languages, at Cornell CS" href="http://www.cs.cornell.edu/courses/cs6110/2009sp/" target="_blank">syllabus</a>, stopping at everything that looked noteworthy. He would ask me &#8220;let me know when you get tired&#8221; and I would answer &#8220;not yet, please, go on&#8221;. We visited <em>a lot</em> of material, throwing haphazardly away everything whose &#8220;interest / length of exposition&#8221; ratio seemed unpromising.</p>
<p>When we finally became aware of the time, four hours had passed, and we were so exhausted we could barely say our goodbyes in a proper manner.</p>
<p>But I am looking forward to do this again and pondering on how can I lure each one of my friends into teaching me a lesson. Maybe some Earl Gray and my famous banana cupcakes could do the trick&#8230;</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/eduardovalle.wordpress.com/188/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/eduardovalle.wordpress.com/188/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/eduardovalle.wordpress.com/188/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/eduardovalle.wordpress.com/188/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/eduardovalle.wordpress.com/188/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/eduardovalle.wordpress.com/188/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/eduardovalle.wordpress.com/188/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/eduardovalle.wordpress.com/188/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/eduardovalle.wordpress.com/188/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/eduardovalle.wordpress.com/188/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/eduardovalle.wordpress.com/188/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/eduardovalle.wordpress.com/188/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/eduardovalle.wordpress.com/188/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/eduardovalle.wordpress.com/188/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=blog.eduardovalle.com&amp;blog=5647288&amp;post=188&amp;subd=eduardovalle&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://blog.eduardovalle.com/2010/01/11/lambda-calculus/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/1d67588357a93d46241ad8f439419b8d?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">eduardovalle</media:title>
		</media:content>
	</item>
	</channel>
</rss>
