Serguey Zefirov

typetitleauthorlast post sort icon
Forum topicThe perfect advanced programming language for the productive industrial developer Adam C2010-12-12 19:11
Forum topicNew Dataflow Programming Language ad1mt2010-11-30 01:24
Forum topicexpressivity of "idiomatic C++" el-vadimo2010-11-10 22:56
StoryJoe Duffy: A (brief) retrospective on transactional memory Z-Bo2010-09-09 12:58
Forum topicSynchronic Computaion alexberka2010-08-11 16:12
Forum topicTowards general nested data parallelism lmeyerov2010-08-03 14:01
Forum topicAny multi-threaded interpreters? Pinku Surana2010-06-26 23:58
Forum topicplt vs. something else for programming in the large? raould2010-06-17 01:07
Forum topicComputing complexity giuseppemag2010-05-11 20:38
Forum topicAdd "unit time delay (D)" operator to functional language with random signals instead of random vars Andries2010-04-29 12:20
Forum topicGames and Languages giuseppemag2010-04-27 15:26
Forum topicFormal treatments (or examples of) of "function concatenation"? John Nowak2010-04-05 01:32
Forum topicare rewrite systems really the bee's knees raould2010-01-27 19:02
Forum topicPiSigma, a dependently typed core language Serguey Zefirov2009-11-27 11:57
Forum topicSeeking broad survey of wide range of concurrency idioms scottmcl2009-11-06 19:57
Forum topicC++ Frequently Questioned Answers Srikumar Subramanian2009-05-19 00:40
Forum topicDeclarative layout and/or UI languages? naasking2009-02-18 10:05
Story2008 In Review - What Happened with Programming Languages? James Iry2009-01-28 12:15
Forum topicDependent Types, Generic Programming and Overloading. Serguey Zefirov2008-05-23 00:35
Forum topicOn the Importance of Purity naasking2007-12-02 14:53
StoryIt's Time to Stop Calling Circuits "Hardware" Allan McInnes2007-10-17 18:49
Forum topicGenerating useful errors in a functional stream parser Alex Rubinsteyn2007-09-13 16:14
Forum topicWhy is there not a PL with a mathematical type system? gueven2007-04-25 14:14
Forum topicWhy do they program in C++? David Waern2007-02-19 12:09
Forum topicA reflective functional language for hardware design and theorem proving Allan McInnes2007-02-01 05:31