Super-naturals.

Colin Runciman University of York, UK http://www-users.cs.york.ac.uk/~colin/ https://scholar.google.com/citations?user=-AsG2jwAAAAJ https://dl.acm.org/profile/81100654458 https://zbmath.org/authors/?q=ai:runciman.colin https://orcid.org/0000-0002-0151-3233 https://www.wikidata.org/entity/Q100256415 https://id.loc.gov/authorities/names/n94076280

Ralf Hinze Colin Runciman Super-naturals. e5 2022 32 J. Funct. Program. https://doi.org/10.1017/S0956796822000028 db/journals/jfp/jfp32.html#HinzeR22

Stefan Kahrs Colin Runciman Simplifying regular expressions further. 124-143 2022 109 J. Symb. Comput. https://doi.org/10.1016/j.jsc.2021.08.003 db/journals/jsc/jsc109.html#KahrsR22

Michael Walker 0004 Colin Runciman Cheap Remarks About Concurrent Programs. 264-279 2018 FLOPS https://doi.org/10.1007/978-3-319-90686-7_17 conf/flops/2018 db/conf/flops/flops2018.html#WalkerR18 Rudy Braquehais Colin Runciman Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results. 40-51 2017 Haskell https://doi.org/10.1145/3122955.3122961 https://doi.org/10.1145/3156695.3122961 conf/haskell/2017 db/conf/haskell/haskell2017.html#BraquehaisR17 Rudy Braquehais Colin Runciman Extrapolate: generalizing counterexamples of functional test properties. 3:1-3:11 2017 IFL https://doi.org/10.1145/3205368.3205371 conf/ifl/2017 db/conf/ifl/ifl2017.html#BraquehaisR17 Rudy Braquehais Colin Runciman FitSpec: refining property sets for functional testing. 1-12 2016 Haskell https://doi.org/10.1145/2976002.2976003 conf/haskell/2016 db/conf/haskell/haskell2016.html#BraquehaisR16 Olaf Chitil Maarten Faddegon Colin Runciman A Lightweight Hat: Simple Type-Preserving Instrumentation for Self-Tracing Lazy Functional Programs. 10:1-10:14 2016 IFL https://doi.org/10.1145/3064899.3064904 conf/ifl/2016 db/conf/ifl/ifl2016.html#ChitilFR16 Michael Walker 0004 Colin Runciman Déjà Fu: a concurrency testing library for Haskell. 141-152 2015 Haskell https://doi.org/10.1145/2804302.2804306 https://doi.org/10.1145/2887747.2804306 conf/haskell/2015 db/conf/haskell/haskell2015.html#WalkerR15 José Manuel Calderón Trilla Colin Runciman Improving implicit parallelism. 153-164 2015 Haskell https://doi.org/10.1145/2804302.2804308 https://doi.org/10.1145/2887747.2804308 conf/haskell/2015 db/conf/haskell/haskell2015.html#TrillaR15 José Manuel Calderón Trilla Simon M. Poulding Colin Runciman Weaving Parallel Threads - Searching for Useful Parallelism in Functional Programs. 62-76 2015 SSBSE https://doi.org/10.1007/978-3-319-22183-0_5 conf/ssbse/2015 db/conf/ssbse/ssbse2015.html#TrillaPR15 Christopher Bak Glyn Faulkner Detlef Plump Colin Runciman A Reference Interpreter for the Graph Programming Language GP 2. GaM 2015 48-64 https://doi.org/10.4204/EPTCS.181.4 http://arxiv.org/abs/1504.02621 journals/corr/RensinkZ15 db/series/eptcs/eptcs181.html#BakFPR15

Matthew Naylor Colin Runciman The Reduceron reconfigured and re-evaluated. 574-613 2012 22 J. Funct. Program. 4-5 https://doi.org/10.1017/S0956796812000214 db/journals/jfp/jfp22.html#NaylorR12

Jason S. Reich Matthew Naylor Colin Runciman Advances in Lazy SmallCheck. 53-70 2012 IFL https://doi.org/10.1007/978-3-642-41582-1_4 conf/ifl/2012 db/conf/ifl/ifl2012.html#ReichNR12 Jason S. Reich Matthew Naylor Colin Runciman Lazy Generation of Canonical Test Programs. 69-84 2011 IFL https://doi.org/10.1007/978-3-642-34407-7_5 conf/ifl/2011 db/conf/ifl/ifl2011.html#ReichNR11 Matthew Naylor Colin Runciman The reduceron reconfigured. 75-86 2010 ICFP https://doi.org/10.1145/1863543.1863556 https://doi.org/10.1145/1932681.1863556 conf/icfp/2010 db/conf/icfp/icfp2010.html#NaylorR10

Matthew Naylor Colin Runciman Expressible sharing for functional circuit description. 67-80 2009 22 High. Order Symb. Comput. 1 https://doi.org/10.1007/s10990-009-9043-y db/journals/lisp/lisp22.html#NaylorR09

Neil Mitchell Colin Runciman Losing functions without gaining data: another look at defunctionalisation. 13-24 2009 Haskell https://doi.org/10.1145/1596638.1596641 conf/haskell/2009 db/conf/haskell/haskell2009.html#MitchellR09 David J. Duke Rita Borgo Malcolm Wallace Colin Runciman Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs. 31-45 2009 PADL https://doi.org/10.1007/978-3-540-92995-6_3 conf/padl/2009 db/conf/padl/padl2009.html#DukeBWR09 Colin Runciman Matthew Naylor Fredrik Lindblad Smallcheck and lazy smallcheck: automatic exhaustive testing for small values. 37-48 2008 Haskell https://doi.org/10.1145/1411286.1411292 https://doi.org/10.1145/1543134.1411292 conf/haskell/2008 db/conf/haskell/haskell2008.html#RuncimanNL08 Neil Mitchell Colin Runciman Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching. 49-60 2008 Haskell https://doi.org/10.1145/1411286.1411293 https://doi.org/10.1145/1543134.1411293 conf/haskell/2008 db/conf/haskell/haskell2008.html#MitchellR08 David J. Duke Rita Borgo Colin Runciman Malcolm Wallace Experience report: visualizing data through functional pipelines. 379-382 2008 ICFP https://doi.org/10.1145/1411204.1411256 https://doi.org/10.1145/1411203.1411256 https://www.wikidata.org/entity/Q60500900 conf/icfp/2008 db/conf/icfp/icfp2008.html#DukeBRW08 Andy Gill Colin Runciman Haskell program coverage. 1-12 2007 conf/haskell/2007 Haskell https://doi.org/10.1145/1291201.1291203 db/conf/haskell/haskell2007.html#GillR07 Matthew Naylor Emil Axelsson Colin Runciman A functional-logic library for wired. 37-48 2007 conf/haskell/2007 Haskell https://doi.org/10.1145/1291201.1291207 db/conf/haskell/haskell2007.html#NaylorAR07 Neil Mitchell Colin Runciman Uniform boilerplate and list processing. 49-60 2007 conf/haskell/2007 Haskell https://doi.org/10.1145/1291201.1291208 db/conf/haskell/haskell2007.html#MitchellR07 Matthew Naylor Colin Runciman The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA. 129-146 2007 IFL https://doi.org/10.1007/978-3-540-85373-2_8 conf/ifl/2007 db/conf/ifl/ifl2007.html#NaylorR07 Neil Mitchell Colin Runciman A Supercompiler for Core Haskell. 147-164 2007 IFL https://doi.org/10.1007/978-3-540-85373-2_9 conf/ifl/2007 db/conf/ifl/ifl2007.html#MitchellR07 Matthew Naylor Colin Runciman Finding Inputs that Reach a Target Expression. 133-142 2007 SCAM https://doi.org/10.1109/SCAM.2007.30 https://doi.ieeecomputersociety.org/10.1109/SCAM.2007.30 conf/scam/2007 db/conf/scam/scam2007.html#NaylorR07

David J. Duke Malcolm Wallace Rita Borgo Colin Runciman Fine-grained Visualization Pipelines and Lazy Functional Languages. 973-980 2006 12 IEEE Trans. Vis. Comput. Graph. 5 https://doi.org/10.1109/TVCG.2006.145 http://doi.ieeecomputersociety.org/10.1109/TVCG.2006.145 https://www.wikidata.org/entity/Q50189483 db/journals/tvcg/tvcg12.html#DukeWBR06

Neil Mitchell Colin Runciman A static checker for safe pattern matching in Haskell. 15-30 2005 conf/sfp/2005 Trends in Functional Programming db/conf/sfp/tfp2005.html#MitchellR05 Adam Bakewell Detlef Plump Colin Runciman Checking the Shape Safety of Pointer Manipulations. 48-61 https://doi.org/10.1007/978-3-540-24771-5_5 2003 conf/RelMiCS/2003conf RelMiCS db/conf/RelMiCS/RelMiCS2003.html#BakewellPR03 Adam Bakewell Detlef Plump Colin Runciman Specifying Pointer Structures by Graph Reduction. 30-44 https://doi.org/10.1007/978-3-540-25959-6_3 2003 conf/agtive/2003 AGTIVE db/conf/agtive/agtive2003.html#BakewellPR03 Olaf Chitil Dan McNeill Colin Runciman Lazy Assertions. 1-19 https://doi.org/10.1007/978-3-540-27861-0_1 2003 conf/ifl/2003 IFL db/conf/ifl/ifl2003.html#ChitilMR03 Colin Runciman Olin Shivers Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003 ICFP ACM 2003 https://doi.org/10.1145/944705 https://doi.org/10.1145/944746 db/conf/icfp/icfp2003.html 1-58113-756-7 Koen Claessen Colin Runciman Olaf Chitil John Hughes 0001 Malcolm Wallace Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat. 59-99 https://doi.org/10.1007/978-3-540-44833-4_3 2002 conf/afp/2002 Advanced Functional Programming db/conf/afp/afp2002.html#ClaessenRCHW02 Olaf Chitil Colin Runciman Malcolm Wallace Transforming Haskell for Tracing. 165-181 https://doi.org/10.1007/3-540-44854-3_11 2002 conf/ifl/2002 IFL db/conf/ifl/ifl2002.html#ChitilRW02

Graeme E. Moss Colin Runciman Inductive benchmarking for purely functional data structures. 525-556 2001 11 J. Funct. Program. 5 db/journals/jfp/jfp11.html#MossR01 https://doi.org/10.1017/S0956796801004063

Tatsuru Matsushita Colin Runciman The accepting power of unary string logic programs. 59-79 2001 266 Theor. Comput. Sci. 1-2 db/journals/tcs/tcs266.html#MatsushitaR01 https://doi.org/10.1016/S0304-3975(00)00011-6

Olaf Chitil Colin Runciman Malcolm Wallace Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs. 176-193 2000 conf/ifl/2000 IFL https://doi.org/10.1007/3-540-45361-X_11 db/conf/ifl/ifl2000.html#ChitilRW00 Adam Bakewell Colin Runciman A model for comparing the space usage of lazy evaluators. 151-162 2000 conf/ppdp/2000 PPDP https://doi.org/10.1145/351268.351287 db/conf/ppdp/ppdp2000.html#BakewellR00 Adam Bakewell Colin Runciman The space usage problem: An evaluation kit for graph reduction semantics. 115-128 2000 conf/sfp/2000 Scottish Functional Programming Workshop db/conf/sfp/sfp2000.html#BakewellR00 Adam Bakewell Colin Runciman A Space Semantics for Core Haskell. 2000 conf/haskell/2000 Haskell https://doi.org/10.1016/S1571-0661(05)80543-2 db/conf/haskell/haskell2000.html#BakewellR00 36 Adam Bakewell Colin Runciman Automated Generalisation of Function Definitions. 225-240 1999 conf/flops/1999 Fuji International Symposium on Functional and Logic Programming db/conf/flops/flops99.html#BakewellR99 https://doi.org/10.1007/10705424_15 Malcolm Wallace Colin Runciman Haskell and XML: Generic Combinators or Type-Based Translation? 148-159 1999 conf/icfp/1999 ICFP https://doi.org/10.1145/317636.317794 https://doi.org/10.1145/317765.317794 db/conf/icfp/icfp99.html#WallaceR99 Graeme E. Moss Colin Runciman Automated Benchmarking of Functional Data Structures. 1-15 1999 conf/padl/1999 PADL https://doi.org/10.1007/3-540-49201-1_1 db/conf/padl/padl99.html#MossR99 Nathan Charles Colin Runciman Performance Monitoring. 233-246 1999 Research Directions in Parallel Functional Programming https://doi.org/10.1007/978-1-4471-0841-2_10 books/sp/99/HM1999 db/books/collections/HM1999.html#CharlesR99 Nathan Charles Colin Runciman An Interactive Approach to Profiling Parallel Functional Programs. 20-37 https://doi.org/10.1007/3-540-48515-5_2 1998 conf/ifl/1998 IFL db/conf/ifl/ifl1998.html#CharlesR98 Malcolm Wallace Colin Runciman The Bits Between The Lambdas: Binary Data in a Lazy Functional Language. 107-117 1998 conf/iwmm/1998 ISMM https://doi.org/10.1145/286860.286872 https://doi.org/10.1145/301589.286872 db/conf/iwmm/ismm98.html#WallaceR98

Colin Runciman Lazy Wheel Sieves and Spirals of Primes. 219-225 1997 7 J. Funct. Program. 2 db/journals/jfp/jfp7.html#Runciman97 https://doi.org/10.1017/s0956796897002670 https://www.wikidata.org/entity/Q56112618

Graeme E. Moss Colin Runciman Auburn: A Kit for Benchmarking Functional Data Structures. 141-159 1997 conf/ifl/1997 Implementation of Functional Languages https://doi.org/10.1007/BFb0055429 db/conf/ifl/ifl97.html#MossR97 Jan Sparud Colin Runciman Complete and Partial Redex Trails of Functional Computations. 160-177 1997 conf/ifl/1997 Implementation of Functional Languages https://doi.org/10.1007/BFb0055430 db/conf/ifl/ifl97.html#SparudR97 Jan Sparud Colin Runciman Tracing Lazy Functional Computations Using Redex Trails. 291-308 1997 conf/plilp/1997 PLILP db/conf/plilp/plilp97.html#SparudR97 https://doi.org/10.1007/BFb0033851

Colin Runciman Niklas Röjemo New Dimensions in Heap Profiling. 587-620 1996 6 J. Funct. Program. 4 db/journals/jfp/jfp6.html#RuncimanR96 https://doi.org/10.1017/S095679680000188X

Colin Runciman Niklas Röjemo Heap Profiling for Space Efficiency. 159-183 1996 conf/afp/1996 Advanced Functional Programming db/conf/afp/afp1996.html#RuncimanR96 https://doi.org/10.1007/3-540-61628-4_6 Andrew Douglas Niklas Röjemo Colin Runciman Alan Wood Astro-Gofer: Parallel Functional Programming with Co-ordinating Processes. 686-693 1996 conf/europar/1996-1 Euro-Par, Vol. I db/conf/europar/europar96-1.html#DouglasRRW96 https://doi.org/10.1007/3-540-61626-8_90 Niklas Röjemo Colin Runciman Lag, Drag, Void and Use - Heap Profiling and Space-Efficient Compilation Revisited. 34-41 1996 conf/icfp/1996 ICFP db/conf/icfp/icfp96.html#RojemoR96 https://doi.org/10.1145/232627.232633 https://doi.org/10.1145/232629.232633 Colin Runciman Niklas Röjemo Two-Pass Heap Profiling: A Matter of Life and Death. 222-232 1996 conf/ifl/1996 Implementation of Functional Languages db/conf/ifl/ifl96.html#RuncimanR96 https://doi.org/10.1007/3-540-63237-9_27

Malcolm Wallace Colin Runciman Extending a Functional Programming System for Embedded Applications. 73-96 1995 25 Softw. Pract. Exp. 1 db/journals/spe/spe25.html#WallaceR95 https://doi.org/10.1002/spe.4380250105

Malcolm Wallace Colin Runciman Lambdas in the Liftshaft - Functional Programming and an Embedded Architecture. 249-258 1995 conf/fpca/1995 FPCA db/conf/fpca/fpca95.html#WallaceR95 https://doi.org/10.1145/224164.224213 Rob Noble Colin Runciman Gadgets: Lazy Functional Components for Graphical User Interfaces 321-340 conf/plilp/95 PLILP 1995 db/conf/plilp/plilp95.html#NobleR95 https://doi.org/10.1007/BFb0026828 Sandra P. Foubister Colin Runciman Techniques for Simplifying the Visualization of Graph Reduction. 66-77 1994 Functional Programming https://doi.org/10.1007/978-1-4471-3573-9_5 conf/fp/1994 db/conf/fp/fp1994.html#FoubisterR94 Colin Runciman Binding-time Improvement and Fold/Unfold Transformation. 218-230 1994 Functional Programming https://doi.org/10.1007/978-1-4471-3573-9_15 conf/fp/1994 db/conf/fp/fp1994.html#Runciman94 Malcolm Wallace Colin Runciman Type-Checked Message-Passing between Functional Processes. 245-254 1994 Functional Programming https://doi.org/10.1007/978-1-4471-3573-9_17 conf/fp/1994 db/conf/fp/fp1994.html#WallaceR94

Colin Runciman Ian Toyn Mike Firth An Incremental, Exploratory and Transformational Environment for the Lazy Functional Programming. 93-115 1993 3 J. Funct. Program. 1 db/journals/jfp/jfp3.html#RuncimanTF93 https://doi.org/10.1017/S0956796800000629

Colin Runciman David Wakeling Heap Profiling of Lazy Functional Programs. 217-245 1993 3 J. Funct. Program. 2 db/journals/jfp/jfp3.html#RuncimanW93 https://doi.org/10.1017/S0956796800000708

Colin Runciman David Wakeling Profiling Parallel Functional Computations (Without Parallel Machines). 236-251 1993 Functional Programming https://doi.org/10.1007/978-1-4471-3236-3_19 conf/fp/1993 db/conf/fp/fp1993.html#RuncimanW93 Dave Cattrall Colin Runciman Widening the Representation Bottleneck: A Functional Implementation of Relational Programming. 191-200 1993 conf/fpca/1993 FPCA db/conf/fpca/fpca93.html#CattrallR93 https://doi.org/10.1145/165180.165206 Colin Runciman David Wakeling Heap Profiling of a Lazy Functional Compiler. 203-214 1992 conf/fp/1992 Functional Programming db/conf/fp/fp1992.html#RuncimanW92 https://doi.org/10.1007/978-1-4471-3215-8_18 Paul Sanders Colin Runciman LZW Text Compression in Haskell. 215-226 1992 conf/fp/1992 Functional Programming db/conf/fp/fp1992.html#SandersR92 https://doi.org/10.1007/978-1-4471-3215-8_19 Dave Cattrall Colin Runciman A Relational Programming System with Inferred Representations. 475-476 1992 conf/plilp/1992 PLILP db/conf/plilp/plilp92.html#CattrallR92 https://doi.org/10.1007/3-540-55844-6_156

Colin Runciman Ian Toyn Retrieving Reusable Software Components by Polymorphic Type. 191-211 1991 1 J. Funct. Program. 2 db/journals/jfp/jfp1.html#RuncimanT91 https://doi.org/10.1017/s0956796800020049 https://www.wikidata.org/entity/Q127855371

Colin Runciman TIP in Haskell - another Exercise in Functional Programming. 278-292 1991 conf/fp/1991 Functional Programming db/conf/fp/fp1991.html#Runciman91 https://doi.org/10.1007/978-1-4471-3196-0_22 David Wakeling Colin Runciman Linearity and Laziness. 215-240 1991 conf/fpca/1991 FPCA db/conf/fpca/fpca1991.html#WakelingR91 https://doi.org/10.1007/3540543961_11

Colin Runciman Nigel Jagger Relative Specification and Transformational Re-Use of Functional Programs. 21-37 1990 3 LISP Symb. Comput. 1 db/journals/lisp/lisp3.html#RuncimanJ90

Colin Runciman Mike Firth Formalised development of software by machine assisted transformation. 115-117 1990 Formal Methods in Software Development https://doi.org/10.1145/99569.99829 https://doi.org/10.1145/99571.99829 conf/fmsd/1990 db/conf/fmsd/fmsd1990.html#RuncimanF90 Colin Runciman David Wakeling Problems & Proposals for Time & Space Profiling of Functional Programs. 237-245 1990 Functional Programming https://doi.org/10.1007/978-1-4471-3810-5_20 conf/fp/1990 db/conf/fp/fp1990.html#RuncimanW90

Colin Runciman What About the Natural Numbers? 181-191 1989 14 Comput. Lang. 3 db/journals/cl/cl14.html#Runciman89 https://doi.org/10.1016/0096-0551(89)90004-0

Colin Runciman Mike Firth Nigel Jagger Transformation in a Non-Strict Language: An Approach to Instantiation. 133-141 1989 conf/fp/1989 Functional Programming db/conf/fp/fp1989.html#RuncimanFJ89 Colin Runciman Ian Toyn Retrieving Re-Usable Software Components by Polymorphic Type. 166-173 1989 conf/fpca/1989 FPCA https://doi.org/10.1145/99370.99383 db/conf/fpca/fpca89.html#RuncimanT89

Colin Runciman Some software tools used in the development of the prototype york ada compiler. 140-144 1987 2 Softw. Eng. J. 4 https://doi.org/10.1049/sej.1987.0018 https://www.wikidata.org/entity/Q122881190 db/journals/iee/iee-sej2.html#Runciman87

Alan J. Dix Michael D. Harrison Colin Runciman Harold W. Thimbleby Interaction Models and the Principled Design of Interactive Systems. 118-126 1987 conf/esec/1987 ESEC db/conf/esec/esec87.html#DixHRT87 https://doi.org/10.1007/BFb0022105 Ian Toyn Alan J. Dix Colin Runciman Performance polymorphism. 325-346 1987 conf/fpca/1987 FPCA db/conf/fpca/fpca1987.html#ToynDR87 https://doi.org/10.1007/3-540-18317-5_18

Colin Runciman Harold W. Thimbleby Equal Opportunity Interactive Systems. 439-451 1986 25 Int. J. Man Mach. Stud. 4 db/journals/ijmms/ijmms25.html#RuncimanT86 https://doi.org/10.1016/S0020-7373(86)80070-0

Ian Toyn Colin Runciman Adapting Combinator and SEC Machines to Display Snapshots of Functional Computations. 339-363 1986 4 New Gener. Comput. 4 db/journals/ngc/ngc4.html#ToynR86 https://doi.org/10.1007/BF03037389

Colin Runciman Deriving Functional Programs from Equational Specifications. 1986 conf/adt/1986 ADT db/conf/adt/adt1986.html#Runciman86 Colin Runciman Interpreting algebraic specifications. 1983 University of York, UK https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.348273 British Library, EThOS C. W. Johnson Colin Runciman Semantic Errors - Diagnosis and Repair. 88-97 1982 conf/sigplan/1982 SIGPLAN Symposium on Compiler Construction db/conf/sigplan/sigplan82.html#JohnsonR82 https://doi.org/10.1145/800230.806983 https://doi.org/10.1145/872726.806983

Colin Runciman Scarcely variabled programming and Pascal. 97-106 1979 14 ACM SIGPLAN Notices 11 https://doi.org/10.1145/988056.988066 db/journals/sigplan/sigplan14.html#Runciman79

Emil Axelsson Christopher Bak Adam Bakewell Rita Borgo Rudy Braquehais Dave Cattrall Nathan Charles Olaf Chitil Koen Claessen Alan J. Dix Andrew Douglas David J. Duke Maarten Faddegon Glyn Faulkner Mike Firth Sandra P. Foubister Andy Gill Michael D. Harrison Ralf Hinze John Hughes 0001 Nigel Jagger C. W. Johnson Stefan Kahrs Fredrik Lindblad Tatsuru Matsushita Dan McNeill Neil Mitchell Graeme E. Moss Matthew Naylor Rob Noble Detlef Plump Simon M. Poulding Jason S. Reich Niklas Röjemo Paul Sanders Olin Shivers Jan Sparud Harold W. Thimbleby Ian Toyn José Manuel Calderón Trilla David Wakeling Michael Walker 0004 Malcolm Wallace Alan Wood