ALL ASU ECSU ECU FSU NCCU UNCA UNCC UNCG UNCP UNCW WCU       

 

Browse All

• Titles
• Author By Last Name
• Keywords
• Departments

Theses & Dissertations

• Titles
• Author By Last Name
• Advisor By Last Name
• Keywords
• Type
• Degrees By Discipline

Submissions

• Articles, Chapters, & other finished products

Browse by Keywords - H

Select the first letter of the keywords to browse

• OTHER
• #
• '
• -
• .
• :
• 1
• 2
• 3
• 4
• 5
• 7
• 9
• A
• B
• C
• D
• E
• É
• F
• G
• H
• I
• Î
• J
• K
• L
• M
• N
• O
• P
• Q
• R
• S
• ß
• T
• U
• V
• W
• X
• Y
• Z

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

Title	Date	Creator	Publication Type	Institution
A Family Of Syntactic Logical Relations For The Semantics Of Haskell-Like Languages	2009	Johann, Patricia	Faculty	Computer Science, ASU
Free Theorems In The Presence Of seq	2004	Johann, Patricia	Faculty	Computer Science, ASU
The Impact Of seq On Free Theorems-Based Program Transformations	2006	Johann, Patricia	Faculty	Computer Science, ASU
Selective Strictness and Parametricity in Structural Operational Semantics, Inequationally	2007	Johann, Patricia	Faculty	Computer Science, ASU

• Help
• About Us

Maintained by ERIT, University Libraries, UNCG