YesBut

Programming the Scientific Method by Barry Jay.
First uploaded on July 15, 2010, 6:35 p.m., last updated on July 15, 2010, 6:35 p.m.
Abstract:

Programming is where computing engages with the world; just as computing is applied logic, programming is applied science. The role ...

A combinatory account of internal structure by Thomas Given-Wilson, Barry Jay.
First uploaded on July 15, 2010, midnight, last updated on July 15, 2010, 7:03 p.m.
Abstract:

Traditional combinatory logic uses combinators S and K to represent all Turing-computable functions on natural numbers, but there are Turing-computable ...

Multi-polymorphic programming in bondi by Thomas Given-Wilson, Barry Jay.
First uploaded on July 16, 2010, midnight, last updated on July 16, 2010, 2:33 p.m.
Abstract:

The bondi programming language is multi-polymorphic, in that it supports four polymorphic programming styles within a small core of computation, ...

Concurrent pattern calculus in bondi by Thomas Given-Wilson.
First uploaded on July 21, 2010, 4:20 p.m., last updated on July 21, 2010, 4:20 p.m.
Abstract:

In concurrent pattern calculus two processes interact through pattern uni cation. This atomic interaction supports input, output and tests for ...

Student Intellectual Property Awareness (SIPA) Survey by Sylvan Rudduck.
First uploaded on July 16, 2010, 4:45 p.m., last updated on July 16, 2010, 4:45 p.m.
Abstract:

The purpose of this survey is to gain a general idea of the awareness of intellectual property amongst the members ...

Identifying Design Criteria for Complex Information Systems by shiva mir.
First uploaded on July 20, 2010, 3:16 p.m., last updated on July 20, 2010, 3:16 p.m.
Abstract:

This paper, describes a trend to complex information systems. First it describes complex information systems distinguishing them from complicated systems. ...