Functional Programming, Glasgow 1995: Proceedings of the 1995 Glasgow Workshop on Functional Programming, Ullapool, Scotland, 10-12 July 1995

Description

The Glasgow Functional Programming Group is the largest research centre of its kind in the UK, and its work has attained international recognition. Since 1988 the group has organised annual workshops which provide a focus for new research, and encourage interaction with other functional language researchers in both industry and academia. The eighth workshop in the series was held in Ullapool, Scotland, from 10 - 12 July 1995. The papers, which have been thoroughly revised and updated for publication, cover new research results in a wide range of topics, including formal reasoning about functional programs, graphic user interfaces, and concurrency. Together they provide a comprehensive overview of recent research in this area, which will be of interest to researchers, postgraduate students and practitioners. The full papers from the Functional Programming Workshop are available on-line at: http://www.springer.co.uk/eWiC/Workshops/Functional95.html This booklet provides the passwords needed to access the web site. Purchasing the booklet provides the user with unlimited access to the site for four years (subject, of course, to entry of the correct passwords each time) Content: Uniqueness typing in natural deduction style / E. Barendsen and S. Smetsers -- Towards a purely functional debugger for functional programs / S. Booth and S.B. Jones -- Towards a declarative language for parallel and concurrent programming / S. Breitinger and R. Loogen -- Integrating multithreading into the spineless tagless G-machine / M.M.T. Chakravarty -- Supporting reasoning about functional programs : an operational approach / G. Collins -- Algebraic formula manipulation in a functional language : a first attempt / A.J.T. Davie -- Pictures : a simple structured graphics model / S. Finne and S. Peyton Jones -- The technology behind a graphical user interface for an equational reasoning assistant / A. Gill -- A lazy, self-optimising parallel matrix library / S. Govier and P.H.J. Kelly -- Database manipulation in Haskell 1.3 / K. Hammond and P. Trinder -- The brisk project : concurrent and distributed functional systems / I. Holyer, N. Davies and C. Dornan -- Type reconstruction for SCI / H. Huang and U. Reddy -- Experiences with clean I/O / S.B. Jones -- Using types to parse natural language / M.P. Jones, P. Hudak and S. Shaumyan -- A functional logic language based on higher order narrowing / H. Kuchen -- On the granularity of divide-and-conquer parallelism / H.W. Loidl and K. Hammond -- Formal specification of interconnection networks / J. O'Donnell and G. Rünger.