John Launchbury Books

Functional Programming, Glasgow 1992: Proceedings Of The 1992 Glasgow Workshop On Functional Programming, Ayr, Scotland, 6-8 July 1992
Functional Programming, Glasgow 1992: Proceedings Of The 1992 Glasgow Workshop On Functional Programming, Ayr, Scotland, 6-8 July 1992

By John Launchbury, Glasgow Workshop On Functional Programming, Peter Achten, John Van Groningen, Rinus Plasmeijer (Auth.), John Launchbury MA (Oxon), MSc, PhD, Patrick Sansom BSc (Hons) (Eds.)

Average: 0.00, 0 Ratings

This volume contains the papers presented at the latest Glasgow Workshop on Functional Programming, held in Ayr, Scotland, 6-8 July 1992. These workshops have been held annually by the Glasgow Func...

Read More
Project Factorisations In Partial Evaluation
Project Factorisations In Partial Evaluation

By John Launchbury

Average: 0.00, 0 Ratings

A partial evaluator is a function that takes a program, together with some of the input to the program, and produces a new program as a result. This new program is an optimized version of the old,...

Read More
Functional Programming, Glasgow 1992
Functional Programming, Glasgow 1992

By John Launchbury, Peter Achten, John Van Groningen, Rinus Plasmeijer (Auth.), John Launchbury MA (Oxon), MSc, PhD, Patrick Sansom BSc (Hons) (Eds.)

Average: 0.00, 0 Ratings

The Glasgow Functional Programming Group is widely recognised for its research in lazy functional languages. Once again this year, for the fifth time, we retreated to a Scottish seaside town to dis...

Read More
Functional Programming, Glasgow 1992: Proceedings Of The 1992 Glasgow Workshop On Functional Programming, Ayr, Scotland, 6–8 July 1992
Functional Programming, Glasgow 1992: Proceedings Of The 1992 Glasgow Workshop On Functional Programming, Ayr, Scotland, 6–8 July 1992

By John Launchbury, Glasgow Workshop On Functional Programming, Peter Achten, John Van Groningen, Rinus Plasmeijer (Auth.), John Launchbury MA (Oxon), MSc, PhD, Patrick Sansom BSc (Hons) (Eds.)

Average: 0.00, 0 Ratings

The Glasgow Functional Programming Group is widely recognised for its research in lazy functional languages. Once again this year, for the fifth time, we retreated to a Scottish seaside town to dis...

Read More
Advanced Functional Programming: Second International School, Olympia, WA, USA, August 26 - 30, 1996, Tutorial Text
Advanced Functional Programming: Second International School, Olympia, WA, USA, August 26 - 30, 1996, Tutorial Text

By Erik Meijer, John Launchbury, Tim Sheard, Sigbjorn Finne, Simon Peyton Jones (Auth.), John Launchbury, Erik Meijer, Tim Sheard (Eds.)

Average: 0.00, 0 Ratings

"This book presents the eight tutorial lectures given at the Second International School on Advanced Functional Programming, held in Olympia, WA, USA, in August 1996. After many years of developmen...

Read More
Practical Aspects Of Declarative Languages: 13th International Symposium, Padl 2011, Austin, TX, USA, January 24-25, 2011. Proceedings
Practical Aspects Of Declarative Languages: 13th International Symposium, Padl 2011, Austin, TX, USA, January 24-25, 2011. Proceedings

By John., RICARDO, Ricardo Rocha, John Launchbury, Rocha, Launchbury, PADL (Symposium), Boon Thau Loo, Harjot Gill, Changbin Liu (Auth.), Claudio Russo, Neng-Fa Zhou (Eds.)

Average: 0.00, 0 Ratings

This book constitutes the refereed proceedings of the 14th International Symposium on Practical Aspects of Declarative Languages, PADL 2012, held in Philadelphia, PA, USA, in January 2012, co-locat...

Read More
Practical Aspects Of Declarative Languages
Practical Aspects Of Declarative Languages

By Ricardo Rocha, John Launchbury, PADL (Symposium), Ricardo Rocha; ‎John Launchbury, Roope Kaivola (Auth.), Ricardo Rocha, John Launchbury (Eds.)

Average: 0.00, 0 Ratings

Annotation This book constitutes the refereed proceedings of the 13th International Symposium on Practical Aspects of Declarative Languages, PADL 2011, held in Austin, TX, USA, in January 2011, co-...

Read More

Related Articles from our Blog

What is an EAN and How Does it Relate to an ISBN?

If you’ve ever purchased a product online or in a store, you’ve likely come across a barcode. Behind these barcodes lies a standardized system that makes modern commerce possible. Two key codes often encountered are the EAN (European Article Number) and ISBN (International Standard Book Number). But what are they, how are they connected, and why are they so crucial? Let’s explore.

Read More