Artifact for Effectively Propositional Higher-Order Functional Programming

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Nicholas V. Lewchenko, Kunha Kim, Bor-Yuh Evan Chang, Gowtham Kaki
DOI: 10.5281/zenodo.18719029
Cited by: 1

Abstract

This is the artifact for the paper Effectively Propositional Higher-Order Functional Programming. Instructions for using the artifact are given in the overview.md file, found in the artifact.tar.gz archive.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
21 February 2026