Georgios Karachalias
According to our database1,
Georgios Karachalias
authored at least 12 papers
between 2015 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Crème de la Crem: Composable Representable Executable Machines (Architectural Pearl).
CoRR, 2023
No Unification Variable Left Behind: Fully Grounding Type Inference for the HDM System.
Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023
Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture, 2023
2021
2020
Proc. ACM Program. Lang., 2020
2019
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019
2018
Proceedings of the Programming Languages and Systems, 2018
2017
Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies!
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017
2015
GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness.
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015