AntC

typetitle sort iconauthorlast post
Forum topicWhat would be involved in moving logic beyond FOL? Charles Stewart2017-07-14 15:18
Forum topicIs Datalog negation(¬) similar to the built-in predicate (≠)? Milton Silva2017-07-05 12:01
Forum topicRefining Structured Type System Ivan Vodišek2017-05-30 17:40
Forum topicConversion of 'functional' to 'imperative' algorithms: is it possible? Achilleas Margaritis2017-03-31 19:14
Forum topicUnsoundness skaller2017-01-20 15:16
Forum topicViability of a static type system (like ML) for a relational language? mamcx2016-08-29 22:50
StoryAdmin Ehud Lamm2016-07-24 14:16
StoryPunctuated equilibrium in the large scale evolution of programming languages Allan McInnes2015-07-20 01:13
Forum topicSectioning a chain of operators and dot as reverse application Matt M2014-05-12 18:17
StoryThe origin of zero-based array indexing Ehud Lamm2013-12-23 09:24
Forum topicDefine it twice -- preemptive bughunting or waste of time? Ray Dillinger2013-06-15 09:31
Forum topicUnordered pairs and their representation Douglas McClean2013-05-16 16:11
Forum topic"Relational Model Outgrown" CACM May 2013 Hewitt2013-05-10 01:56
Forum topicAre nested SQL statements monads? sciomako2012-11-29 10:59
Forum topicWhat space does SQL cover, or, why is max so weird in SQL? bdenckla2011-10-26 20:00