Towards Tagless Interpretation of Stratified System F
Offered By: ACM SIGPLAN via YouTube
Course Description
Overview
Explore the design of an intrinsically typed, tagless interpreter for stratified System F in Agda through this 19-minute conference talk presented by Peter Thiemann and Marius Weidner at TyDe'23. Delve into the intricacies of implementing a type-safe interpreter for a powerful polymorphic lambda calculus, focusing on the challenges and solutions in creating a tagless representation. Gain insights into advanced type theory concepts and their practical applications in programming language implementation.
Syllabus
[TyDe'23] Towards Tagless Interpretation of Stratified System F (Extended Abstract)
Taught by
ACM SIGPLAN
Related Courses
Programming Languages ⅠKorea Advanced Institute of Science and Technology via Coursera Meaning Representation for Natural Language Understanding - Mariana Romanyshyn - ODSC Europe 2019
Open Data Science via YouTube Propositions as Types
Strange Loop Conference via YouTube The Road to Akka Cluster, and Beyond
Strange Loop Conference via YouTube Making a Computer Turing Complete
Ben Eater via YouTube