Towards Tagless Interpretation of Stratified System F

Offered By: ACM SIGPLAN via YouTube

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!

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 Functional Program Design in Scala
École Polytechnique Fédérale de Lausanne via Coursera Paradigms of Computer Programming
Université catholique de Louvain via edX Introduction to Functional Programming
Delft University of Technology via edX Paradigms of Computer Programming – Fundamentals
Université catholique de Louvain via edX