MarkM

type sort icontitleauthorlast post
Forum topicThe Theory and Calculus of Aliasing Bertrand_Meyer2010-01-27 01:40
StoryScheme to be split into two languages Manuel J. Simoni2009-11-26 16:54
Forum topicTheoretical Foundations for Practical Totally Functional Programming, by Colin Kemp Colin Kemp2009-08-26 03:13
Forum topicReceiver knowing the sender? BigZaphod2009-08-25 21:27
StoryProcess calculi for transactions Charles Stewart2009-03-06 09:15
StoryAutomated Code Review Tools for Security Ehud Lamm2009-01-09 20:00
StoryJavaScript harmony Chris Rathman2008-08-16 03:44
StoryThe irreducible physicality of security properties Charles Stewart2008-05-18 14:42
StoryCaja: Capability Javascript Ehud Lamm2007-11-13 01:06
StoryRob Pike on Concurrency and Message passing in Newsqueak Ehud Lamm2007-09-17 17:08
Forum topicDelegating Responsibility in Digital Systems: Horton's "Who Done It?" MarkM2007-05-23 19:52
Forum topicbrainstorming dataflow language visualizations Max2007-02-05 19:51
Forum topicProgramming Language Research Search Engine cdiggins2006-12-28 17:17
Forum topicTransparent Persistence playergiro2006-12-20 17:31
StoryFuture of software design? Peter Van Roy2006-11-21 20:18
StorySecond Life Faces Threat to its Virtual Economy Paul Snively2006-11-18 09:04
Forum topicOrc, a simple and expressive process calculus MarkM2006-11-03 00:43
Forum topicAdvantages of Soft Typing Curtis W2006-08-29 22:21
StoryContinuations for Parallel Logic Programming Andris Birkmanis2006-06-03 20:05
Forum topicThe Problem With Threads Allan McInnes2006-05-18 15:01
StoryE Thesis: Robust Composition Chris Rathman2006-04-21 07:16