The manuscript of the book Computational Semantics with Functional Programming by Jan van Eijck and Christina Unger, as well as related software, is available online.
The introductory chapters are probably going to be unnecessary for LtU readers, but once things get going there is a lot to learn here if you are interested in formal semantics of natural language, especially in the Montague-style.
And if this doesn't ring a bell - just search for "continutation" in the manuscript, and...
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...
What needs to be done?
So suppose like many here (?) you are a believer in the promise of functional programming. And suppose more and more FP features and FP languages are becoming mainstream. Does this mean...
Clojurescript
Here's another interesting project targeting the assembly language of the web... ClojureScript seeks to address the weak link in the client/embedded application development story by...
Post new comment