Document Open Access Logo

Generalizing Shape Analysis with Gradual Types (Artifact)

Authors Zeina Migeed , Jens Palsberg

PDF

Artifact Description

Thumbnail PDF
PDF
DARTS.10.2.14.pdf
  • Filesize: 457 kB
  • 2 pages

Document Identifiers

Subject Classification

ACM Subject Classification
  • Software and its engineering → Software notations and tools
  • Software and its engineering → General programming languages
Keywords
  • Gradual Types
  • Type Theory

Metrics

Artifact

Artifact Evaluation Policy

The artifact has been evaluated as described in the ECOOP 2024 Call for Artifacts and the ACM Artifact Review and Badging Policy.

Abstract

This is the artifact for the conference article below.

Cite As Get BibTex

Zeina Migeed and Jens Palsberg. Generalizing Shape Analysis with Gradual Types (Artifact). In Special Issue of the 38th European Conference on Object-Oriented Programming (ECOOP 2024). Dagstuhl Artifacts Series (DARTS), Volume 10, Issue 2, pp. 14:1-14:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/DARTS.10.2.14

Author Details

Zeina Migeed
  • University of California, Los Angeles (UCLA), CA, USA
  • Meta Platforms Inc., USA
Jens Palsberg
  • University of California, Los Angeles (UCLA), CA, USA

Related Article

  • Zeina Migeed, James Reed, Jason Ansel, and Jens Palsberg, "Generalizing Shape Analysis with Gradual Types", in 38th European Conference on Object-Oriented Programming (ECOOP 2024), LIPIcs, Vol. 313, pp. 29:1-29:28, 2024. https://doi.org/10.4230/LIPIcs.ECOOP.2024.29
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact