Published March 9, 2023
| Version v1
Software
Open
Artifact for "Live Pattern Matching with Typed Holes"
Authors/Creators
- 1. Purdue University
- 2. University of Michigan
- 3. University of Washington
Description
The artifact includes an Agda proof mechanization and an OCaml implementation.
Files
pattern-artifacts-oopsla23-camera-ready.zip
Files
(131.2 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:96358483f65cbfabe9c81a9ba95e4fa9
|
131.2 kB | Preview Download |