Published January 20, 2025 | Version v2
Software Open

Named Arguments as Intersections, Optional Arguments as Unions (Artifact)

Authors/Creators

  • 1. ROR icon University of Hong Kong

Description

This is the artifact of the ESOP'25 paper Named Arguments as Intersections, Optional Arguments as Unions.

Files

README.md

Files (66.2 kB)

Name Size Download all
md5:e56cb444af34b556dbff2e7d6e07b6fc
1.5 kB Preview Download
md5:7cb0f8ebced02e59f08797324a692a43
64.7 kB Preview Download

Additional details

Software

Repository URL
https://github.com/yzyzsun/lambda-iu
Programming language
Coq