Effectively Propositional Higher-Order Functional Programming Journal Article uri icon

Overview

publication date

  • April 1, 2026

Date in CU Experts

  • April 16, 2026 5:07 AM

Full Author List

  • Lewchenko N; Kim K; Chang B-YE; Kaki G

author count

  • 4

citation count

  • 0

Other Profiles

Electronic International Standard Serial Number (EISSN)

  • 2475-1421

Additional Document Info

volume

  • 10

issue

  • OOPSLA1

number

  • ARTN 151