Type Inference For Generic Haskell

Date: Jan 20

Time: 11:45

Room: CGN room C004

Speaker: Alexey Rodriguez Yakushev

Title: Type Inference for Generic Haskell

Abstract

This talk describes a type inference problem specific to Generic Haskell and explains a partial solution using several examples.