Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.

Researcher

Georgios Karachalias

Profile

Projects

Publications

Activities

Awards & Distinctions

1 Result

2015

GADTs meet their match : pattern-matching warnings that account for GADTs, guards, and laziness

Georgios KarachaliasTom SchrijversDimitrios VytiniotisSimon Peyton Jones

P1 Conference

2015