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

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