Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Browse All Reviews > Theory Of Computation (F) > Mathematical Logic And Formal Languages (F.4) > Mathematical Logic (F.4.1) > Lambda Calculus And Related Systems (F.4.1...)  
 
Options:
 
  1-10 of 129 Reviews about "Lambda Calculus And Related Systems (F.4.1...)": Date Reviewed
  Lambda calculus with types
Barendregt H., Dekkers W., Statman R.,  Cambridge University Press, New York, NY, 2013. 854 pp. Type: Book (978-0-521766-14-2)

A popular program on BBC Radio here in the UK is Desert Island Discs, where well-known personalities talk about their lives while choosing eight music tracks they consider significant. They also are asked to decide which book they would tak...

Dec 11 2013
  Calculus of variations and optimal control theory: a concise introduction
Liberzon D.,  PRINCETON UNIVERSITY PRESS, Princeton, NJ, 2011. 256 pp. Type: Book (978-0-691151-87-8)

Control systems are increasingly pervasive, and an increasing number of applications are being found for automated control. Naturally, one wishes for such controllers to be the best in some sense (for example, minimum cost, either financially or b...

Oct 12 2012
  Topological and simplicial models of identity types
van den Berg B., Garner R.  ACM Transactions on Computational Logic 13(1): 1-44, 2012. Type: Article

There are times when some new theory comes along that just seems “right,” regardless of whether one can immediately see applications. The link between homotopy theory and identity types in Martin-Löf type theory has convinced many...

May 23 2012
  Proofs, tests and continuation passing style
Guerrini S., Masini A.  ACM Transactions on Computational Logic 10(2): 1-34, 2009. Type: Article

Proof theories and testing techniques are used extensively in software development. This paper develops the ptq-calculus, which utilizes both....

May 20 2011
  The arrow calculus
Lindley S., Wadler P., Yallop J.  Journal of Functional Programming 20(1): 51-69, 2010. Type: Article

Arrows, a generalization of monads, have gained quite a lot of traction in functional programming, since their introduction by Hughes. Over time, a better understanding of the core features of arrows has been developed. Even though the original pr...

May 12 2011
  Weyl’s predicative classical mathematics as a logic-enriched type theory
Adams R., Luo Z.  ACM Transactions on Computational Logic 11(2): 1-29, 2010. Type: Article

Given proof-assistant builders’ renewed interest in foundational issues, revisiting Hermann Weyl’s classic text [1] is a worthy endeavor. Unfortunately, this paper greatly disappoints....

May 28 2010
  A concurrent ML library in concurrent Haskell
Chaudhuri A.  ACM SIGPLAN Notices 44(9): 269-280, 2009. Type: Article

Suppose we have a universe of potential actions, each guarded by a selector. Individual selectors can guard any number of actions. Actions have matching counter-actions. Each selector must pick one of its actions, discarding all others, and the ac...

Mar 24 2010
  Pattern calculus: computing with functions and structures
Jay B.,  Springer Publishing Company, Incorporated, New York, NY, 2009. 213 pp. Type: Book (978-3-540891-84-0)

Programmers who are lucky enough to use a programming language that features properly integrated pattern matching greatly value the expressivity gain. But, as Jay shows us in this book, we have barely started to properly explore the design landsca...

Jan 26 2010
  Synapses as stochastic concurrent systems
Bracciali A., Brunelli M., Cataldo E., Degano P.  Theoretical Computer Science 408(1): 66-82, 2008. Type: Article

Computational modeling of biological networks--specifically, signaling pathways--is increasingly seen by computer scientists as an interesting application. In this paper, the approach is applied to a significantly more complex systemR...

May 13 2009
  Lambda-calculus and combinators: an introduction
Hindley J., Seldin J.,  Cambridge University Press, New York, NY, 2008. 360 pp. Type: Book (9780521898850)

All of us are, in the course of lifelong learning, invariably dropped into the middle of an infinite ocean, where any point is the center. So, it may be quite unproductive for someone such as myself, a working stiff with a day job, to muse: “...

Mar 6 2009
 
 
 
Display per page
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2021 ThinkLoud, Inc.
Terms of Use
| Privacy Policy