Browse by Keywords - H

Select the first letter of the keywords to browse

There are 2 record/s using the keyword/s: haskell.

View 25 / 50 / ALL records per page.

TitleDateCreatorPublication TypeInstitution
A Family Of Syntactic Logical Relations For The Semantics Of Haskell-Like Languages2009Johann, Patricia FacultyComputer Science, ASU
Selective Strictness and Parametricity in Structural Operational Semantics, Inequationally2007Johann, Patricia FacultyComputer Science, ASU