Pattern Calculus: Computing with Functions and Structures

DSpace/Manakin Repository

Search OPUS


Advanced Search

Browse

My Account

Show simple item record

dc.contributor.author Jay, B
dc.date.accessioned 2010-07-13T08:45:58Z
dc.date.issued 2009-01
dc.identifier.citation 2009, 1
dc.identifier.isbn 978-3-540-89184-0
dc.identifier.other A1 en_US
dc.identifier.uri http://hdl.handle.net/10453/12400
dc.description.abstract The pattern calculus is a new foundation for computation, in which the expressive power of functions and of data structures are fruitfully combined within pattern-matching functions. The best of existing foundations focus on either functions (in the lambda-calculus) or on data structures (in Turing machines) or compromise on both (as in object-orientation). By contrast, a small typed pattern calculus supports all the main programming styles, including functional, imperative, object-oriented and query-based styles. Indeed, it may help to support web services, to the extent that these are generic functions applied to partially specified data structures.
dc.publisher Springer
dc.relation.isbasedon 10.1007/978-3-540-89185-7
dc.subject pattern calculus, foundations of computing, bondi, type theory, polymorphism.
dc.subject pattern calculus; foundations of computing; bondi; type theory; polymorphism.
dc.title Pattern Calculus: Computing with Functions and Structures
dc.type Book
dc.journal.number en_US
dc.publocation New York, USA en_US
dc.publocation New York, USA
dc.identifier.startpage en_US
dc.identifier.endpage en_US
dc.cauo.name FEIT.School of Software en_US
dc.conference Verified OK en_US
dc.for 0802 Computation Theory and Mathematics
dc.personcode 930303 en_US
dc.percentage 100 en_US
dc.classification.name Computation Theory and Mathematics en_US
dc.classification.type FOR-08 en_US
dc.edition 1 en_US
dc.edition 1
dc.custom en_US
dc.date.activity en_US
dc.location.activity en_US
dc.description.keywords pattern calculus; foundations of computing; bondi; type theory; polymorphism. en_US
dc.description.keywords pattern calculus
dc.description.keywords foundations of computing
dc.description.keywords bondi
dc.description.keywords type theory
dc.description.keywords polymorphism.
dc.staffid en_US
dc.staffid 930303 en_US
pubs.embargo.period Not known
pubs.organisational-group /University of Technology Sydney
pubs.organisational-group /University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group /University of Technology Sydney/Faculty of Engineering and Information Technology/School of Software
pubs.organisational-group /University of Technology Sydney/Strength - Quantum Computation and Intelligent Systems


Files in this item

This item appears in the following Collection(s)

Show simple item record