Programming

There is a newer version of the record available.

Published June 2, 2025 | Version v2
Software Open

utahplt/ifT-benchmark: Programming 10.2 Artifact

Authors/Creators

  • 1. @utahplt
  • 2. University of Utah

Description

If T: Benchmark for Type Narrowing

Files

utahplt/ifT-benchmark-programming-10-2-artifact-zenodo.zip

Files (1.6 GB)

Name Size Download all
md5:43ca5920a4108bcf8b1231e7ac135a9d
762.6 MB Download
md5:e5017d52a51e81b4cdb7bfc8ed9bf5bd
838.8 MB Download
md5:b05d453285d06a992bd6835297e01c33
50.0 kB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/utahplt/ifT-benchmark/tree/programming-10-2-artifact-zenodo (URL)

Software

Repository URL
https://github.com/utahplt/ifT-benchmark