For those of you interested in type-driven program synthesis:
http://www.cs.washington.edu/homes/blerner/seminal.html (quick link: http://www.cs.washington.edu/homes/blerner/files/seminal-visitdays.ppt) ----- This list is sponsored by AGIRI: http://www.agiri.org/email To unsubscribe or change your options, please go to: http://v2.listbox.com/member/?member_id=231415&user_secret=e9e40a7e
