dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Colin Runciman (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdam Bakewell, Detlef Plump, Colin Runciman: Specifying Pointer Structures by Graph Reduction. AGTIVE 2003: 30-44
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdam Bakewell, Detlef Plump, Colin Runciman: Checking the Shape Safety of Pointer Manipulations. RelMiCS 2003: 48-61
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdam Bakewell, Colin Runciman: A model for comparing the space usage of lazy evaluators. PPDP 2000: 151-162
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdam Bakewell, Colin Runciman: The space usage problem: An evaluation kit for graph reduction semantics. Scottish Functional Programming Workshop 2000: 115-128
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdam Bakewell, Colin Runciman: A Space Semantics for Core Haskell. Electr. Notes Theor. Comput. Sci. 41(1): 36 (2000)
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdam Bakewell, Colin Runciman: Automated Generalisation of Function Definitions. Fuji International Symposium on Functional and Logic Programming 1999: 225-240

Selection of 6 from 63 records - Colin Runciman has 33 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page