YoVDO

Towards Tagless Interpretation of Stratified System F

Offered By: ACM SIGPLAN via YouTube

Tags

Type Theory Courses Functional Programming Courses Polymorphism Courses Lambda Calculus Courses Agda Courses

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

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