AntC

type sort icontitleauthorlast post
Forum topicFor a relational language, how treat KeyValues, Streams in relations with operators that add or remove "columns" mamcx2019-06-08 16:17
Forum topicVideo on Unison/comparison to Haskell/Monads/distributed computing AntC2019-02-25 23:25
StoryIs Haskell the right language for teaching functional programming principles? Ehud Lamm2018-08-14 06:26
Forum topicNon-transitivity of type unification AntC2018-03-18 15:28
Forum topicGADTs as gaurds Matt M2018-03-14 20:29
Forum topicRefining Structured Type System Ivan V.2017-12-31 16:52
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 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