Jason (jcreed) wrote,
Jason
jcreed

Had an advisor meeting. Some troubling setbacks regarding what I thought would work for both unification and type inference. Grr. Had a meeting with Bob just before that that was kind of interesting, though; discussed some ideas about connecting substructural thinking to machinery for fresh names and such.

We played our little show at the closing happy hour thing for Science 2007. Quite fun! Got it all recorded, so it should be up somewhere in the next few days or so.
Tags: music, work
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 0 comments