natecull

type	title	author	last post
Forum topic	Artificial Intelligence Hi Ivan. I'm looking at your by natecull And I guess here it is: by natecull Can you summarise the semantics of Synth? by natecull	Ivan V.	2014-06-25 12:51
Forum topic	type theory about programming language? You're right that this isn't by natecull Why aren't types just propositions? by natecull	Rys McCusker	2014-05-21 23:10
Forum topic	Right on! Not that I'm a postmodernist but by natecull	Ehud Lamm	2009-06-27 03:44
Story	Computer music: a bastion of interactive visual dataflow languages Why do they conflate Visual and Dataflow? by natecull	Peter Van Roy	2009-06-19 03:30
Story	Inform 7: A relational DSL for interactive fiction with natural language syntax "noun" and "second" (or what by natecull	Frank Atanassow	2006-06-12 07:49

Lambda the Ultimate