Published November 7, 2023 | Version v2
Software documentation Open

Artifact for "API-driven Program Synthesis for Testing Static Typing Implementations"

Authors/Creators

  • 1. ETH Zurich
  • 2. Imperial College London

Description

This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis for Testing Static Typing Implementations".

Files

thalia-popl-eval.zip

Files (507.9 MB)

Name Size
md5:0eb98169a3c32c90e4eed6c206be0f4e
507.9 MB Preview Download

Additional details

Dates

Available
2023-11-07