Lambda the Ultimate

type	title	author	last post
Forum topic	The Theory and Calculus of Aliasing Seems useful for proving authority limits by MarkM	Bertrand_Meyer	2010-01-27 01:40
Story	Scheme to be split into two languages Might Small Scheme be an ocap language? by MarkM	Manuel J. Simoni	2009-11-26 16:54
Forum topic	Theoretical Foundations for Practical Totally Functional Programming, by Colin Kemp Behavioral Equality vs Primitive Equality by MarkM How's "totally functional" relate to "everything's an object"? by MarkM	Colin Kemp	2009-08-26 03:13
Forum topic	Receiver knowing the sender? EcmaScript 5 Strict fixes this by MarkM	BigZaphod	2009-08-25 21:27
Story	Process calculi for transactions Orc topic by MarkM Formal Orc by MarkM Orc, a simple and expressive process calculi by MarkM	Charles Stewart	2009-03-06 09:15
Story	Automated Code Review Tools for Security Chaumian Blinding by MarkM Liked everything but the over extended limb by MarkM	Ehud Lamm	2009-01-09 20:00
Story	JavaScript harmony Main motivation: Avoid Needless Complexity by MarkM	Chris Rathman	2008-08-16 03:44
Story	The irreducible physicality of security properties The irreducible physicality of correctness by MarkM	Charles Stewart	2008-05-18 14:42
Story	Caja: Capability Javascript The object-capability chalenge by MarkM	Ehud Lamm	2007-11-13 01:06
Story	Rob Pike on Concurrency and Message passing in Newsqueak Yes, but it redirects to... by MarkM	Ehud Lamm	2007-09-17 17:08
Forum topic	Delegating Responsibility in Digital Systems: Horton's "Who Done It?" Spending time with the example code by MarkM Cheezy "animation" by MarkM	MarkM	2007-05-23 19:52
Forum topic	brainstorming dataflow language visualizations Check out Toontalk by MarkM	Max	2007-02-05 19:51
Forum topic	Programming Language Research Search Engine Related ABACUS google custom search engine by MarkM	cdiggins	2006-12-28 17:17
Forum topic	Transparent Persistence Non-orthogonal persistence and distributed consistency by MarkM Smalltalk, persistence, upgrade by MarkM	playergiro	2006-12-20 17:31
Story	Future of software design? E doesn't have declarative concurrency by MarkM Clarifying the Carlin Joke by MarkM The conflict is elsewhere by MarkM We need both forms of distribution by MarkM Communicating Event Loops are cheap by MarkM Learning from prior convergences by MarkM Reasoning about concurrency in Erlang by MarkM Varieties of Message Passing Concurrency by MarkM Yes, I suggest that we discuss this rationale here by MarkM Asking a different question by MarkM	Peter Van Roy	2006-11-21 20:18
Story	Second Life Faces Threat to its Virtual Economy What "MacOS X capability system"? by MarkM How about "Safe Cooperation"? by MarkM	Paul Snively	2006-11-18 09:04
Forum topic	Orc, a simple and expressive process calculus What would it involve? by MarkM	MarkM	2006-11-03 00:43
Forum topic	Advantages of Soft Typing I meant #3, but #1 would be even better, if possible by MarkM Static typing challenge by MarkM	Curtis W	2006-08-29 22:21
Story	Continuations for Parallel Logic Programming Which features? by MarkM	Andris Birkmanis	2006-06-03 20:05
Forum topic	The Problem With Threads Rendevous-based message passing also broken? by MarkM	Allan McInnes	2006-05-18 15:01
Story	E Thesis: Robust Composition Ontic found by MarkM Membranes, Ontic by MarkM Static Types Solve the Wrong Problem by MarkM By "STM", are you referring by MarkM References to join calculus? by MarkM SELinux by MarkM	Chris Rathman	2006-04-21 07:16
first page previous page next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation