sorted by: recent | see :
popular
Content Tagged with logic + languages
The ECLiPSe Constraint Programming System
ECLiPSe is a software system for constraint programming applications. It is ideal for teaching most aspects<sep/>
Escape from Zurg: An Exercise in Logic Programming
This article illustrates with an example that modern functional programming languages like Haskell can be used effectively for programming search problems, in contrast to the widespread belief that<sep/>
Haskell: del.icio.us tag/haskell
haskell
functional
languages
logic
prolog
system:filetype:pdf
system:media:document
Old functional programming ideas (reddit.com)
They want to used systems that can be proved to be correct. The article mentioned Proof Carrying Code, imagine being able to prove that the code downloaded isn't a virus and won't do anything untoward with your system. Will this browser crash? Will my avi
Haskell: del.icio.us tag/haskell
Programming
logic
languages
concepts
History
research
mathematics
functional
haskell
academic
An Implementation of Session Types by Matthias Neubauer and Peter Thiemann
A session type is an abstraction of a set of sequences of heterogeneous values sent and received over a communication channel. Session types can be used for specifying stream-based Internet protocols. Typically, session types are attached to communication
