daanx/pldi26-implicits

•Updated 7 months ago

Artifact for the PLDI'26 paper "Syntactic Implicits with Static Overloading"

Image

213

Tags for daanx/pldi26-implicits

Sort by

TAG

1.0-arm64

Last pushed 7 months by daanx

docker pull daanx/pldi26-implicits:1.0-arm64

Digest	OS/ARCH	Compressed size
2e8469a55ea3	linux/arm64	2 GB

TAG

1.0-x64

Last pushed 7 months by daanx

docker pull daanx/pldi26-implicits:1.0-x64

Digest	OS/ARCH	Compressed size
fafdc59a760a	linux/amd64	1.88 GB