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
Functional Programming Principles in ScalaÉcole Polytechnique Fédérale de Lausanne via Coursera Introduction à la programmation orientée objet (en Java)
École Polytechnique Fédérale de Lausanne via Coursera Functional Program Design in Scala
École Polytechnique Fédérale de Lausanne via Coursera Object-Oriented Programming
Indian Institute of Technology Bombay via edX Orientação a Objetos com Java
Instituto Tecnológico de Aeronáutica via Coursera