cse-00-007
Title
DALI: an untyped CBV operational semantics and equational theory for datatypes with binders (technical development)
Creator
Paalic, Emir
Date
2000
Content Type
Article
School
Oregon Graduate Institute
Record ID
3799
Record Created
2023-06-29