PLDB Measures Concepts

kima

< >

kima is a programming language created in 2018.

Source code:

git clone https://gitlab.com/michalis_pardalos/Kima

#2903on PLDB

6Years Old

A Programming Language with static types and (currently WIP) algebraic effects.

kima website
kima on GitLab
kima first developed in https://gitlab.com/kima-lang/Kima/-/issues
kima.xyz was registered in 2019
Read more about kima on the web: 1.

PLDB - Build the next great programming language · Search · Add Language · Features · Creators · Resources · About · Blog · Acknowledgements · Queries · Stats · Sponsor · Day 605 · feedback@pldb.io · Logout