Recently Uploaded
-
Title
Investigations into inductive-recursive definitions
Creator: Malatesta, Lorenzo
Department: Department of Computer and Information Sciences
-
Title
Type inference, Haskell and dependent types
Creator: Gundry, Adam Michael
Department: Department of Computer and Information Sciences
-
TitleEvaluating readability as a factor in information security policies
Creator: Alkhurayyif, Yazeed Ahmed
Department: Department of Computer and Information Sciences
-
TitleUpdating RDF in the semantic web
Creator: Azwari, Sana Al
Department: Department of Computer and Information Sciences