Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kodippilige Hashan Sharindu Kodippilige
conf.researchr.org general profile
ICFP 2026 profile
Registered user since Wed 22 Jul 2026
Name:
Kodippilige
Hashan Sharindu Kodippilige
Contributions
2026
miniKanren
Author of Lightweight Runtime Security Policy Verification Using an Embeddable C++ miniKanren within the miniKanren 2026-track
Share
x
Mon 14 Sep 23:36