John Launchbury

John Launchbury

9 Published BooksJohn Launchbury

Popular Books by John Launchbury

Change us not God: Biblical meditations on the death of Jesus

Change us not God: Biblical meditations on the death of Jesus

Change us not God: Biblical meditations on the death of Jesus

By: John Launchbury

Advanced Functional Programming: Second International School, Olympia, WA, USA, August 26 - 30, 1996, Tutorial Text (Lecture Notes in Computer Science, 1129)

Advanced Functional Programming: Second International School, Olympia, WA, USA, August 26 - 30, 1996, Tutorial Text (Lecture Notes in Computer Science, 1129)

Advanced Functional Programming: Second International School, Olympia, WA, USA, August 26 - 30, 1996, Tutorial Text (Lecture Notes in Computer Science, 1129)

By: John Launchbury

Project Factorisations in Partial Evaluation (Distinguished Dissertations in Computer Science, Series Number 1)

Project Factorisations in Partial Evaluation (Distinguished Dissertations in Computer Science, Series Number 1)

Project Factorisations in Partial Evaluation (Distinguished Dissertations in Computer Science, Series Number 1)

By: John Launchbury

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

Functional Programming, Glasgow 1992: Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992

By: John Launchbury

Change Us Not God - Biblical Meditations on the Death of Christ

Change Us Not God - Biblical Meditations on the Death of Christ

Change Us Not God - Biblical Meditations on the Death of Christ

By: John Launchbury

Program Transformation Techniques in Program Generation

Program Transformation Techniques in Program Generation

Program Transformation Techniques in Program Generation

By: John Launchbury

Evaluation of Core Technology

Evaluation of Core Technology

Evaluation of Core Technology

By: John Launchbury

Practical Aspects of Declarative Languages: 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings (Lecture Notes in Computer Science, 6539)

Practical Aspects of Declarative Languages: 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings (Lecture Notes in Computer Science, 6539)

Practical Aspects of Declarative Languages: 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings (Lecture Notes in Computer Science, 6539)

By: Ricardo Rocha

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

Practical Aspects of Declarative Languages: 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings

By: Ricardo Rocha