Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Georgios Karachalias

Registered user since Sun 20 Sep 2015

Name:Georgios Karachalias
Affiliation:KU Leuven, Belgium
Research interests:Programming Languages' Design and Implementation, Type Systems, Formal Verification, Compilers, Mathematical Logic, Functional Programming


Haskell 2017 Elaboration on Functional Dependencies
Quantified Class Constraints
ICFP 2017 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
Show activities from other conferences

ICFP 2017-profile
View general profile