FUNCTIONAL PEARLS: Finding celebrities: A lesson in functional programming

Authors:
Richard Bird;Sharon Curtis
Affiliations:
Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, UK (e-mail: Richard.Bird@comlab.ox.ac.uk);Department of Computing, Oxford Brookes University, Wheatley Campus, Oxford OX33 1HX, UK
Venue:
Journal of Functional Programming
Year:
2006

Citing 3
Cited 1

Programming: the derivation of algorithms

Programming: the derivation of algorithms
Theorems for free!

FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Programming from specifications (2nd ed.)

Programming from specifications (2nd ed.)

A short cut to parallelization theorems

Proceedings of the 18th ACM SIGPLAN international conference on Functional programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

The setting is a class on functional programming. There are four students, Anne, Jack, Mary and Theo.