Edit Profile (opens in new tab) Runciman, Colin Co-Author Distance Author ID: runciman.colin Published as: Runciman, Colin; Runciman, C. Documents Indexed: 16 Publications since 1986 1 Contribution as Editor Co-Authors: 14 Co-Authors with 15 Joint Publications 104 Co-Co-Authors all top 5 Co-Authors 0 single-authored 3 Chitil, Olaf 3 Toyn, Ian 2 Bakewell, Adam 2 Naylor, Matthew 2 Wallace, Malcolm 1 Claessen, Koen 1 Dix, Alan 1 Hinze, Ralf 1 Kahrs, Stefan Michael 1 McNeill, Dan 1 Moss, Graeme E. 1 Plump, Detlef 1 Röjemo, Niklas 1 Wakeling, David Serials 5 Journal of Functional Programming 1 Theoretical Computer Science 1 Journal of Symbolic Computation 1 New Generation Computing 1 Higher-Order and Symbolic Computation Fields 16 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) 1 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 8 Publications have been cited 23 times in 21 Documents Cited by ▼ Year ▼ Freja, Hat and Hood - A comparative evaluation of three systems for tracing and debugging lazy functional programs. Zbl 0977.68818 Chitil, Olaf; Runciman, Colin; Wallace, Malcolm 8 2001 Checking the shape safety of pointer manipulations. Zbl 1088.68548 Bakewell, Adam; Plump, Detlef; Runciman, Colin 5 2004 Retrieving reusable software components by polymorphic type. Zbl 0941.68547 Runciman, Colin; Toyn, Ian 3 1991 Lazy assertions. Zbl 1108.68346 Chitil, Olaf; McNeill, Dan; Runciman, Colin 3 2004 The accepting power of unary string logic programs. Zbl 0992.68126 Matsushita, T.; Runciman, C. 1 2001 Adapting combinator and SECD machines to display snapshots of functional computations. Zbl 0603.68003 Toyn, Ian; Runciman, Colin 1 1986 New dimensions in heap profiling. Zbl 1067.68532 Runciman, Colin; Röjemo, Niklas 1 1996 Performance polymorphism. Zbl 0624.68010 Toyn, Ian; Dix, Alan; Runciman, Colin 1 1987 Checking the shape safety of pointer manipulations. Zbl 1088.68548 Bakewell, Adam; Plump, Detlef; Runciman, Colin 5 2004 Lazy assertions. Zbl 1108.68346 Chitil, Olaf; McNeill, Dan; Runciman, Colin 3 2004 Freja, Hat and Hood - A comparative evaluation of three systems for tracing and debugging lazy functional programs. Zbl 0977.68818 Chitil, Olaf; Runciman, Colin; Wallace, Malcolm 8 2001 The accepting power of unary string logic programs. Zbl 0992.68126 Matsushita, T.; Runciman, C. 1 2001 New dimensions in heap profiling. Zbl 1067.68532 Runciman, Colin; Röjemo, Niklas 1 1996 Retrieving reusable software components by polymorphic type. Zbl 0941.68547 Runciman, Colin; Toyn, Ian 3 1991 Performance polymorphism. Zbl 0624.68010 Toyn, Ian; Dix, Alan; Runciman, Colin 1 1987 Adapting combinator and SECD machines to display snapshots of functional computations. Zbl 0603.68003 Toyn, Ian; Runciman, Colin 1 1986 all cited Publications top 5 cited Publications all top 5 Cited by 45 Authors 2 Degen, Markus 2 Thiemann, Peter J. 2 Wehr, Stefan 1 Alpuente, María 1 Balat, Vincent 1 Ballis, Demis 1 Blelloch, Guy E. 1 Braßel, Bernd 1 Campbell, Graham H. 1 Chitil, Olaf 1 Di Cosmo, Roberto 1 Drewes, Frank 1 Duval, Dominique 1 Echahed, Rachid 1 Espert, Javier 1 Fiore, Marcelo P. 1 Gibbons, Phillip B. 1 Habel, Annegret 1 Hanus, Michael 1 Harper, Robert 1 Haykazyan, Levon 1 Hoffmann, Berthold 1 Luo, Yong 1 Malakhovski, J. 1 Minas, Mark 1 Mosbah, Mohamed 1 Naish, Lee 1 Noll, Thomas 1 Ochoa, Claudio 1 Plump, Detlef 1 Pope, Bernard 1 Prost, Frédéric 1 Rieger, Stefan 1 Rittri, Mikael 1 Romero, Daniel M. 1 Runciman, Colin 1 Sabry, Amr 1 Silva, Josep 1 Snelting, Gregor 1 Solov’ëv, Sergeĭ Vladimirovich 1 Spoonhower, Daniel 1 Swords, Cameron 1 Tobin-Hochstadt, Sam 1 Toyn, Ian 1 Vidal, Germán all top 5 Cited in 9 Serials 2 Journal of Functional Programming 2 Higher-Order and Symbolic Computation 1 Acta Informatica 1 Annals of Pure and Applied Logic 1 New Generation Computing 1 RAIRO. Informatique Théorique et Applications 1 Journal of Mathematical Sciences (New York) 1 The Journal of Logic and Algebraic Programming 1 Theory and Practice of Logic Programming Cited in 2 Fields 20 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) Citations by Year