Games and Full Abstraction for a Functional Metalanguage with Recursive Types (Distinguished Dissertations)
Free Shipping Included! Games and Full Abstraction for a Functional Metalanguage with Recursive Types (Distinguished Dissertations) by Springer at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. The Distinguished Dissertation series is published on behalf of the Conference of Professors and Heads of Computing and The British Computer Society,
Have questions about this item, or would like to inquire about a custom or bulk order?
If you have any questions about this product by Springer, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.
Related Best Sellers
By Gray Peter M D Kerschberg Larry King Peter J H
ean: 9783642055751, isbn: 3642055753,
It is over 20 years since the functional data model and functional programming languages were first introduced to the computing community. Although developed by separate research communities, recent work, presented in this book, suggests there is pow...
ean: 9781441994660, isbn: 1441994661,
This book provides a largely self-contained account of the main results of convex analysis and optimization in Hilbert space. A concise exposition of related constructive fixed point theory is presented, that allows for a wide range of algorithms to ...
By Blume Matthias Kobayashi Naoki Vidal German
sku: 9783642122507, mpn: Illustrations, ean: 9783642122507, isbn: 3642122507,
This volume contains the proceedings of the 10th International Symposium on Functional and LogicProgramming(FLOPS 2010),held in Sendai, Japan, April 19–21, 2010 at Aoba Memorial Hall, Tohoku University. FLOPS is a forum for research on all issues c...
By Peter E Lauer
ean: 9783540568834, isbn: 3540568832,
This collection of papers arose from a series of lectures for workers in computer science and other disciplines. The lectures were intended to familiarize them with some of the most exciting advanced computer based systems for the conceptualization, ...
By Brand: Birkhäuser
ean: 9780817647377, isbn: 0817647376,
This book develops theory and algorithms leading to systematic waveform design in time-frequency space. The key tool employed in the work is the Zak transform, which provides a two-dimensional image for sequences, the Fourier transform, convolution, ...
By Brand: Springer
ean: 9780792335832, isbn: 079233583X,
Many problems in science, technology and engineering are posed in the form of operator equations of the first kind, with the operator and RHS approximately known. But such problems often turn out to be ill-posed, having no solution, or a non-unique s...
By Anthony Sofo
ean: 9780306478055, isbn: 0306478056,
"This book collects in one volume the author’s considerable results in the area of the summation of series and their representation in closed form, and details the techniques by which they have been obtained... the calculations are given in plenty ...
ean: 9780470484135, isbn: 0470484136,
Most existing books on wavelets are either too mathematical or they focus on too narrow a specialty. This book provides a thorough treatment of the subject from an engineering point of view. It is a one-stop source of theory, algorithms, applications...
By Brand: Birkhäuser
ean: 9780817636548, isbn: 0817636544,
This book is a revised edition of the monograph which appeared under the same title in the series Research Notes in Theoretical Computer Science, Pit man, in 1986. In addition to a general effort to improve typography, English, and presentation, th...
ean: 9781402074011, isbn: 1402074018,
mental improvements during the same period. What is clearly needed in verification techniques and technology is the equivalent of a synthesis productivity breakthrough. In the second edition of Writing Testbenches, Bergeron raises the verification le...