Artifact of Paper "FLAT: Formal Languages as Types"

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Fengmin Zhu
DOI: 10.5281/zenodo.18758153
Cited by: 1

Abstract

This is the artifact for the paper "FLAT: Formal Languages as Types" accepted at TOSEM. The main purpose of this artifact is to support our motivating example (in §2) and case studies (in §6).

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
24 February 2026