DALI: an untyped CBV operational semantics and equational theory  for datatypes with binders (technical development)

DALI: an untyped CBV operational semantics and equational theory for datatypes with binders (technical development)

Paalic, Emir

2000

Formats

cse-00-007

Title

DALI: an untyped CBV operational semantics and equational theory for datatypes with binders (technical development)

Creator

Paalic, Emir

Date

2000

DOI

Content Type

Article

School

Oregon Graduate Institute

Copyright Status

Usage Statement

Record ID

3799

Record Created

2023-06-29

Record Appears in