Research output per year
Research output per year
-
Cheap Remarks about Concurrent Programs
Walker, M. & Runciman, C., 22 Jan 2018, (Accepted/In press) Proceedings of 14th International Symposium on Functional and Logic Programming. Springer, 15 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Extrapolate: generalizing counterexamples of functional test properties
Braquehais, R. & Runciman, C., 31 Jan 2018, (Accepted/In press) IFL 2017: 29th Symposium on the Implementation and Application of Functional Programming Languages. New York: ACM, 11 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results
Braquehais, R. & Runciman, C., 7 Sep 2017, Proceedings of the ACM SIGPLAN Haskell Symposium 2017. ACM, p. 40-51 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile
Projects
- 2 Finished
-
The Reduceron: High - level Symbolic Computing on FPGA
1/10/08 → 30/11/10
Project: Research project (funded) › Research
-
A lazy polytypic grid: generic data....
1/01/06 → 31/12/08
Project: Research project (funded) › Research
-
-
-
ACM SIGPLAN Haskell Symposium 2012
Colin Runciman (Member of programme committee)
2012Activity: Participating in or organising an event › Conference participation
Prizes
-
Peter Landin Prize for Best Paper
Runciman, Colin (Recipient), 2008
Prize: Prize (including medals and awards)
-
Most Influential ICFP Paper Award
Runciman, Colin (Recipient), 2009
Prize: Prize (including medals and awards)