"People ask particularly brilliant questions when they're not forced to ask them in front of the room." - edwinbrady #OPLSS

Gradual typing and contracts, by Sam Tobin-Hochstadt

More Redex and Abstracting Abstract Machines with David Van Horn

Q&A prior to edwinbrady's last #OPLSS lecture of the year, on state and types

Second ˝Type-Driven Development in Idris” here — now with the author signature! Thanks to edwinbrady and OPLSS!

Ron Garcia on Gradual Typing Concepts #OPLSS

Amal Ahmed on compiler correctness #OPLSS

Aspiring PL researchers, apply for funding to attend PLMW@ICFP: docs.google.com/forms/d/e/1FAI…

Neel Krishnaswami on linearity and dependent types #OPLSS

More compiler correctness with Amal Ahmed #OPLSS

The unknown type in gradual typing, with Ron Garcia #OPLSS

The first lecture of the last day of this year's #OPLSS is Ron Garcia giving the formal tools for gradual typing

What is principled language interoperability? Amal Ahmed delivers the last lecture of this year's OPLSS.

The first Idris lecture by edwinbrady from this year's #OPLSS is uploaded: youtu.be/zSsCLnLS1hg The rest are on their way.

Amal Ahmed's final lecture is up: youtu.be/0P4Eul64Hyk

The second lecture by David Van Horn is up: youtube.com/watch?v=ktNrRS…

The upload of the final lecture by Neel Krishnaswami has been fixed: youtube.com/watch?v=XWTqeV…

The third lecture by David Van Horn is now up: youtu.be/2TUJxwodaaY

The fourth lecture by David Van Horn is up: youtube.com/watch?v=cMPXvE…

The final lecture by edwinbrady is up. Sorry about the sound, there was a wire unplugged for part of the recording. youtu.be/-TZn2npvY8A