Boehm Trees For The Lazy Lambda Calculus With Constants
Download Boehm Trees For The Lazy Lambda Calculus With Constants PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Boehm Trees For The Lazy Lambda Calculus With Constants book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Boehm Trees for the Lazy Lambda Calculus with Constants
Author: National University of Singapore. Department of Information Systems and Computer Science
language: en
Publisher:
Release Date: 1994
Functional and Logic Programming
This book constitutes the refereed proceedings of the 11th International Symposium on Functional and Logic Programming, FLOPS 2012, held in Kobe, Japan, in May 2012. The 19 research papers and 3 system demonstrations presented in this volume were carefully reviewed and selected from 39 submissions. They deal with declarative programming, including functional programming and logic programming.