Skip to contents

Runciman, Colin [Author] ; Association for Computing Machinery, ACM Special Interest Group on Programming Languages

Proceedings of the eighth ACM SIGPLAN international conference on Functional programming

View online
Schließen

Access

... to E-book via ACM Digital Library (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY: ACM, 2003

Published in: ACM Digital Library- ACM Conferences
Bulwahn, Lukas [Author] ; Nipkow, Tobias (Prof., Ph.D.) [Contributor]; Nipkow, Tobias (Prof., Ph.D.);Runciman, Colin [Contributor]

Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming ; Generierung von Gegenbeispielen für höherstufige Logik unter Verwendung von funktionalen und logischen Programmen

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Technical University of Munich; Technische Universität München, 2013-11-27
Bulwahn, Lukas [Author] ; Nipkow, Tobias [Degree supervisor]; Runciman, Colin [Degree supervisor]

Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München: Universitätsbibliothek der TU München, 2013
Runciman, Colin

Session details: Higher-order model checking and slicing

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2012

Published in: ACM SIGPLAN Notices, 47 (2012) 9
RUNCIMAN, COLIN

FUNCTIONAL PEARL Lazy wheel sieves and spirals of primes

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge University Press (CUP), 1997

Published in: Journal of Functional Programming, 7 (1997) 2, Seite 219-225
Runciman, Colin

Modula and a vision laboratory

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 1981

Published in: International Journal of Man-Machine Studies, 14 (1981) 3, Seite 371-386
Runciman, Colin

Scarcely variabled programming and Pascal

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 1979

Published in: ACM SIGPLAN Notices, 14 (1979) 11, Seite 97-106
HINZE, RALF; RUNCIMAN, COLIN

Super-naturals

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge University Press (CUP), 2022

Published in: Journal of Functional Programming, 32 (2022)
Braquehais, Rudy; Runciman, Colin

FitSpec: refining property sets for functional testing

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2018

Published in: ACM SIGPLAN Notices, 51 (2018) 12, Seite 1-12
Walker, Michael; Runciman, Colin

Functional and Logic Programming: Cheap Remarks About Concurrent Programs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2018

Published in: Functional and Logic Programming (2018), Seite 264-279
Braquehais, Rudy; Runciman, Colin

Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2017

Published in: ACM SIGPLAN Notices, 52 (2017) 10, Seite 40-51
Walker, Michael; Runciman, Colin

Déjà Fu: a concurrency testing library for Haskell

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2016

Published in: ACM SIGPLAN Notices, 50 (2016) 12, Seite 141-152
NAYLOR, MATTHEW; RUNCIMAN, COLIN

The Reduceron reconfigured and re-evaluated

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge University Press (CUP), 2012

Published in: Journal of Functional Programming, 22 (2012) 4-5, Seite 574-613
Naylor, Matthew; Runciman, Colin

The reduceron reconfigured

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2010

Published in: ACM SIGPLAN Notices, 45 (2010) 9, Seite 75-86
Mitchell, Neil; Runciman, Colin

Not all patterns, but enough : an automatic verifier for partial but sufficient pattern matching : an automatic verifier for partial but sufficient pattern matching

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2009

Published in: ACM SIGPLAN Notices, 44 (2009) 2, Seite 49-60
Mitchell, Neil; Runciman, Colin

Implementation and Application of Functional Languages: A Supercompiler for Core Haskell

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2008

Published in: Implementation and Application of Functional Languages (2008), Seite 147-164
Naylor, Matthew; Runciman, Colin

Implementation and Application of Functional Languages: The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2008

Published in: Implementation and Application of Functional Languages (2008), Seite 129-146
Matsushita, Tatsuru; Runciman, Colin

The accepting power of unary string logic programs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2001

Published in: Theoretical Computer Science, 266 (2001) 1-2, Seite 59-79
Adam, Bakewell; Colin, Runciman

A Space Semantics for Core Haskell

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2001

Published in: Electronic Notes in Theoretical Computer Science, 41 (2001) 1, Seite 36
Wallace, Malcolm; Runciman, Colin

The bits between the lambdas : binary data in a lazy functional language : binary data in a lazy functional language

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 1999

Published in: ACM SIGPLAN Notices, 34 (1999) 3, Seite 107-117

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication