Published October 13, 2025 | Version v1
Software Open

Lazy Linearity for a Core Functional Language (Artifact)

Authors/Creators

  • 1. ROR icon Instituto Superior Técnico
  • 2. ROR icon Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento
  • 3. Well Typed, LLC

Description

Artifact for POPL paper Lazy Linearity for a Core Functional Language. The artifact consists of a tarball with the contents of an hackage repo. The repo contains a GHC plugin implementation of the Linear Core system.

Files

Files (26.2 kB)

Name Size
md5:775279f3779f694a5552c416c3831b7a
26.2 kB Download

Additional details

Software

Repository URL
https://hackage.haskell.org/package/linear-core-prototype-0.1.0.0
Programming language
Haskell