Jason Livesay

type	title	author	last post
Forum topic	Annual Peter Landin Semantics Seminar: On correspondences between programming languages & semantic notations: 8th Dec 2014 Are the so-called fundamental constructs machine processable? by Jason Livesay	paulboca	2014-07-24 20:46
Forum topic	Has anyone used Datalog or RDF as a basis beyond model-driven development, like projectional editing or unikernel generation?	Jason Livesay	2014-07-20 19:17
Forum topic	Declarative layout and/or UI languages? Microsoft technologies by Jason Livesay Thank you by Jason Livesay Susceptibility by Jason Livesay Mostly true, but by Jason Livesay Layout using drag and drop by Jason Livesay	naasking	2009-02-18 10:05
Story	Local Rely-Guarantee Reasoning Clojure Concurrency and Thread Safety Verification by Jason Livesay	neelk	2008-11-25 23:44
Forum topic	Clojure talk videos Closure Concurrency \| Medal by Jason Livesay	claudio	2008-10-09 15:57
Forum topic	Visual Programming Language Syntax Formalisms faust/flownomials/... by Jason Livesay nice by Jason Livesay Thanks by Jason Livesay Will look into by Jason Livesay Thanks \| Computability \| Motivation by Jason Livesay VPL syntax definition systems are a superset of character ... by Jason Livesay Not Homework by Jason Livesay	Jason Livesay	2008-10-07 16:50

Lambda the Ultimate