recent posts

type sort icontitleauthorlast post
StoryContextual isomorphisms gasche2017-03-10 16:30
StoryDo Be Do Be Do gasche2017-01-12 18:51
StoryStroustrup's Rule and Layering Over Time Ehud Lamm2017-01-04 21:43
StoryThe complexity of abstract machines gasche2017-01-12 01:09
Storykdb+ 3.5 released last month Z-Bo2017-03-26 23:57
StoryIdris 1.0 Released Ehud Lamm2017-04-02 22:33
StoryType Systems as Macros naasking2017-06-25 11:19
StoryDatabases from finite categories Charles Stewart2017-05-24 06:43
Story Imperative Functional Programs that Explain their Work gasche2017-05-31 09:03
StoryJean Sammet, Co-Designer of a Pioneering Computer Language, Dies at 89 bashyal2017-06-08 14:50