I'm Speaking at the Big Picture Seminar at NICTA, Canberra, Tomorrow

I'm taking a vacation "back home", and will be speaking at the Big Picture Seminar at NICTA, Canberra tomorrow lunchtime.

If you're in Canberra, I hope to see you there, and if you're at NICTA I hope you can catch it on the web broadcast.

 

Reconsidering Strongly-Typed Programming in the Information Rich World

NICTA Canberra Research Laboratory, Friday 23 March 2012, Registration: 12:15pm Seminar: 12:30pm

NICTA Seminar Room, Ground Floor, 7 London Circuit, Canberra

The world is information rich, but why are our programming languages so information sparse? Especially our strongly typed languages? "Information Rich Programming" (IRP) is an emerging direction for strongly-typed language design and implementation, and the F# language is leading the way in this area. In this talk, we'll give an overview of the challenges of strongly-typed IRP against web data markets, semantic-web ontologies, databases and services. Are information spaces "just" libraries? Can we gives types to "everything", and if so, should we? We'll demonstrate what F# 3.0 offers in the area of IRP, but also highlight how information-richness makes us reconsider language design and take a look at the research problems and engineering challenges that come with the territory.

<www.nicta.com.au/nicta_events/big_picture>

Comments

  • Anonymous
    March 23, 2012
    Are you doing any talks in Sydney?

  • Anonymous
    March 25, 2012
    Don, I was there and enjoyed the talk immensely. I'm sorry that I had to leave straight afterwards so I missed the chance to ask... Is this presentation (and the examples) available on the web? I'd particularly like to see the "proper" code for the examples including the chemistry and astronomy ones. patrick at keogh dot net dot au

  • Anonymous
    March 25, 2012
    Don, I was there and enjoyed the talk immensely. I'm sorry that I had to leave straight afterwards so I missed the chance to ask... Is this presentation (and the examples) available on the web? I'd particularly like to see the "proper" code for the examples including the chemistry and astronomy ones. patrick at keogh dot net dot au