There is a newer version of the record available.

Published October 10, 2023 | Version v1
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 (657.4 MB)

Name Size
md5:02d0ba0292c527bd5ecb9dacf4df69fc
657.4 MB Preview Download