YoVDO

Strongly Typed System F in GHC

Offered By: GOTO Conferences via YouTube

Tags

GOTO Conferences Courses Haskell Courses Software Engineering Courses Functional Programming Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the intricacies of creating a strongly typed abstract syntax for polymorphic languages in Haskell through this 47-minute conference talk from YOW! 2020. Delve into variable binding representations and investigate the boundaries of dependently typed programming in GHC. Learn from Stephanie Weirich, a Professor of Computer Science at the University of Pennsylvania, as she guides you through the challenges and solutions of implementing System F in a strongly typed manner. Gain insights into functional programming concepts, type systems, and advanced Haskell techniques that can enhance your understanding of language design and implementation.

Syllabus

Strongly Typed System F in GHC • Stephanie Weirich • YOW! 2020


Taught by

GOTO Conferences

Related Courses

Introduction to Functional Programming
Delft University of Technology via edX Functional Programming in Haskell
Chennai Mathematical Institute via Swayam An introduction to Haskell Programming
Chennai Mathematical Institute via Swayam Functional Programming in Haskell: Supercharge Your Coding
University of Glasgow via FutureLearn Introduction To Haskell Programming
Chennai Mathematical Institute via Swayam