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

Name: Strongly Typed System F in GHC • Stephanie Weirich • YOW! 2020
Uploaded: 2023-11-05T00:00:00.000Z
Duration: 2845 s
Description: Video Strongly Typed System F in GHC • Stephanie Weirich • YOW! 2020

(link)

Channel: GOTO Conferences