Csongor Kiss -

Registered user since Wed 17 Aug 2016

Name:Csongor Kiss

Country:United Kingdom

Affiliation:Imperial College London

Personal website: http://kcsongor.github.io/

Contributions

2022

ICFP

Author of Linearly Qualified Types: Generic inference for capabilities and uniqueness within the ICFP Papers and Events-track

2019

Haskell

Author of Multi-Stage Programs in Context within the Haskell 2019-track

ICFP

Author of Higher-order Type-level Programming in Haskell within the Research Papers-track

2018

ICFP

Author of Generic Deriving of Generic Traversals within the Research Papers-track

2016

FARM

Author of Demo: VoxelCAD, a collaborative voxel-based CAD tool within the FARM-track