Halfway there!
I've now reviewed 12 of the submissions assigned to me. Nothing much else to say, though.
Labels: intermission
posted by Unknown @ 18:01
0 Comments
Why $\lambda$‽
A research blog about programming languages, databases, provenance, and other randomly-selected topics.
Tuesday, August 13, 2013
Previous Posts
- Recursion in R
- Defining backticks using "pipe" operations
- Summer school on bidirectional transformations
- PhD studentships in programming languages, provena...
- Reflections on monadic lenses
- Private type members in Scala aren't
- Call for participation: DBPL 2015
- Mechanized formalizations of the pi-calculus (and ...
- How to publish research accompanied by mechanicall...
- PhD and Postdoctoral Positions
Archives
- April 2013
- May 2013
- June 2013
- July 2013
- August 2013
- September 2013
- October 2013
- November 2013
- December 2013
- March 2014
- April 2014
- May 2014
- June 2014
- July 2014
- August 2014
- September 2014
- November 2014
- January 2015
- April 2015
- July 2015
- November 2015
- January 2016
- March 2016
- April 2016
- December 2017
- August 2018
- Current Posts
Subscribe to
Posts [Atom]