User loginNavigation |
ACM Sigplan Outstanding Dissertation AwardI got the following from Susan Eisenbach. I know several LtU regulars who should definitely be in the short list for this award! Please note the January 3rd deadline and make sure you (or your students) are nominated. As noted in the announcement, earning awards such as these can have significant and positive effects on ones career.
By Ehud Lamm at 2012-11-06 22:06 | General | login or register to post comments | other blogs | 14090 reads
Records, sums, cases, and exceptions: Row-polymorphism at workVideo: Records, sums, cases, and exceptions: Row-polymorphism at work, Matthias Blume.
Found this to be an enjoyable and thorough overview of MLPolyR, a language created for a PL course that goes all-out on various dimensions of row polymorphism, resulting in a small yet powerful language. (previously) By Manuel J. Simoni at 2012-11-01 10:12 | Implementation | Type Theory | 4 comments | other blogs | 20068 reads
Rob Pike on Go at GoogleNot a lot here on Go at Google really. Mostly a general overview of the language, whose major selling point seems to be that it was designed by famous people and is in use at Google. Visi.ioVisi.io comes from David Pollak and aims at revolutionizing building tablet apps, but the main attraction now seems to be in exploring the way data flow and cloud computing can be integrated. The screencast is somewhat underwhelming but at least convinces me that there is a working prototype (I haven't looked further than the website as yet). The vision document has some nice ideas. Visi.io came up recently in the discussion of the future of spreadsheets. By Ehud Lamm at 2012-10-27 09:36 | Functional | Logic/Declarative | Parallel/Distributed | 2 comments | other blogs | 15553 reads
Milner Symposium 2012The Milner Symposium 2012 was held in Edinburgh this April in memory of the late Robin Milner.
The programme consisted of academic talks by colleagues and past students. The talks and slides are available online. I particularly liked the interleaving of the personal and human narrative underlying the scientific journey. A particularly good example is Joachim Parrow's talk on the origins of the pi calculus. Of particular interest to LtU members is the panel on the future of functional programming languages, consisting of Phil Wadler, Xavier Leroy, David MacQueen, Martin Odersky, Simon Peyton-Jones, and Don Syme. By Ohad Kammar at 2012-10-16 17:31 | Functional | General | History | Parallel/Distributed | Semantics | Theory | 3 comments | other blogs | 15992 reads
Strange Loop 2012 Video ScheduleThe schedule is here. Barbara Liskov, Greg Morrisett, Guy Steele keynoting ACM conference on High Integrity Language Technology in Boston, Dec. 2012A new ACM conference focused on High-Integrity Language Technology is coming to Boston in Dec. 2012. Keynote speakers at HILT2012 include programming language luminaries Barbara Liskov of MIT, Greg Morrisett of Harvard, and Guy Steele of Oracle Labs. Guy Steele wrote the original two Lambda the Ultimate ... papers, and is the father (or at least the sage uncle) of many important programming languages. Barbara Liskov is of course a recent ACM Turing Award winner, and brought the whole notion of abstraction to modern programming languages, and Greg Morrisett is a pioneer in providing secure programming at the very lowest levels of abstraction. Information on all five of the keynotes, the overall schedule, registration, and accommodations is available at: TypeScript: Design-Time tool for Application-scale JavaScript developmentTypeScript starts from the syntax and semantics that millions of JavaScript developers know today. With TypeScript, you can use existing JavaScript code, incorporate popular JavaScript libraries, and be called from other JavaScript code. TypeScript compiles to clean, simple JavaScript code which runs on any browser, in Node.js, or in any other ES3-compatible environment. TypeScript offers classes, modules, and interfaces to help you build robust components. These features are available at development time for high-confidence application development, but are compiled into simple JavaScript. TypeScript types let you define interfaces between software components and to gain insight into the behavior of existing JavaScript libraries. Learnable ProgrammingBret Victor wrote another great essay, Learnable Programming: Designing a programming system for understanding programs, in the wake of StrangeLoop.
Bret Victor writes in a flowing, highly accessible, and richly exampled style that I have, perhaps unfairly, come to expect from him. This essay will be of great interest to anyone who is exploring live programming, interactive programming, augmented programming, or integration of programming language with development environment. TOPLAP, a community for live coding since 2004, provides a little extra context for the essay. Tiny Transactions on Computer Science
This is an interesting idea: CS papers whose body fits in 140 characters - the abstract may be longer, watering the concept down a bit. |
Browse archives
Active forum topics |
Recent comments
22 weeks 2 days ago
22 weeks 3 days ago
22 weeks 3 days ago
44 weeks 4 days ago
48 weeks 6 days ago
50 weeks 3 days ago
50 weeks 3 days ago
1 year 1 week ago
1 year 5 weeks ago
1 year 5 weeks ago