Lab Lunch calendar

Recent Posts
Recent Comments
 URL on Two views of programming language design
 My Homepage on Leaving the Nest: variables with interleaving scopes
 Dan Ghica on Categorical semantics of digital circuits
 So what is a “pure programming language” anyway?  The Lab Lunch on Types: computation vs. interaction
 Dan Ghica on A short fable of software engineering vs. regular engineering
Archives
Categories
Meta
Blogroll
 Existential Type, Bob Harper’s blog
 Gagalium OCaml and Coq development team
 Mathematics and Computation, Andrej Bauer’s blog
 Semantic Domain, Neel Krishnaswami’s blog
Category Archives: General
Moving sites
From now on new posts will appear on my Blogger site: http://danghica.blogspot.co.uk/. This is for both technical (the comment system on this site, the occasional crashes) and personal (I may want to post personal or political opinions which need not … Continue reading
Posted in General
Leave a comment
Why is lambda calculus named after that specific Greek letter? Do not believe the rumours!
A common myth in theoretical computer science is that the ‘λ’ in λcalculus comes from some kind of typographical error, where the intended notation was a circumflex accent ŷ.M, which became a caret ^y.M then finally a lambda λy.M. At … Continue reading
Posted in General, programming languages, teaching
Leave a comment
Learn OCaml!
I have been teaching OCaml to first year undergraduate students for a few years now. Why not share it with the world? To access the course follow the link at the bottom of the page. Here is what you will … Continue reading
Posted in General
Leave a comment
A short fable of software engineering vs. regular engineering
An acquaintance recently took up an assembly line job with McLaren automotive — the people who make F1 and luxury sports cars. Before this gig, he used to work from his garage doing custom body and paint work, and developed … Continue reading
Posted in General
2 Comments
A simple proof checker for teaching
For the last few years I have been teaching functional programming to first year students. One of the main benefits of using functional programming is that you can prove simple, but nontrivial, properties of simple programs, for example, that the … Continue reading
Posted in General
Leave a comment
Real time real numbers
At the Synchronous languages workshop I have attended a very interesting and amusing talk given by Timothy Bourke and Marc Pouzet regarding real time real number computation and simulation. It’s a take on the classic puzzle: Suppose that two cars … Continue reading
Posted in General
5 Comments
Hello!
This is, or rather it is going to be, the research blog of the people who do theoretical computer science at the University of Birmingham. More precisely, it is going to be the online presence of the Lab Lunch, our … Continue reading
Posted in General
Leave a comment