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

Registered user since Sun 20 Sep 2015

Name:Georgios Karachalias
Country:Belgium
Affiliation:KU Leuven, Belgium
Personal website:https://people.cs.kuleuven.be/~george.karachalias/
Research interests:Programming Languages' Design and Implementation, Type Systems, Formal Verification, Compilers, Mathematical Logic, Functional Programming

Contributions

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