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 [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.

München: Universitätsbibliothek der TU München, 2013
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
Byrd, William Komponist; Cousins, Mervyn Komponist; Demessieux, Jeanne Komponist; Mawby, Colin Komponist; Milner, Anthony Komponist; Monk, William Henry Komponist; Perosi, Lorenzo Komponist; Philips, Peter Komponist; Rigby, Charles Komponist; Terry, Richard Runciman Komponist ; Liverpool Metropolitan Cathedral Choir

Choral Concert: Liverpool Metropolitan Cathedral Choir - BYRD, W. / MONK, W.H. / PEROSI, L. / RUTTER, J. (Angels, Saints and Nations Sing)

View online
Schließen

Access

... to audio recording via Naxos (Verbindung zu Naxos Music Library)

Close

Bookmarks

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

Herald Records, 190619

Published in: Herald Records
Andriessen, Hendrik Komponist; Charpentier, Marc-Antoine Komponist; Cristo, Pedro de Komponist; Faber, Frederick William Komponist; Haydn, Franz Joseph Komponist; Lécot, Jean-Paul Komponist; Mawby, Colin Komponist; Palestrina, Giovanni Pierluigi da Komponist; Perosi, Lorenzo Komponist; Rheinberger, Joseph Gabriel Komponist; Terry, Richard Runciman Komponist ; Leeds Cathedral Choir

Choral Concert: Leeds Cathedral Choir - ANDRIESSEN, H. / CHARPENTIER, M.A. / PEROSI, L. (Catholic Collection II)

View online
Schließen

Access

... to audio recording via Naxos (Verbindung zu Naxos Music Library)

Close

Bookmarks

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

Herald Records, 180918

Published in: Herald Records
Bach, Johann Sebastian Komponist; Bossi, Marco Enrico Komponist; Elgar, Edward Komponist; Faure, Gabriel Komponist; Hemy, Henri Frederick Komponist; Luciuk, Juliusz Komponist; Maher, William Komponist; Mawby, Colin Komponist; Mozart, Wolfgang Amadeus Komponist; Scholefield, Clement Cotterill Komponist; Stanfield, Francis Komponist; Terry, Richard Runciman Komponist; Vierne, Louis Komponist; Weitz, Guy Komponist; Widor, Charles-Marie Komponist; Wright, Andrew Komponist ; Our Lady and the English Martyrs Choirs

Choral Concert: Our Lady and the English Martyrs Choir - ELGAR, E. / HEMY, H.F. / MOZART, W.A. (Tu es Petru - A Tribute in Song to Pope John Paul II)

View online
Schließen

Access

... to audio recording via Naxos (Verbindung zu Naxos Music Library)

Close

Bookmarks

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

Opera Omnia, 091029

Published in: Opera Omnia
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
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

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