davidb

typetitle sort iconauthorlast post
StoryGoogle announces Logica: organizing your data queries, making them universally reusable and fun Z-Bo2021-09-24 17:33
Forum topicWhy is there no widely accepted progress for 50 years? Milton Silva2021-06-09 23:27
StoryCoq will be renamed Ohad Kammar2021-05-10 14:44
Forum topicDomain specific language for playing games davidb2017-05-03 22:47
Forum topicLooking for references on the expressiveness and computational completeness of a relational programming language davidb2016-09-08 06:02
Forum topicViability of a static type system (like ML) for a relational language? mamcx2016-08-29 22:50
Forum topicIs there a language with the ability to write arbitrary type functions? davidb2016-08-24 18:18
Forum topicMicroscript Ivan V.2016-08-08 22:31
Forum topicAndl is a New Database Language davidb2016-02-08 03:43
Forum topicDatabase programming language review davidb2015-07-23 00:44
Forum topicLanguage combining relational algebra and domain algebra davidb2015-01-12 17:37
Forum topicPuzzleScript Tess Foley2014-02-01 15:29
Forum topicA glimpse into a new general purpose programming language under development at Microsoft Charles Torre2014-01-27 05:08