Posts By: MarkM
| Date | Post | Topic |
| 02/19/2012 | Naming the model | Long rant on Erlang-style Actors: Lost Dimension |
| 02/20/2012 | Excellent point | Long rant on Erlang-style Actors: Lost Dimension |
| 02/19/2012 | Seems related | Long rant on Erlang-style Actors: Lost Dimension |
| 02/19/2012 | Are serializers just a pattern of promises? | Long rant on Erlang-style Actors: Lost Dimension |
| 02/20/2012 | Combining reactions | Long rant on Erlang-style Actors: Lost Dimension |
| 02/23/2012 | Not ugly using promises and generators | Long rant on Erlang-style Actors: Lost Dimension |
| 02/20/2011 | What is a "capability" in an "object-capability system"? | Monads vs. Actors |
| 11/02/2010 | What I was claiming to be "impossible" | Programming Languages Panel Streaming Live Today (10/28/2010 16:30 PST GMT-7) |
| 04/27/2010 | Yes, please don't say "safety" | The Structure of Authority: Why security is not a separable concern |
| 04/28/2010 | Would anyone actually like to discuss the paper? | The Structure of Authority: Why security is not a separable concern |
| 04/29/2010 | Modulo an information leak, they are equivalent | The Structure of Authority: Why security is not a separable concern |
| 04/29/2010 | I'm wrong -- there is a significant difference | The Structure of Authority: Why security is not a separable concern |
| 04/29/2010 | Please explain how AOP was marketed | The Structure of Authority: Why security is not a separable concern |
| 03/17/2010 | Why fragile? | Have tracing JIT compilers won? |
| 02/17/2010 | I don't understand -- goal confusion? | Joe-E: A Security-Oriented Subset of Java |
| 02/13/2010 | ToonTalk is an object-capability system | Google TechTalk: The Evolution of End-User Programming |
| 01/24/2010 | Seems useful for proving authority limits | The Theory and Calculus of Aliasing |
| 08/25/2009 | Might Small Scheme be an ocap language? | Scheme to be split into two languages |
| 08/25/2009 | How's "totally functional" relate to "everything's an object"? | Theoretical Foundations for Practical Totally Functional Programming, by Colin Kemp |
| 08/26/2009 | Behavioral Equality vs Primitive Equality | Theoretical Foundations for Practical Totally Functional Programming, by Colin Kemp |
| 08/25/2009 | EcmaScript 5 Strict fixes this | Receiver knowing the sender? |
| 11/02/2008 | Liked everything but the over extended limb | Automated Code Review Tools for Security |
| 11/02/2008 | Chaumian Blinding | Automated Code Review Tools for Security |
| 08/15/2008 | Main motivation: Avoid Needless Complexity | JavaScript harmony |
| 05/18/2008 | The irreducible physicality of correctness | The irreducible physicality of security properties |
| 11/12/2007 | The object-capability chalenge | Caja: Capability Javascript |
| 09/04/2007 | Yes, but it redirects to... | Rob Pike on Concurrency and Message passing in Newsqueak |
| 05/19/2007 | Delegating Responsibility in Digital Systems: Horton's "Who Done It?" | Delegating Responsibility in Digital Systems: Horton's "Who Done It?" |
| 05/23/2007 | Cheezy "animation" | Delegating Responsibility in Digital Systems: Horton's "Who Done It?" |
| 05/23/2007 | Spending time with the example code | Delegating Responsibility in Digital Systems: Horton's "Who Done It?" |
| 02/02/2007 | Check out Toontalk | brainstorming dataflow language visualizations |
| 11/25/2006 | Related ABACUS google custom search engine | Programming Language Research Search Engine |
| 11/15/2006 | How about "Safe Cooperation"? | Second Life Faces Threat to its Virtual Economy |
| 11/17/2006 | What "MacOS X capability system"? | Second Life Faces Threat to its Virtual Economy |
| 11/02/2006 | Orc, a simple and expressive process calculus | Orc, a simple and expressive process calculus |
| 11/03/2006 | What would it involve? | Orc, a simple and expressive process calculus |
| 11/02/2006 | Orc, a simple and expressive process calculi | Process calculi for transactions |
| 11/02/2006 | Formal Orc | Process calculi for transactions |
| 11/02/2006 | Orc topic | Process calculi for transactions |
| 11/02/2006 | Asking a different question | Future of software design? |
| 11/03/2006 | Yes, I suggest that we discuss this rationale here | Future of software design? |
| 11/04/2006 | Varieties of Message Passing Concurrency | Future of software design? |
| 11/04/2006 | Reasoning about concurrency in Erlang | Future of software design? |
| 11/04/2006 | Learning from prior convergences | Future of software design? |
| 11/04/2006 | Communicating Event Loops are cheap | Future of software design? |
| 11/05/2006 | The conflict is elsewhere | Future of software design? |
| 11/05/2006 | Clarifying the Carlin Joke | Future of software design? |
| 11/06/2006 | E doesn't have declarative concurrency | Future of software design? |
| 11/04/2006 | We need both forms of distribution | Future of software design? |
| 07/24/2006 | That would be a worthy experiment | Lightweight Static Capabilities |
| 07/24/2006 | Sign me up | Lightweight Static Capabilities |
| 07/28/2006 | What about arguments? | Lightweight Static Capabilities |
| 07/28/2006 | match-functions vs GADTs | Lightweight Static Capabilities |
| 07/24/2006 | Top down vs bottom up proof engineering | Lightweight Static Capabilities |
| 07/19/2006 | Static typing challenge | Advantages of Soft Typing |
| 07/24/2006 | I meant #3, but #1 would be even better, if possible | Advantages of Soft Typing |
| 06/03/2006 | Which features? | Continuations for Parallel Logic Programming |
| 05/18/2006 | Rendevous-based message passing also broken? | The Problem With Threads |
| 04/19/2006 | SELinux | E Thesis: Robust Composition |
| 04/19/2006 | By "STM", are you referring | E Thesis: Robust Composition |
| 04/19/2006 | Static Types Solve the Wrong Problem | E Thesis: Robust Composition |
| 04/20/2006 | Membranes, Ontic | E Thesis: Robust Composition |
| 04/21/2006 | Ontic found | E Thesis: Robust Composition |
| 04/19/2006 | References to join calculus? | E Thesis: Robust Composition |
| 07/28/2006 | Smalltalk, persistence, upgrade | Transparent Persistence |
| 07/28/2006 | Non-orthogonal persistence and distributed consistency | Transparent Persistence |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |