Csongor is a PhD student at Imperial College London, interested in functional programming languages, generic programming, and type theory.
He is the author of the generic-lens library and is a passionate Stepmania player.
Talks I've Given
-
Higher-Order Type-Level Programming
Featuring Csongor Kiss
Thanks to its myriad of extensions, GHC's type system has come a long way in offering a powerful language for expressing complex programs at the type-level.
type-level-programming haskell ghc types -
3
Lightning Talks 2
Featuring Robert Henderson, Philip Cunningham and Csongor Kiss
-
Generating Elm data types using GHC Generics
Featuring Csongor Kiss
Haskell is well established as a backend language for client-server applications, and at the same time, new functional languages are gaining popularity on the frontend side. Implementing a client-server communication API, it is very important that there is a seamless conversion between the data...
haskell haskell-x ghc-generics elm