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

Paalic, Emir

2000

Formats

Cite

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

Disclaimer

These documents are archival records. They are retained for historical reference only.

Need an accessible version? Use the "Get Accessible Copy" link above.

Record Appears in

Files