Noam (uid 3913) announced on his weblog at the beginning of the year a technique that allows one to bridge the gap between meta-theoretic notions of function space and theory-internal notions, in a way that is compatible with structural induction over Higher-Order Abstract Syntax, by applying Reynolds' Definitional Interpreters for Higher-Order Programming Languages [pdf] (cf. LtU classic ), and realised it as an implementation in Twelf.
That's a lot of ideas in one sentence, but since...
Codeception Blog: Introduction to Codeception
On the Codeception blog there's an introduction to the Codeception tool, a behavior-driven framework written in PHP (in the spirit of Behat). How often do you see PHP projects with no line...
Why We Need More Programming Languages
InfoWorld: "Whenever a new programming language is announced, a certain segment of the developer population always rolls its eyes and groans that we have quite enough to choose from already,...
CloudSpring.com: Using the Rackspace PHP SDK
On the CloudSpring site today there's the continuation of a previous article about RackSpace's CloudFiles API. In this new post they show how to use their PHP SDK to connect to and use the...
Post new comment