∃xistential Type » lf http://existentialtype.net For People Who Like Type and Types Sat, 12 May 2012 16:35:10 +0000 en hourly 1 http://wordpress.org/?v=3.3.2 Out with the cheese, in with the pastry http://existentialtype.net/2008/12/19/out-with-the-cheese-in-with-the-pastry/ http://existentialtype.net/2008/12/19/out-with-the-cheese-in-with-the-pastry/#comments Fri, 19 Dec 2008 17:14:06 +0000 washburn http://existentialtype.net/?p=269 I have unfortunately been quite busy the past several months, and have not had as much time to write about what I have been doing as I would have liked.  For the most part, I have been splitting my time between teaching and research.  I will hopefully go into more detail about the latter in the near future.

However, I figured I should take some time now, before I leave for my first proper vacation in a year, to announce that I have accepted a postdoc position at ITU in Copenhagen with Carsten Schürmann.  This has been in the works for a while now, but this week I finally was able to make it official.  My plan is to start at ITU at the beginning of March, where I will be working on things relating to the LF family of logical frameworks, Twelf, and Delphin.

There are probably a vanishingly small number of you that care about what this means for Scala Classic, but I hope to write something much more detailed about it when I get back from my vacation.  I'll leave you in suspense with the short answer: despite all my efforts, it simply is not possible to prove it sound without making it a very different language.  Which is rather unfortunate.

]]> http://existentialtype.net/2008/12/19/out-with-the-cheese-in-with-the-pastry/feed/ 4