Barry Jay has recently published a book on the Pattern Calculus (which has been discussed before ).
The pattern calculus is a new foundation for computation, in which the expressive power of functions and of data structures are combined within pattern-matching functions.
The best existing foundations focus on either functions, as in the lambda-calculus, or on data structures, as in Turing machines, or on compromises involving both, as in object-orientation.
By contrast, a small typed...
Vellvm: Formalizing the LLVM Intermediate...
Vellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations This paper presents Vellvm (verified LLVM), a framework for reasoning about programs expressed...
This Week’s Ruby News: Ruby 1.9.3p0, OmniAuth 1.0,...
The rapid descent of the weather towards winter is getting people to stay in and code and long may it continue given the quality of this week's releases: OmniAuth 1.0, MagLev 1.0, and Ruby...
A Lambda Calculus for Real Analysis
A Lambda Calculus for Real Analysis Abstract Stone Duality is a revolutionary paradigm for general topology that describes computable continuous functions directly, without using set theory,...
Post new comment