Colin Runciman
Colin Runciman
Professor of Computer Science, University of York, UK
確認したメール アドレス: york.ac.uk - ホームページ
タイトル引用先
Haskell 98 language and libraries: the revised report
SP Jones
Cambridge University Press, 2003
2208*2003
Haskell and XML: Generic combinators or type-based translation?
M Wallace, C Runciman
ACM SIGPLAN International Conference on Functional programming, 148-159, 1999
2671999
Smallcheck and lazy smallcheck: automatic exhaustive testing for small values
C Runciman, M Naylor, F Lindblad
ACM SIGPLAN 2008 Haskell Symposium, 37-48, 2008
1892008
Heap profiling of lazy functional programs
C Runciman, D Wakeling
Journal of Functional Programming 3 (2), 217-245, 1993
1031993
Heap profiling of lazy functional programs
C Runciman, D Wakeling
Technical Report, University of York, 1992
1031992
Retrieving reusable software components by polymorphic type
C Runciman, I Toyn
Journal of Functional Programming 1 (2), 191-212, 1991
1011991
Retrieving re-usable software components by polymorphic type
C Runciman, I Toyn
Functional Programming Languages and Computer Architecture (FPCA'89), 166-173, 1989
1011989
Multiple-view tracing for Haskell: a new Hat
M Wallace, O Chitil, T Brehm, C Runciman
ACM SIGPLAN Haskell Workshop, 151-170, 2001
932001
Tracing lazy functional computations using redex trails
J Sparud, C Runciman
Programming Languages: Implementations, Logics, and Programs, 291-308, 1997
891997
Abstract models of interactive systems
AJ Dix, C Runciman
People and Computers: Designing the Interface, 13-22, 1985
881985
Uniform boilerplate and list processing
N Mitchell, C Runciman
ACM SIGPLAN 2007 Haskell Workshop, 49-60, 2007
842007
Freja, hat and hood-a comparative evaluation of three systems for tracing and debugging lazy functional programs
O Chitil, C Runciman, M Wallace
Symposium on Implementation and Application of Functional Languages, 176-193, 2000
832000
Haskell 98–A non-strict, purely functional language
S Peyton Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, ...
791999
Lag, drag, void and use—heap profiling and space-efficient compilation revisited
N Röjemo, C Runciman
ACM SIGPLAN International Conference on Functional Programming, 34-41, 1996
731996
Report on the programming language Haskell 98, a non-strict purely functional language
SP Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, J Fasel, ...
Yale University, Department of Computer Science Tech Report YALEU/DCS/RR-ll06, 1999
661999
Haskell program coverage
A Gill, C Runciman
ACM SIGPLAN 2007 Haskell Workshop, 1-12, 2007
562007
Specifying pointer structures by graph reduction
A Bakewell, D Plump, C Runciman
International Workshop on Applications of Graph Transformations with …, 2003
552003
A Supercompiler for Core Haskell, Implementation and Application of Functional Languages: 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007 …
N Mitchell, C Runciman
Springer-Verlag, Berlin, Heidelberg, 2008
53*2008
Linearity and laziness
D Wakeling, C Runciman
Conference on Functional Programming Languages and Computer Architecture …, 1991
471991
Testing and tracing lazy functional programs using QuickCheck and Hat
K Claessen, C Runciman, O Chitil, J Hughes, M Wallace
Advanced Functional Programming, 59-99, 2003
402003
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20