0:00 / 0:00
ICFP 2018 Keynote Address: Gradual Typing
ICFP Video
3.8K subscribers • 33 videos on Hallway
- Recommended by 2 people: 1 on Lobsters and 1 in engineering communities.
- Presented by Ronald Garcia
Advanced. Deep dive for people who know the field.
1.7K views8 years ago2 recommendations
Programming languagesLanguage design and type systems
Ronald Garcia explains the history, theory, and design space of gradual typing.
Gradual Typing, presented by Ronald GarciaWhy it's here
2 people recommend thisWhat people say. Recommended as a comprehensive introduction to the theory and design of gradual typing.
u/jmiteGrad Student | Theory, Programming Languagesin r/compsci • Recommends
Introduction to Gradual Typing (ICFP Keynote)
u/jmitein r/ProgrammingLanguages • Mentions
On “Best colleges for studying PLT as undergrad?”
Just to add to the list, we've got a good little PL group at UBC in Canada (not the US, but literally an hour's drive away from the border)
* Ron Garcia, who recently gave an ICFP Keynote
* Gregor Kiczales, who was one of the original creators of Aspect Oriented Programming
* William Bowman, a recent PhD graduate supervised by Amal Ahmed, will be joining UBC as Faculty in January.
UBC is generally ranked as a top CS school in Canada. Our introductory programming course is based on How To Design Programs in Racket, there's 3 upper-year Undergrad PL classes (Logic/Functional Programming, Programming Languages, Compilers) and 2 graduate classes (PL Theory, Advanced Compilers).
Other PL res…