Archives: Lambda the Ultimate Weblogs

Last Updated 07/17/2012

Posts By: naasking

Date	Post	Topic
07/16/2012	Isn't your dispatch	Language Implementation 101
07/14/2012	In this case, text box will	Immediate mode GUIs
07/14/2012	The value produced by a	Immediate mode GUIs
07/14/2012	I suppose one could define	Immediate mode GUIs
07/13/2012	Now, I'm wondering if we	Immediate mode GUIs
06/24/2012	Also relevant: Intel reveals	Evolved Turing neural networks - Unorganized machines and the brain
07/14/2012	An interesting recent	Evolved Turing neural networks - Unorganized machines and the brain
06/09/2012	Without types, you could use	Why Do Some Programming Languages Live and Others Die?
06/10/2012	Is a bool type really	Aha! Programming Language
06/10/2012	I wasn't thinking in terms	Aha! Programming Language
06/11/2012	An advantage of Boolean over	Aha! Programming Language
05/31/2012	Wat	Wat
05/31/2012	Overloading without	Wat
06/08/2012	Ambiguity with human	Wat
05/15/2012	No easy loops or simple	Common Lisp: The Untold Story
04/18/2012	No true scotsman fallacy	Quantitative comparison of unit testing vs. static typing?
04/23/2012	And overall provide enough	Quantitative comparison of unit testing vs. static typing?
04/24/2012	It stops me from doing	Quantitative comparison of unit testing vs. static typing?
04/24/2012	As you see these problems	Quantitative comparison of unit testing vs. static typing?
04/24/2012	Because then you need to	Quantitative comparison of unit testing vs. static typing?
04/24/2012	Eval is only really bad if	Quantitative comparison of unit testing vs. static typing?
04/24/2012	I was simply answering your	Quantitative comparison of unit testing vs. static typing?
04/25/2012	A couple of functions that	Quantitative comparison of unit testing vs. static typing?
04/21/2012	I'm not convinced the	Quantitative comparison of unit testing vs. static typing?
04/21/2012	So I hope that, if the user	Quantitative comparison of unit testing vs. static typing?
04/22/2012	A type is merely an	Quantitative comparison of unit testing vs. static typing?
04/22/2012	Yes, but I was thinking of	Quantitative comparison of unit testing vs. static typing?
04/22/2012	Sort of. I definitely wish	Quantitative comparison of unit testing vs. static typing?
03/24/2012	Having taken part in the	Retrospective Thoughts on BitC
03/24/2012	Anyway, it seems that his	Retrospective Thoughts on BitC
03/25/2012	AFAICS, Algol 68 pretty much	Retrospective Thoughts on BitC
03/25/2012	I was implicitly asking how	Retrospective Thoughts on BitC
03/27/2012	IIRC, by-ref params were	Retrospective Thoughts on BitC
04/18/2012	Rust is GC'd, with exceptions	Retrospective Thoughts on BitC
03/24/2012	The Pratt parser has changed	Parsing: The Solved Problem That Isn't
03/25/2012	I don't have a separate	Parsing: The Solved Problem That Isn't
03/22/2012	Disruptive things that have	Disruptive PLT Revisited
03/22/2012	LINQ has enabled order of	Disruptive PLT Revisited
03/22/2012	This really isn't compelling	Disruptive PLT Revisited
03/23/2012	Our current interface to	Disruptive PLT Revisited
03/15/2012	Quite a bit of work in	Distributed capabilities versus network latency
03/22/2012	You don't need delimited	Programming with Algebraic Effects and Handlers
03/24/2012	So, the yield that is as	Programming with Algebraic Effects and Handlers
03/05/2012	I'm not even aware that	Adding Delimited and Composable Control to a Production Programming Environment
03/05/2012	So you're arguing that we	Adding Delimited and Composable Control to a Production Programming Environment
03/05/2012	Your scenario of N	Adding Delimited and Composable Control to a Production Programming Environment
03/05/2012	The single continuation is	Adding Delimited and Composable Control to a Production Programming Environment
03/06/2012	I think this latter style is	Adding Delimited and Composable Control to a Production Programming Environment
03/06/2012	I think there are two	Adding Delimited and Composable Control to a Production Programming Environment
03/07/2012	So I think it's not worth	Adding Delimited and Composable Control to a Production Programming Environment
03/07/2012	Even the seemingly perfect	Adding Delimited and Composable Control to a Production Programming Environment
04/22/2012	Just realized I still had	Adding Delimited and Composable Control to a Production Programming Environment
02/28/2012	You could do away with	why first-class functions
02/29/2012	But actually I don't agree.	why first-class functions
02/28/2012	My thesis is that FPR is the	Long rant on Erlang-style Actors: Lost Dimension
02/29/2012	You are taking quite a risky	Long rant on Erlang-style Actors: Lost Dimension
02/29/2012	The plus is obviously more	Long rant on Erlang-style Actors: Lost Dimension
03/01/2012	C# has quite a rich	Long rant on Erlang-style Actors: Lost Dimension
03/01/2012	I have started to look	Long rant on Erlang-style Actors: Lost Dimension
03/07/2012	I suppose for your approach	Long rant on Erlang-style Actors: Lost Dimension
03/07/2012	The `z` value should always	Long rant on Erlang-style Actors: Lost Dimension
03/07/2012	It's actually pretty simple,	Long rant on Erlang-style Actors: Lost Dimension
03/08/2012	You are correct, STM doesn't	Long rant on Erlang-style Actors: Lost Dimension
03/08/2012	Re: your first scenario, you	Long rant on Erlang-style Actors: Lost Dimension
03/08/2012	The problem with your	Long rant on Erlang-style Actors: Lost Dimension
03/08/2012	Not without violating the	Long rant on Erlang-style Actors: Lost Dimension
03/01/2012	What are the synchrony	Long rant on Erlang-style Actors: Lost Dimension
02/04/2012	But non-interactive error	Programming as collaborative reference
02/03/2012	I find C# liberating given	Peak Abstraction
01/28/2012	Outfix notation?	STEPS 2011 Progress Report (personal computing in 20kLOC)
01/30/2012	I thought mixfix generalized	STEPS 2011 Progress Report (personal computing in 20kLOC)
04/28/2012	As I've demonstrated, I and	STEPS 2011 Progress Report (personal computing in 20kLOC)
04/28/2012	That LOC is somehow a	STEPS 2011 Progress Report (personal computing in 20kLOC)
01/02/2012	<a href="deca#comment-68739" class="active">Of critical interest</a>	Deca, an LtU-friendly bare metal systems programming language
01/02/2012	<a href="deca#comment-68754" class="active">adding a language construct</a>	Deca, an LtU-friendly bare metal systems programming language
01/02/2012	<a href="deca#comment-68765" class="active">As to assigning fixed</a>	Deca, an LtU-friendly bare metal systems programming language
01/02/2012	<a href="deca#comment-68755" class="active">It's probably not really</a>	Deca, an LtU-friendly bare metal systems programming language
01/02/2012	<a href="deca#comment-68759" class="active">The point is to eliminate</a>	Deca, an LtU-friendly bare metal systems programming language
01/05/2012	<a href="deca#comment-68812" class="active">I want to eliminate a</a>	Deca, an LtU-friendly bare metal systems programming language
01/06/2012	<a href="deca#comment-68824" class="active">Because that would give a</a>	Deca, an LtU-friendly bare metal systems programming language
01/05/2012	<a href="deca#comment-68813" class="active">I can guarantee</a>	Deca, an LtU-friendly bare metal systems programming language
12/27/2011	Seven Myths of Formal Methods Revisited	Seven Myths of Formal Methods Revisited
12/28/2011	Good point, I've updated the	Seven Myths of Formal Methods Revisited
12/26/2011	You used to have to work	Programmer Archeologists
12/21/2011	The fact that many think	Cambridge Course on "Usability of Programming Languages"
12/22/2011	Sometimes I think the	Cambridge Course on "Usability of Programming Languages"
12/23/2011	do you just freeze up until	Cambridge Course on "Usability of Programming Languages"
12/23/2011	One would hope we could	Cambridge Course on "Usability of Programming Languages"
12/24/2011	Adoption is different from	Cambridge Course on "Usability of Programming Languages"
12/22/2011	I am intimately aware of the	Designing a languge — what theory is a must?
12/24/2011	what does ocap research have	Designing a languge — what theory is a must?
11/30/2011	libconcurrency is along the	Delimited continuations for C/C++
11/27/2011	Bloom has some of the	Models for distributed parallelism
11/14/2011	Finally tagless encoding. If	Flash and cross platform mobile web technologies
11/15/2011	By 'dynamic layer', I meant	Flash and cross platform mobile web technologies
11/18/2011	[OT]	Flash and cross platform mobile web technologies
11/11/2011	I think the expression	Is the Expression Problem Fundamental?
11/14/2011	This is not the case of all	Is the Expression Problem Fundamental?
11/15/2011	I could imagine some sort	Is the Expression Problem Fundamental?
11/15/2011	As you mention the	Is the Expression Problem Fundamental?
11/15/2011	For example it won't even	Is the Expression Problem Fundamental?
11/15/2011	As always, it's a trade-off	Is the Expression Problem Fundamental?
11/15/2011	I agree that's what we want	Is the Expression Problem Fundamental?
11/15/2011	It may very well be that the	Is the Expression Problem Fundamental?
11/15/2011	The one you are giving that	Is the Expression Problem Fundamental?
11/16/2011	No that was my point it	Is the Expression Problem Fundamental?
11/16/2011	But there's no natural	Is the Expression Problem Fundamental?
11/15/2011	Yes, literals are	Is the Expression Problem Fundamental?
11/16/2011	How would you define a (I'm	Is the Expression Problem Fundamental?
11/16/2011	abs('a { (<) : 'a -> 'a ->	Is the Expression Problem Fundamental?
11/16/2011	I'm not sure what you're	Is the Expression Problem Fundamental?
11/16/2011	And infer the dictionary	Is the Expression Problem Fundamental?
11/08/2011	LLVM bitcode is not	How to determine your new language is perfect?
10/30/2011	Extensible Programming with First-Class Cases	Extensible Programming with First-Class Cases
10/30/2011	Addendum: a widely known	Extensible Programming with First-Class Cases
10/31/2011	Sounds like you have it	Extensible Programming with First-Class Cases
11/05/2011	Indeed, I'm a big fan of the	Extensible Programming with First-Class Cases
11/05/2011	Excellent references. I'm	Extensible Programming with First-Class Cases
10/31/2011	I actually think Ur is	Extensible Programming with First-Class Cases
10/31/2011	Now that cases/dispatch and	Extensible Programming with First-Class Cases
10/31/2011	What's left is the ability	Extensible Programming with First-Class Cases
10/31/2011	Other people disagree with	Extensible Programming with First-Class Cases
11/01/2011	The ability to ignore types	Extensible Programming with First-Class Cases
11/02/2011	The ability to ignore types	Extensible Programming with First-Class Cases
10/31/2011	OCaml's structural objects	Extensible Programming with First-Class Cases
11/01/2011	Been awhile since I looked	Extensible Programming with First-Class Cases
11/01/2011	You can formalize how to	The Experimental Effectiveness of Mathematical Proof
11/01/2011	Statically typed programs	The Experimental Effectiveness of Mathematical Proof
11/02/2011	This violates the separation	The Experimental Effectiveness of Mathematical Proof
10/30/2011	That indicates that to build	"We Really Don't Know How to Compute!" by Gerald Sussman
10/30/2011	For example think about	"We Really Don't Know How to Compute!" by Gerald Sussman
10/31/2011	Sometimes you have an	"We Really Don't Know How to Compute!" by Gerald Sussman
10/31/2011	Jules is asking about	"We Really Don't Know How to Compute!" by Gerald Sussman
10/31/2011	Right, I've run into these	"We Really Don't Know How to Compute!" by Gerald Sussman
11/01/2011	I didn't want to pollute	"We Really Don't Know How to Compute!" by Gerald Sussman
10/31/2011	Edit: that probably sounded	"We Really Don't Know How to Compute!" by Gerald Sussman
10/31/2011	You'd need to declare a	"We Really Don't Know How to Compute!" by Gerald Sussman
10/31/2011	Right. It's not hard to	"We Really Don't Know How to Compute!" by Gerald Sussman
10/31/2011	I don't see why it doesn't	"We Really Don't Know How to Compute!" by Gerald Sussman
10/31/2011	Just so we're on the same	"We Really Don't Know How to Compute!" by Gerald Sussman
11/01/2011	The solution is quite simple	"We Really Don't Know How to Compute!" by Gerald Sussman
11/02/2011	I'm going to take a	"We Really Don't Know How to Compute!" by Gerald Sussman
10/30/2011	't Hooft is on the path of	"We Really Don't Know How to Compute!" by Gerald Sussman
11/09/2011	I can't for the life of me	"We Really Don't Know How to Compute!" by Gerald Sussman
11/09/2011	No, it was something more	"We Really Don't Know How to Compute!" by Gerald Sussman
11/09/2011	This is a very interesting	"We Really Don't Know How to Compute!" by Gerald Sussman
11/09/2011	That sounds like the closest	"We Really Don't Know How to Compute!" by Gerald Sussman
10/15/2011	I don't really see why C's	Dennis Ritchie passed away
10/07/2011	head explodes	Data, Codata, and Their Implications for Equality, and Serialization
10/26/2011	My car's breaking system has	Open thread: RIP Steve Jobs
10/26/2011	As far as I can tell,	Open thread: RIP Steve Jobs
10/26/2011	It doesn't matter what	Open thread: RIP Steve Jobs
10/26/2011	You keep asserting this and	Open thread: RIP Steve Jobs
10/27/2011	This is getting a little	Open thread: RIP Steve Jobs
10/06/2011	Logical Monotonicity	What space does SQL cover, or, why is max so weird in SQL?
10/07/2011	However, couldn't we make	What space does SQL cover, or, why is max so weird in SQL?
07/18/2011	Implementing undelimited	Implementor's guide/tutorial to delimited continuations?
04/13/2011	I just read that myself.	Redhat's New Language
04/12/2011	I'm increasingly less and	Staking Claims: A History of Programming Language Design Claims and Evidence
04/05/2011	If I understand correctly,	Compiler framework, insight?
03/28/2011	Isn't this just like a type	Extensible nesting of classes
03/28/2011	That's defined by the	Extensible nesting of classes
03/29/2011	Naasking: There is no	Extensible nesting of classes
03/31/2011	Yes, we need them to be	Finding and Understanding Bugs in C Compilers
03/31/2011	Some problems are	Finding and Understanding Bugs in C Compilers
03/31/2011	No, I thought I was clear on	Finding and Understanding Bugs in C Compilers
03/25/2011	Verifiable Functional Purity	Determining if a function is effectively pure
03/26/2011	Capabilities and	Determining if a function is effectively pure
03/01/2012	First link is now broken.	Type-checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance
03/23/2011	Then there's also the	Bob Harper of CMU is blogging about programming languages and introductory CS education
03/25/2011	Maybe I'm missing something,	Bob Harper of CMU is blogging about programming languages and introductory CS education
03/25/2011	Well, you also need	Bob Harper of CMU is blogging about programming languages and introductory CS education
03/25/2011	Yes, I suppose to do this	Bob Harper of CMU is blogging about programming languages and introductory CS education
03/31/2011	When it gets the job done	Bob Harper of CMU is blogging about programming languages and introductory CS education
03/31/2011	PHP is used because it is	Bob Harper of CMU is blogging about programming languages and introductory CS education
03/06/2011	This is the problem with all	Keyword and Optional Arguments in PLT Scheme
03/05/2011	Leveled Garbage Collection	Leveled Garbage Collection
03/07/2011	Leveled Garbage Collection	Leveled Garbage Collection
03/04/2011	Mozart/Oz	Middle History of Logic Programming
03/09/2011	Really? I didn't know that.	Middle History of Logic Programming
02/28/2011	The major case is a once-off	InfoQ video + transcript of Rob Pike on Go
02/13/2011	Actors operate by	Monads vs. Actors
02/14/2011	What does actors model offer	Monads vs. Actors
02/14/2011	The issue is interfacing a	Monads vs. Actors
02/15/2011	But Bracha is quite clear	Monads vs. Actors
02/15/2011	"A capability is a reference	Monads vs. Actors
02/16/2011	To me, capabilities are	Monads vs. Actors
02/17/2011	I used 'monadic' to quickly	Monads vs. Actors
02/17/2011	You've adopted an	Monads vs. Actors
02/17/2011	Well, I don't "believe" in	Monads vs. Actors
02/17/2011	I do not believe they are	Monads vs. Actors
02/17/2011	The references used	Monads vs. Actors
02/17/2011	The point is that I consider	Monads vs. Actors
02/17/2011	Pure lambda calculus can	Monads vs. Actors
02/18/2011	There is no such thing as	Monads vs. Actors
02/18/2011	Asking a reference for its	Monads vs. Actors
02/24/2011	Isn't an actor for Hewitt	Monads vs. Actors
02/24/2011	I meant the question only in	Monads vs. Actors
02/07/2011	It looks interesting, and	Again with the distributed computing: Piccolo
01/29/2011	Region-based locking, Cyclone	Holistic types
01/25/2011	Concurrent Pattern Calculus	Concurrent Pattern Calculus
01/25/2011	Since definitions are under	Points in the Pattern Matching Design Space
01/15/2011	Parametric Prediction of Heap Memory Requirements	Parametric Prediction of Heap Memory Requirements
01/13/2011	Evaluation strategies: authoritative reference?	Evaluation strategies: authoritative reference?
01/13/2011	If you requires your terms	Evaluation strategies: authoritative reference?
01/13/2011	Ah, limited types, that	Evaluation strategies: authoritative reference?
01/14/2011	The scope argument is	Evaluation strategies: authoritative reference?
01/13/2011	Thanks for the reference, I	Evaluation strategies: authoritative reference?
02/15/2011	If in DrScheme I do: [...] I	Evaluation strategies: authoritative reference?
01/11/2011	2. How will heterogeneous	Scala Team Wins ERC Grant
01/11/2011	Understood, my point was	Scala Team Wins ERC Grant
01/07/2011	The Caml compiler is an	Fast Compilers
01/07/2011	His design improved on a	Fast Compilers
01/08/2011	But they hit a sweet spot. I	Fast Compilers
01/08/2011	That said, the specific	Fast Compilers
01/12/2011	I remember seeing a study a	Fast Compilers
01/05/2011	Runtime code generation for partial application?	Runtime code generation for partial application?
01/05/2011	It is unclear to me whether	Runtime code generation for partial application?
01/05/2011	Partial application is often	Runtime code generation for partial application?
01/05/2011	If you define 'staging' such	Runtime code generation for partial application?
01/05/2011	I think that's an apt	Runtime code generation for partial application?
01/05/2011	These speed up average	Runtime code generation for partial application?
01/05/2011	Someone corrected me on this	Runtime code generation for partial application?
01/05/2011	Closures can serve as a poor	Runtime code generation for partial application?
01/05/2011	Use of cryptographic URLs is	Runtime code generation for partial application?
01/06/2011	I did not say you don't have	Runtime code generation for partial application?
01/06/2011	You'd additionally need	Runtime code generation for partial application?
01/07/2011	And you cannot construct a	Runtime code generation for partial application?
01/07/2011	Distributing objects is	Runtime code generation for partial application?
01/07/2011	Reachability analysis or	Runtime code generation for partial application?
01/07/2011	However, it's also unclear	Runtime code generation for partial application?
01/07/2011	As you stated it here,	Runtime code generation for partial application?
01/08/2011	If you have objects without	Runtime code generation for partial application?
01/07/2011	That would be a function	Runtime code generation for partial application?
01/15/2011	While I can see (in	The AST Typing Problem
01/16/2011	Mozilla's Rust language has	The AST Typing Problem
01/03/2011	I had my heart set on fully	Memory, Actions and Extensible Syntax
01/04/2011	On the other hand,	Memory, Actions and Extensible Syntax
01/04/2011	- embedded	Memory, Actions and Extensible Syntax
12/24/2010	See Katahdin.	Memory, Actions and Extensible Syntax
12/20/2010	On-the-fly GC could meet	Azul's Pauseless Garbage Collector
01/07/2011	With EC, there's no	Stressed by Distributed Programming? Well, CALM Down.
12/08/2010	Generally known as promise	Semi-implicit batched remote code execution as staging
12/14/2010	Networking Named Content:	Semi-implicit batched remote code execution as staging
12/05/2010	I would expect the lesson to	Ghosts of Unix Past: a historical search for design patterns
12/03/2010	Bacon et al.	Reference Counting vs Tracing Garbage Collection?
12/05/2010	Most of Bacon and	Reference Counting vs Tracing Garbage Collection?
12/06/2010	Efficient Compile-Time	Reference Counting vs Tracing Garbage Collection?
12/06/2010	The method described doesn't	Reference Counting vs Tracing Garbage Collection?
12/06/2010	Firstly, I already precluded	Reference Counting vs Tracing Garbage Collection?
12/06/2010	This probably requires	Reference Counting vs Tracing Garbage Collection?
12/07/2010	Well the code generated is	Reference Counting vs Tracing Garbage Collection?
12/07/2010	Well, I'm not sure what to	Reference Counting vs Tracing Garbage Collection?
12/01/2010	He means that data	languages with call by value only (and maybe closures)?
12/01/2010	I don't see how. None of the	languages with call by value only (and maybe closures)?
12/01/2010	The post did not use the	languages with call by value only (and maybe closures)?
11/29/2010	Automatic Staged Compilation	Automatic Staged Compilation
11/16/2010	I agree with you that the	Clojure's Solutions to the Expression Problem
11/18/2010	My introduction was Securing	Clojure's Solutions to the Expression Problem
11/16/2010	I found the unsubscribe	A Preliminary Survey on Functional Programming
11/23/2010	FP has proven by now it is	A Preliminary Survey on Functional Programming
11/23/2010	Mind you, I am not saying it	A Preliminary Survey on Functional Programming
11/13/2010	The 4 core extensions	Directly Reflective Meta-Programming
11/13/2010	Not for the tagless encoding	Directly Reflective Meta-Programming
11/24/2010	I don't think this is true.	Lambda the Ultimate seems an Overstatement (not)
11/05/2010	Generative Type Abstraction and Type-level Computation	Generative Type Abstraction and Type-level Computation
11/12/2010	Our universe HAS non	Conservative Logic
11/11/2010	Related, but not	Conservative Logic
11/12/2010	Regarding detector loopholes	Conservative Logic
11/06/2010	Those in charge of steering	A Self-Checking Type System
11/06/2010	So generics in Magpie really	A Self-Checking Type System
11/06/2010	Fully general. Magpie	A Self-Checking Type System
10/31/2010	.NET Tasks are indeed like	Asynchronous Programming, Monads and Continuations in C#, F# and Scala
10/28/2010	Async/continuations for C# and VB	Programming Languages Panel Streaming Live Today (10/28/2010 16:30 PST GMT-7)
10/31/2010	It's kind of curious Mark	Programming Languages Panel Streaming Live Today (10/28/2010 16:30 PST GMT-7)
10/27/2010	Indeed, you should narrow	Comprehensive overview of security models?
10/28/2010	In that case, I am afraid	The Myths of Object-Orientation
11/01/2010	But (as one would expect in	The Myths of Object-Orientation
11/02/2010	...systems like web services	The Myths of Object-Orientation
11/02/2010	If there's an isomorphism	The Myths of Object-Orientation
11/03/2010	A typeclass could have	The Myths of Object-Orientation
11/03/2010	I'm not sure if you would	The Myths of Object-Orientation
11/03/2010	Thanks for the heads-up.	The Myths of Object-Orientation
11/03/2010	I have nothing against	The Myths of Object-Orientation
10/22/2010	If you think of an error as	Looking for pointers: mixfix error recovery
10/12/2010	It's been claimed (by people	The barrier to take-up of language innovation
10/15/2010	Tail calls in the JVM was an	The barrier to take-up of language innovation
10/08/2010	This is the design of the	Is cloning independent of message-passing
11/06/2010	Here's a recent talk about	Turning down the LAMP: Software specialization for the cloud
10/08/2010	GC without paging is also a	Design Principles Behind Smalltalk
10/14/2010	A good tracing GC	Design Principles Behind Smalltalk
10/14/2010	Typically, reference	Design Principles Behind Smalltalk
10/12/2010	Hadn't noticed this comment	Design Principles Behind Smalltalk
09/25/2010	It seems somewhat obvious	Omega - Language of the Future
09/25/2010	Oh, I know it's not a magic	Omega - Language of the Future
09/26/2010	The LtU thread discussing	Omega - Language of the Future
09/24/2010	High-level constructs for low-level C: exception handling, RAII, sum types and pattern matching	High-level constructs for low-level C: exception handling, RAII, sum types and pattern matching
09/29/2010	Thanks, I'm familiar with	High-level constructs for low-level C: exception handling, RAII, sum types and pattern matching
09/18/2010	I'm not aware of any	FunLoft reactive, concurrent programming language
09/19/2010	You're right, I shouldn't	FunLoft reactive, concurrent programming language
09/07/2010	They're using a boolean lock	Joe Duffy: A (brief) retrospective on transactional memory
09/04/2010	It looks like you're just	Dependency injection via parameterized types (?!)
09/03/2010	This assumes that the	Choosing a VM for a concurrent language
09/08/2010	In effect I've hand-rolled	Choosing a VM for a concurrent language
08/29/2010	Cyclone in some cases, which	Sapir-Whorf 70 years on
08/25/2010	Computational equivalent of incompleteness theorems?	Computational equivalent of incompleteness theorems?
08/25/2010	Perhaps I'm trying too hard,	Computational equivalent of incompleteness theorems?
08/26/2010	Great thread. It seems to	Computational equivalent of incompleteness theorems?
08/24/2010	Stack maps can be used only	Articles on Precise GC with Parametric Polymorphism
12/08/2010	Not necessarily. The .NET	Articles on Precise GC with Parametric Polymorphism
12/08/2010	Ref 1, Ref 2. Don't have	Articles on Precise GC with Parametric Polymorphism
08/24/2010	For example, by default	The Grafwegen Hi Compiler named Hic release 0.1
08/23/2010	I wonder why there are not	The Grafwegen Hi Compiler named Hic release 0.1
08/23/2010	Having said that, um, it	The Grafwegen Hi Compiler named Hic release 0.1
11/29/2010	ML compiler, mutation trick?	The Grafwegen Hi Compiler named Hic release 0.1
08/19/2010	This doesn't really have	Miguel de Icaza on Java lawsuit
08/03/2010	IObservable is just an	Deprecating the Observer Pattern
08/03/2010	How? The state is	Deprecating the Observer Pattern
08/04/2010	I didn't get all of this	Deprecating the Observer Pattern
08/04/2010	E-ORDER is tackling a	Deprecating the Observer Pattern
08/04/2010	but I still think FRP is	Deprecating the Observer Pattern
08/05/2010	How is it minimal and what	Deprecating the Observer Pattern
08/05/2010	That is not the point of the	Deprecating the Observer Pattern
08/05/2010	Assuming tolerating glitches	Deprecating the Observer Pattern
07/30/2010	Discussed on reddit a few months ago	The C Object System (COS)
07/28/2010	Cheers to 10 years of	It's been ten years!
07/09/2010	Hmm, lightweight static	The Rust Language
07/08/2010	Just when I thought I had an	The Rust Language
07/23/2010	Abstract Intepretation	The Rust Language
07/29/2010	Those laws seem designed for	Logic programming based GUI framework
07/30/2010	I was thinking more along	Logic programming based GUI framework
07/30/2010	Most systems these days	Logic programming based GUI framework
07/30/2010	The grid has to have the	Logic programming based GUI framework
06/25/2010	Basically, natural language	How important is language support for namespace management?
06/26/2010	I sympathize with the idea	Why Undergraduates Should Learn the Principles of Programming Languages
06/30/2010	What he, in my opinion,	Why Undergraduates Should Learn the Principles of Programming Languages
06/06/2010	From Cockburn's critique: I	some critiques of the Semat initiative
06/06/2010	But he's also saying he	some critiques of the Semat initiative
06/02/2010	CiteSeer link.	Types/Ordering of canonical FP compiler transforms and optimizations?
05/27/2010	In a feeble effort at	Alan Kay's 70th
05/28/2010	Yes, C# gained generics	Alan Kay's 70th
05/28/2010	Parametric polymorphism as a	Alan Kay's 70th
05/28/2010	Only a little. Still,	Alan Kay's 70th
05/11/2010	Likewise, at a higher level	DesignerUnits
05/11/2010	Arbitrary amounts of	DesignerUnits
11/06/2010	Re: F#, I'm not sure what	DesignerUnits
05/01/2010	Region-based memory	Any research on garbage collection for a pure langauge?
04/26/2010	There is no ownership of	Capability-based security; how does it work?
04/27/2010	Hmm, I don't see a	Capability-based security; how does it work?
04/30/2010	Where is this particular	Capability-based security; how does it work?
05/01/2010	You only mentioned	Capability-based security; how does it work?
04/26/2010	In an OS, capabilities are	Capability-based security; how does it work?
04/27/2010	In object capability	Capability-based security; how does it work?
04/27/2010	The radical notion behind	Capability-based security; how does it work?
04/27/2010	Let's say my neighbour looks	Capability-based security; how does it work?
04/26/2010	What shap said. In PLT	Capability-based security; how does it work?
04/29/2010	I have seen humans enter	Capability-based security; how does it work?
04/27/2010	[...] and track "ownership"	Capability-based security; how does it work?
04/27/2010	(and still consider superior	Capability-based security; how does it work?
04/28/2010	When you talk about	Capability-based security; how does it work?
04/28/2010	I think Ray is concerned	Capability-based security; how does it work?
04/28/2010	Encryption is not	Capability-based security; how does it work?
04/26/2010	The Structure of Authority: Why security is not a separable concern	The Structure of Authority: Why security is not a separable concern
04/26/2010	There are no categories for	The Structure of Authority: Why security is not a separable concern
04/27/2010	Flow of information is only	The Structure of Authority: Why security is not a separable concern
04/28/2010	Access controls limit the	The Structure of Authority: Why security is not a separable concern
05/03/2010	There are other forms of	The Structure of Authority: Why security is not a separable concern
05/04/2010	The telephone system is a	The Structure of Authority: Why security is not a separable concern
05/04/2010	Ah. So if I broke through	The Structure of Authority: Why security is not a separable concern
05/05/2010	Bringing capabilities into	The Structure of Authority: Why security is not a separable concern
05/06/2010	Based on systems I see	The Structure of Authority: Why security is not a separable concern
05/06/2010	Do you know of any	The Structure of Authority: Why security is not a separable concern
05/07/2010	Almost anything can (and	The Structure of Authority: Why security is not a separable concern
05/07/2010	... as has Cobol. I'm not	The Structure of Authority: Why security is not a separable concern
05/07/2010	Security can be both tested	The Structure of Authority: Why security is not a separable concern
04/28/2010	Actually, I have a question.	The Structure of Authority: Why security is not a separable concern
04/28/2010	NOW you are not writing	The Structure of Authority: Why security is not a separable concern
04/26/2010	In C you can jump execution	Seeking thoughtful criticisms of functional programming and languages
04/26/2010	I think the point you and	Seeking thoughtful criticisms of functional programming and languages
04/26/2010	I never meant to make that	Seeking thoughtful criticisms of functional programming and languages
04/25/2010	I'm sure it's possible to	Seeking thoughtful criticisms of functional programming and languages
04/23/2010	At the moment, I believe, OO	Seeking thoughtful criticisms of functional programming and languages
04/23/2010	This has been discussed	Seeking thoughtful criticisms of functional programming and languages
04/24/2010	The Yampa link is to a	Seeking thoughtful criticisms of functional programming and languages
04/24/2010	I agree they have been	Seeking thoughtful criticisms of functional programming and languages
04/24/2010	All higher-level UI toolkits	Seeking thoughtful criticisms of functional programming and languages
04/25/2010	I keep forgetting about	Seeking thoughtful criticisms of functional programming and languages
04/22/2010	Higher-order functions are	Seeking thoughtful criticisms of functional programming and languages
04/22/2010	The entire LINQ framework	Seeking thoughtful criticisms of functional programming and languages
04/23/2010	Fair enough. I don't equate	Seeking thoughtful criticisms of functional programming and languages
04/23/2010	I'm not disagreeing with you	Seeking thoughtful criticisms of functional programming and languages
04/23/2010	In my limited experience,	Seeking thoughtful criticisms of functional programming and languages
04/26/2010	How so? Or more importantly,	SEC interested in formalising contracts ... in Python
04/26/2010	I'm clearly stretching here,	SEC interested in formalising contracts ... in Python
04/27/2010	Haskell or Scheme's	SEC interested in formalising contracts ... in Python
04/28/2010	Sounds dangerous, not only	SEC interested in formalising contracts ... in Python
04/16/2010	C is like that. PLT folk	How can C Programs be so Reliable?
04/16/2010	I figured it would just	How can C Programs be so Reliable?
04/21/2010	Just parameterize every	How can C Programs be so Reliable?
04/21/2010	This brings up a good point:	How can C Programs be so Reliable?
04/22/2010	I know of no way to enforce	How can C Programs be so Reliable?
04/22/2010	In EROS, the hardware page	How can C Programs be so Reliable?
04/15/2010	So for high performance	Representing Type Information in Dynamically Typed Languages
04/16/2010	Just think of if-else	Representing Type Information in Dynamically Typed Languages
04/16/2010	However, the Pentium M, the	Representing Type Information in Dynamically Typed Languages
04/09/2010	Bad news for MonoTouch and	iPhone PL lockdown
04/09/2010	The iPhone/iPad OS and	iPhone PL lockdown
04/11/2010	if many economically	iPhone PL lockdown
11/03/2011	LtU -- I hate to sound	iPhone PL lockdown
11/04/2011	It isn't meaningfully your	iPhone PL lockdown
11/04/2011	Property rights are	iPhone PL lockdown
04/15/2010	which thus far	splitting the program into formalizable vs. non-formalizable parts?
04/08/2010	He expanded on this proposal	Higher order functions vs. function arity and calling conventions
04/08/2010	Yes, he shows an example or	Higher order functions vs. function arity and calling conventions
04/08/2010	It sounds like the problems	Higher order functions vs. function arity and calling conventions
03/31/2010	They had a good idea with	Go's proposed panic/recover exception-like mechanism
04/07/2010	how could an exception	Go's proposed panic/recover exception-like mechanism
01/03/2012	I'm not sure I get the	Go's proposed panic/recover exception-like mechanism
01/03/2012	The reason checked	Go's proposed panic/recover exception-like mechanism
01/03/2012	The burden comes from	Go's proposed panic/recover exception-like mechanism
01/04/2012	Parsing user data that	Go's proposed panic/recover exception-like mechanism
01/04/2012	Consider wrapping one	Go's proposed panic/recover exception-like mechanism
01/04/2012	Given Int + Int, you still	Go's proposed panic/recover exception-like mechanism
01/05/2012	The implicit nature of	Go's proposed panic/recover exception-like mechanism
01/05/2012	I am curious how you came to	Go's proposed panic/recover exception-like mechanism
01/05/2012	I don't agree with this, at	Go's proposed panic/recover exception-like mechanism
01/06/2012	Perhaps you should think	Go's proposed panic/recover exception-like mechanism
01/07/2012	Sandro asked about my	Go's proposed panic/recover exception-like mechanism
01/06/2012	That you fail to grasp or	Go's proposed panic/recover exception-like mechanism
04/15/2010	The issue I think comes down	Small is Beautiful: the design of Lua
03/31/2010	Related: Algebraic/Denotational Models of Effects	Can functional programming be liberated from the von Neumann paradigm?
03/31/2010	There's probably a sweet	Fantom language discussion ; what are your thoughts ?
03/26/2010	In fact, they're quite low.	Will data-intensive computing revolutionize programming languages?
03/22/2010	Only closures are compiled	First-class environments. Discuss. ;)
03/24/2010	Maybe this will help: C# 3.0	First-class environments. Discuss. ;)
03/28/2010	I think that we as a	First-class environments. Discuss. ;)
03/30/2010	What is an application?!??	First-class environments. Discuss. ;)
03/30/2010	Thus I object to the	First-class environments. Discuss. ;)
03/30/2010	For the style of FEXPRs	First-class environments. Discuss. ;)
03/31/2010	Looks like your second link	First-class environments. Discuss. ;)
03/30/2010	In any publicly distributed	First-class environments. Discuss. ;)
03/30/2010	Of course, but to maintain	First-class environments. Discuss. ;)
03/30/2010	If the goal is to maintain	First-class environments. Discuss. ;)
03/17/2010	But it seems to me that	On the (Alleged) Value of Proof for Assurance
03/12/2010	I suppose it depends what	Have tracing JIT compilers won?
03/16/2010	And here's the type for	Advantages of Purity
03/17/2010	Perhaps my recollection is	Advantages of Purity
03/17/2010	If you or someone else	Advantages of Purity
03/02/2010	To be fair, there is still	large-scale programming systems inspired by ecological and market systems
03/11/2010	To my mind, auditability	functional equivalance?
03/11/2010	It's not necessarily an	functional equivalance?
03/02/2010	but it ends in a plea for	Can a Biologist Fix a Radio?
03/05/2010	With software, we are bound	plt vs. something else for programming in the large?
03/05/2010	So what is the improvement	plt vs. something else for programming in the large?
03/06/2010	We need a strong optimizing	plt vs. something else for programming in the large?
03/06/2010	They do towards the	plt vs. something else for programming in the large?
03/06/2010	Yes, but for some reason I	plt vs. something else for programming in the large?
02/22/2010	Objects to Unify Type Classes and GADTs	Objects to Unify Type Classes and GADTs
02/22/2010	As another point to ponder,	Objects to Unify Type Classes and GADTs
02/22/2010	Fixed, thanks. The link	Objects to Unify Type Classes and GADTs
02/24/2010	Good point. This proposal	Objects to Unify Type Classes and GADTs
02/20/2010	we just combine first-class	Testing release of a platform for hosting pure functional web applications
02/21/2010	Not sure about Adam's	Testing release of a platform for hosting pure functional web applications
02/22/2010	The reason is that we don't	Testing release of a platform for hosting pure functional web applications
02/22/2010	I think "code-based UI	Testing release of a platform for hosting pure functional web applications
02/22/2010	I guess I just think we need	Testing release of a platform for hosting pure functional web applications
02/22/2010	WPF is a good example. I'm	Testing release of a platform for hosting pure functional web applications
02/23/2010	Facet pattern, powerbox	Testing release of a platform for hosting pure functional web applications
02/23/2010	you give the app a big	Testing release of a platform for hosting pure functional web applications
02/23/2010	For reference purposes, here	Testing release of a platform for hosting pure functional web applications
02/25/2010	I think Matt just meant that	Testing release of a platform for hosting pure functional web applications
02/19/2010	You may want to consider an	Small PL Thought Experiment
02/19/2010	[I looked at the paper you	Small PL Thought Experiment
02/16/2010	This design choice was	Joe-E: A Security-Oriented Subset of Java
02/16/2010	Sorry, that was a	Joe-E: A Security-Oriented Subset of Java
02/17/2010	We may have different	Joe-E: A Security-Oriented Subset of Java
02/17/2010	Incidentally, in retrospect	Joe-E: A Security-Oriented Subset of Java
02/17/2010	If you have any insights	Joe-E: A Security-Oriented Subset of Java
02/10/2010	Then, the NaNs propagates	NaNs and reflexivity
02/05/2010	Link to Clutter is broken.	Clutter Toolkit
01/31/2010	then your user interface can	more consistent macros?
02/01/2010	Let's assume they are dual	more consistent macros?
02/01/2010	Thus, from the above, one	more consistent macros?
02/01/2010	I wouldn't say that	more consistent macros?
02/01/2010	Even if the HW is helping to	more consistent macros?
02/02/2010	What would not be reasonable	more consistent macros?
01/25/2010	Operator precedence	Operator precedence
01/22/2010	Free version of the above	Clojure 1.1 and Beyond
01/26/2010	You mean something like	Discoverability, Language Features, and the First Step Toward Composition
02/01/2010	I think that services should	Discoverability, Language Features, and the First Step Toward Composition
02/01/2010	Could you explain to me how	Discoverability, Language Features, and the First Step Toward Composition
02/01/2010	Hoogle does not seam to	Discoverability, Language Features, and the First Step Toward Composition
01/17/2010	I have two M&Ms, one red,	Quantum Lambda Calculus
01/19/2010	I'll just note that others	Quantum Lambda Calculus
01/05/2010	But the experiment must be	Open wiki-like code repository
01/02/2010	When someone goes and	Open wiki-like code repository
01/02/2010	Better yet, the version	Open wiki-like code repository
12/30/2009	Great direction. "Programs	Exploration of Program as Language
12/30/2009	Ralph's post distinguishes	Exploration of Program as Language
12/26/2009	Functional Pearl: Implicit Conﬁgurations —or, Type Classes Reﬂect the Values of Types	Functional Pearl: Implicit Conﬁgurations —or, Type Classes Reﬂect the Values of Types
12/24/2009	I've always found that wiki	Ward's Wiki
12/25/2009	When two sides are clearly	Ward's Wiki
12/23/2009	[...] but WHY, then, should	Unfulfilled Promises of Software Technologies? (!)
12/24/2009	OO didn't try to be a logic.	Unfulfilled Promises of Software Technologies? (!)
12/25/2009	The thing is, they argued	Unfulfilled Promises of Software Technologies? (!)
12/25/2009	I settled on 15 simply	Unfulfilled Promises of Software Technologies? (!)
12/28/2009	Atrocities committed by some	Unfulfilled Promises of Software Technologies? (!)
12/29/2009	Are Java & C# "informally"	Unfulfilled Promises of Software Technologies? (!)
12/29/2009	The restrictions I refer to	Unfulfilled Promises of Software Technologies? (!)
12/31/2009	Formal approaches emphasize	Unfulfilled Promises of Software Technologies? (!)
12/25/2009	1) Tail call optimization.	Unfulfilled Promises of Software Technologies? (!)
12/13/2009	The compile-time program is	Metaprogramming and Heron : Five Years Later
12/13/2009	Well, you can model it	Metaprogramming and Heron : Five Years Later
12/07/2009	First, I'm surprised that no	Is Small Still Beautiful?
12/07/2009	If that's the case, I think	Is Small Still Beautiful?
12/04/2009	An artifact of my approach	Pragmatic declarative event abstraction
12/04/2009	The optimization is explicit	Why Object-Oriented Languages Need Tail Calls
12/07/2009	Yes, I believe such an	Why Object-Oriented Languages Need Tail Calls
12/02/2009	Their pluggable compiler	Eleven Theses on Clojure
12/02/2009	Among the other things,	Top rated programming conferences?
12/03/2009	It expects you to know the	Top rated programming conferences?
12/03/2009	I can say that it isn't	Top rated programming conferences?
12/03/2009	Bottom line: There is no	Top rated programming conferences?
12/03/2009	The next step was to add	Top rated programming conferences?
12/07/2009	If the paradigm was to	Two Bits: The Cultural Significance of Free Software
03/10/2010	Glitch-free?	Reactive Extensions for .NET released this week
11/19/2009	Connections between Transactions and Promises/Futures?	Connections between Transactions and Promises/Futures?
11/19/2009	Yes, the promise fails when	Connections between Transactions and Promises/Futures?
11/19/2009	The single-store atomic	Connections between Transactions and Promises/Futures?
11/19/2009	When you build "computations	Connections between Transactions and Promises/Futures?
11/19/2009	Assuming we're dealing with	Connections between Transactions and Promises/Futures?
11/16/2009	Statically typed Pratt parsers	Statically typed Pratt parsers
11/18/2009	Re: incrementality, that's a	Statically typed Pratt parsers
11/18/2009	Yes, precedence climbing	Statically typed Pratt parsers
11/24/2009	Not sure why people are so	The perfect advanced programming language for the productive industrial developer
12/01/2009	At the start of the project,	The perfect advanced programming language for the productive industrial developer
11/27/2009	Consider a terminating core	The perfect advanced programming language for the productive industrial developer
11/14/2009	90 minute Scheme to C compiler	Seeking nearly anything re: so called language "bootstrapping" process
11/18/2009	Need to add "http://" to	Seeking nearly anything re: so called language "bootstrapping" process
11/12/2009	PolR can choose to view	Explanation of Computer Theory for Lawyers
11/12/2009	The court essentially	Explanation of Computer Theory for Lawyers
11/13/2009	But PolR also includes some	Explanation of Computer Theory for Lawyers
12/04/2009	The court is considering the	Explanation of Computer Theory for Lawyers
01/04/2010	I think it gets you quite	Explanation of Computer Theory for Lawyers
11/11/2009	Indeed, a lot of the site	Go or Unladen Swallow?
11/12/2009	Higher-level system languages, Felix, BitC	Go or Unladen Swallow?
11/19/2009	Mac OS X's Mach kernel and	Go or Unladen Swallow?
11/16/2009	GC isn't nearly as costly on	Go or Unladen Swallow?
11/17/2009	What's so fanciful about the	Go or Unladen Swallow?
11/07/2009	Security, I agree.	John Hughes on Erlang and Haskell
11/06/2009	More Abstraction	John Hughes on Erlang and Haskell
11/07/2009	The main improvement to come	John Hughes on Erlang and Haskell
11/21/2009	I think I get the gist of	John Hughes on Erlang and Haskell
11/02/2009	The way I interpreted his	On Understanding Data Abstraction, Revisited
11/03/2009	That looks like a link to	On Understanding Data Abstraction, Revisited
10/30/2009	What about other languages?	Literate Programming: Retrospect and Prospects
11/02/2009	Seems to me, we simply need	Literate Programming: Retrospect and Prospects
10/27/2009	Retrospective: An Axiomatic Basis for Computer Programming	Retrospective: An Axiomatic Basis for Computer Programming
10/26/2009	The irreducibly "design	Design Patterns 15 Years Later: An Interview with Erich Gamma, Richard Helm, and Ralph Johnson
10/22/2009	I'd further note that RAII	The design process for Zimbu
10/18/2009	Look up "trace trees" and	Techniques used in Hotspot compilation
10/17/2009	On the other hand, you do	Erik Meijer's MSDN Channel 9 lecture series on functional programming
10/21/2009	Map/Reduce is a nice	Seeking broad survey of wide range of concurrency idioms
10/22/2009	I don't quite understand how	Seeking broad survey of wide range of concurrency idioms
10/22/2009	what he really meant was "I	Seeking broad survey of wide range of concurrency idioms
10/22/2009	How often do you assume your	Seeking broad survey of wide range of concurrency idioms
10/22/2009	Any program over which you'd	Seeking broad survey of wide range of concurrency idioms
10/23/2009	If we now seem to be on the	Seeking broad survey of wide range of concurrency idioms
10/23/2009	I don't see why it's	Seeking broad survey of wide range of concurrency idioms
10/24/2009	I never said the differences	Seeking broad survey of wide range of concurrency idioms
10/12/2009	It sounds like you want an	Algorithms for inferring most specific types?
10/14/2009	Aren't most of the	Algorithms for inferring most specific types?
10/11/2009	Safe Garbage Collection = Regions + Intensional Type Analysis	Safe Garbage Collection = Regions + Intensional Type Analysis
10/13/2009	Indeed, an interesting paper	Safe Garbage Collection = Regions + Intensional Type Analysis
10/14/2009	Improving GC is exactly what	Safe Garbage Collection = Regions + Intensional Type Analysis
10/14/2009	It didn't discuss those	Safe Garbage Collection = Regions + Intensional Type Analysis
10/15/2009	Statically proving safety is	Safe Garbage Collection = Regions + Intensional Type Analysis
10/07/2009	Compilation to C, a definitive guide?	Compilation to C, a definitive guide?
10/08/2009	Flattening Transformation	Compilation to C, a definitive guide?
10/08/2009	I love Ertl's idea of inline	Compilation to C, a definitive guide?
10/09/2009	Yes, I read that about	Compilation to C, a definitive guide?
10/09/2009	Simple answer: portability.	Compilation to C, a definitive guide?
11/12/2009	It'd be nice if you could	Compilation to C, a definitive guide?
10/05/2009	Abstracting over Type Constructors using Dynamics in C#	Abstracting over Type Constructors using Dynamics in C#
09/18/2009	Coincidentally, I was just	ICFP 2009 Proceedings
09/17/2009	I'm a little unclear on	Noop: Google Language for the JVM
09/17/2009	They are also going to	Noop: Google Language for the JVM
09/18/2009	How is "no statics" a hard	Noop: Google Language for the JVM
09/18/2009	You could be right. I would	Noop: Google Language for the JVM
09/18/2009	Java supports static fields	Noop: Google Language for the JVM
09/16/2009	LLVM, to the best of my	Coders at Work
09/06/2009	Solving the expression problem with type classes	Solving the expression problem with type classes
09/07/2009	Afraid not. That one's in my	Solving the expression problem with type classes
09/07/2009	Indeed, that was the best	Solving the expression problem with type classes
09/07/2009	I have the Modular Generics	Solving the expression problem with type classes
09/08/2009	Is this the paper you're	Solving the expression problem with type classes
04/20/2010	Another paper	Solving the expression problem with type classes
09/05/2009	Some papers on LtU have	Proving running times of algorithms
09/08/2009	I remember it was a	Proving running times of algorithms
11/30/2009	This just showed up on the	Review NP-complete Library Versioning Problem
08/22/2009	Just make Glue a method on	Accumulating Types in C#
08/22/2009	You're right, because the	Accumulating Types in C#
08/23/2009	Static call, not dynamic dispatch	Accumulating Types in C#
08/23/2009	In fact this code, seems to	Accumulating Types in C#
08/18/2009	Couldn't the compiler	functions vs procedures..
08/18/2009	Would it really require	functions vs procedures..
08/13/2009	Reflection is poorly defined	Receiver knowing the sender?
08/09/2009	I believe you're looking for	Help me find a paper please?
12/22/2009	Basically if a programmer	Objects as Modules in Newspeak
12/22/2009	Okay, so we need to	Objects as Modules in Newspeak
12/22/2009	So all object construction	Objects as Modules in Newspeak
08/05/2009	Always search for "X	Creator of Qi Calls It Quits
08/09/2009	The issue with implementing	New JDK 7 Feature: Support for Dynamically Typed Languages in the JVM
08/11/2009	OTOH it will produce an	New JDK 7 Feature: Support for Dynamically Typed Languages in the JVM
08/11/2009	Constant-time interface dispatch	New JDK 7 Feature: Support for Dynamically Typed Languages in the JVM
08/11/2009	Dispatch would certainly be	New JDK 7 Feature: Support for Dynamically Typed Languages in the JVM
08/12/2009	For calls on X86, using the	New JDK 7 Feature: Support for Dynamically Typed Languages in the JVM
08/14/2009	first because it's common to	New JDK 7 Feature: Support for Dynamically Typed Languages in the JVM
08/18/2009	Non generics collection and	New JDK 7 Feature: Support for Dynamically Typed Languages in the JVM
07/27/2009	64KB is "plenty of room"?	Representing Control in the Presence of First-Class Continuations
07/27/2009	Follow-up: One-Shot Continuations	Representing Control in the Presence of First-Class Continuations
07/22/2009	What C lacks in features it	Concepts Get Voted Off The C++0x Island
07/22/2009	Being persistent and willing	Concepts Get Voted Off The C++0x Island
07/22/2009	I'm not sure how to explain,	Concepts Get Voted Off The C++0x Island
07/22/2009	I think you're making this	Concepts Get Voted Off The C++0x Island
07/21/2009	I've seen extensions to GC	Simplicity
07/21/2009	Right, the runtime,	Simplicity
07/07/2009	Capabilities encourage	Trade-offs with abstraction
07/07/2009	I would consider security a	Trade-offs with abstraction
07/07/2009	functionality is usually	Trade-offs with abstraction
07/08/2009	A few years ago, we had a	Trade-offs with abstraction
06/27/2009	I think the problem with	subjective but hopefully less flamebaid-lame
06/30/2009	The reason that this is true	Most powerful terminating semantics?
06/30/2009	Tricky but, there's an	Most powerful terminating semantics?
07/01/2009	What is the definition of C?	Most powerful terminating semantics?
07/01/2009	To make this concrete: C99	Most powerful terminating semantics?
07/01/2009	You get regular files that	Most powerful terminating semantics?
07/02/2009	Just applying your own statement	Most powerful terminating semantics?
06/25/2009	Any memory-safe language	Fully Encapsulated Languages? Are there any out there?
06/26/2009	Mono provides this feature	Fully Encapsulated Languages? Are there any out there?
06/26/2009	Memory safety and absence of	Fully Encapsulated Languages? Are there any out there?
06/26/2009	At first the more I looked	Fully Encapsulated Languages? Are there any out there?
06/26/2009	By stating that the LoD	Fully Encapsulated Languages? Are there any out there?
06/29/2009	"capability based" is the	Fully Encapsulated Languages? Are there any out there?
06/19/2009	This is the last paper I	SSA vs. CPS (and ANF?)
06/17/2009	We need mechanisms for	A-Z of Programming Languages: Erlang
06/16/2009	Demanding that every	GRS vs LTRS
06/17/2009	the belief that correct	GRS vs LTRS
06/14/2009	What is confusing here is	Preventing downcasting and adding a universal variant
06/06/2009	Choosing the right defaults	The Myth of the Genius Programmer
06/07/2009	What then-contemporary work	The Myth of the Genius Programmer
05/30/2009	They are composable, but	Questions Five Ways
05/22/2009	It also marks all comments	Tracker + spill page = fail
05/24/2009	What is the meaning of	Computer music: a bastion of interactive visual dataflow languages
05/15/2009	That goes to show that few	Why Did M.I.T. Switch from Scheme to Python?
05/06/2009	abstract study of	Right on!
05/05/2009	Dispatch based on dynamic	Static typing may require runtime type checking?
05/03/2009	Referencing a local	YAPL - yet another programming language
04/19/2009	Irony.NET	2009 Lang.NET
04/20/2009	Eric Meijer's talk was good: events, enumerators and behaviours	2009 Lang.NET
04/21/2009	Behaviors are more like	2009 Lang.NET
04/21/2009	We don't want to block	2009 Lang.NET
04/18/2009	Maybe this is why Mono	How to ensure safety when millions of users inject scripts into a running system?
04/16/2009	Good references. I hadn't	Semantics of Memory Management for Polymorphic Languages
11/17/2010	OO "works" because it is the	Why are objects so unintuitive?
04/16/2009	Encapsulation is a good	Why are objects so unintuitive?
04/17/2009	Any time you introduce a	Why are objects so unintuitive?
04/11/2009	Disagreed! Functional	Why are objects so unintuitive?
04/12/2009	I don't think he was	Why are objects so unintuitive?
04/06/2009	Your link is invalid. the	Twitter and Scala
04/06/2009	Quote: "the initial ruby	Twitter and Scala
04/01/2009	Yes, I think this mascot	Announcing the Haskot
03/31/2009	What if you pass an instance	Subsumption at all costs
03/10/2009	In any case, I'd suggest	Influence of cognitive models on programming language design
03/04/2009	Futures, laziness, OO concurrency abstractions	C++ Futures
03/08/2009	Inability to resume/reset a	C++ Futures
03/08/2009	They lack _the_ central	C++ Futures
03/09/2009	It's exactly like arguing	C++ Futures
03/09/2009	Monadic semantics, specialization	C++ Futures
03/09/2009	..."real" promises shouldn't	C++ Futures
03/09/2009	With laziness, the	C++ Futures
03/10/2009	Often it is synonym for	C++ Futures
03/10/2009	with futures the consumer	C++ Futures
03/10/2009	Futures are when the	C++ Futures
03/10/2009	"Initiation ≤ Completion"	C++ Futures
03/10/2009	Remember that just because	C++ Futures
03/11/2009	But futures aren't	C++ Futures
03/11/2009	Coming from E and Waterken,	C++ Futures
03/12/2009	What semantics are expected	C++ Futures
03/03/2009	Part of the problem with	The Meta-LtU Thread
03/05/2009	I myself have never had a	The Meta-LtU Thread
03/08/2009	Since you're mentioning	The Meta-LtU Thread
02/09/2009	But, for almost every other	On the (Im)possibility of Obfuscating Programs
02/04/2009	I expect that it does, but	How best to add a record type to my typed Scheme variant?
02/03/2009	Tagged Arithmetic Optimization	Tagged Arithmetic Optimization
02/03/2009	Really OT?	Tagged Arithmetic Optimization
02/03/2009	I wouldn't implement	Tagged Arithmetic Optimization
02/03/2009	You are correct. Here's the	Tagged Arithmetic Optimization
02/04/2009	Unfortunately,	Tagged Arithmetic Optimization
02/03/2009	Unscientific benchmarks, constructor discrimination	Tagged Arithmetic Optimization
02/03/2009	I wasn't using the C	Tagged Arithmetic Optimization
02/04/2009	Thanks for the heads up!	Tagged Arithmetic Optimization
02/04/2009	BTW, there are some crazy	Tagged Arithmetic Optimization
02/04/2009	Really? I thought the only	Tagged Arithmetic Optimization
02/04/2009	TIL uses "nearly" tag-free	Tagged Arithmetic Optimization
01/28/2009	I think the reason the "no	Detailed discussion forum and/or IRC channel?
01/23/2009	but the design overhead of	Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake"
01/23/2009	Where's the burden?	Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake"
01/23/2009	From my reading, he was	Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake"
01/15/2009	While not complete, my	Looking for papers describing advanced language topics in terms of C programming
01/16/2009	No stress testing yet to be	Looking for papers describing advanced language topics in terms of C programming
01/13/2009	First-class	What Are The Resolved Debates in General Purpose Language Design?
01/13/2009	All new languages I've come	What Are The Resolved Debates in General Purpose Language Design?
01/13/2009	Seems a bit silly, given	What Are The Resolved Debates in General Purpose Language Design?
01/13/2009	Yes, they are still a bit	What Are The Resolved Debates in General Purpose Language Design?
01/13/2009	Arc is a new language that	What Are The Resolved Debates in General Purpose Language Design?
01/13/2009	Well, a new language which	What Are The Resolved Debates in General Purpose Language Design?
01/15/2009	Dynamic compilation exceeds	What Are The Resolved Debates in General Purpose Language Design?
01/21/2009	If we're interested in	What Are The Resolved Debates in General Purpose Language Design?
01/21/2009	If the parsing library is	What Are The Resolved Debates in General Purpose Language Design?
01/12/2009	Staging would suit your	Typed lambda calculii with type-indexed families of functions instead of polymoprhic functions?
01/12/2009	What would be the	Monads = lazy, effect types = strict?
01/13/2009	Thanks for the concise	Monads = lazy, effect types = strict?
01/10/2009	Thanks for the link! I had	Web hosting for Haskell/Lisp/Scheme
01/05/2009	Sometimes a more complicated	2008 In Review - What Happened with Programming Languages?
01/06/2009	Well, a little of both given	2008 In Review - What Happened with Programming Languages?
01/18/2009	Fixing GC memory leaks.	2008 In Review - What Happened with Programming Languages?
01/09/2009	all of which leads me more	2008 In Review - What Happened with Programming Languages?
01/09/2009	Some of your conjectures are	2008 In Review - What Happened with Programming Languages?
01/08/2009	Is the internal guerilla war	2008 In Review - What Happened with Programming Languages?
01/05/2009	F# will be apprehensively	2008 In Review - What Happened with Programming Languages?
12/22/2008	Functional Pearl: Type-safe pattern combinators	Functional Pearl: Type-safe pattern combinators
12/23/2008	See also, Compiling with	Functional Pearl: Type-safe pattern combinators
12/23/2008	One feature that the	Functional Pearl: Type-safe pattern combinators
12/23/2008	Right, exhaustiveness	Functional Pearl: Type-safe pattern combinators
01/26/2009	Going through the code now	Two Lightweight DSLs for Rich UI Programming
01/27/2009	Never been a fan of partial	Two Lightweight DSLs for Rich UI Programming
01/27/2009	Let me know if you upload	Two Lightweight DSLs for Rich UI Programming
02/03/2009	Great, thanks! Look forward	Two Lightweight DSLs for Rich UI Programming
06/18/2009	WPF should've made a generic	Two Lightweight DSLs for Rich UI Programming
06/18/2009	Yes, the FrTime papers and	Two Lightweight DSLs for Rich UI Programming
06/19/2009	I'll certainly check it out!	Two Lightweight DSLs for Rich UI Programming
06/23/2009	This project uses the	Two Lightweight DSLs for Rich UI Programming
06/19/2009	Your "Binding Lambdas when	Two Lightweight DSLs for Rich UI Programming
12/26/2008	It's a requirement in	Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.)
12/18/2008	Parametricity is violated in	Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.)
01/09/2009	Can you cite even one	Fundamental Flaws in Current Programming Language Type Systems
01/12/2009	Separating type and	Fundamental Flaws in Current Programming Language Type Systems
01/13/2009	That [edit: minus the	Fundamental Flaws in Current Programming Language Type Systems
01/14/2009	Suppose you have a function	Fundamental Flaws in Current Programming Language Type Systems
01/14/2009	Functorizing code is about	Fundamental Flaws in Current Programming Language Type Systems
01/15/2009	Basically, I'm suggesting	Fundamental Flaws in Current Programming Language Type Systems
01/15/2009	I'm objecting to the fact	Fundamental Flaws in Current Programming Language Type Systems
01/15/2009	I must be missing something.	Fundamental Flaws in Current Programming Language Type Systems
01/15/2009	The stronger typing can be	Fundamental Flaws in Current Programming Language Type Systems
01/15/2009	Ah, but continuing my	Fundamental Flaws in Current Programming Language Type Systems
01/16/2009	I have yet to see a proposal	Fundamental Flaws in Current Programming Language Type Systems
01/14/2009	I see, view patterns seems	Fundamental Flaws in Current Programming Language Type Systems
12/12/2008	It seems on-topic to me,	The Genuine Sieve of Eratosthenes
10/23/2009	Strictness is not exclusive	The Genuine Sieve of Eratosthenes
10/24/2009	(I consider Lisp and SML and	The Genuine Sieve of Eratosthenes
10/25/2009	I would use mutable arrays	The Genuine Sieve of Eratosthenes
11/24/2008	And '(forall a. a) ->	Non-standard type theories for FP
11/25/2008	I don't get it. Where is the	Non-standard type theories for FP
11/26/2008	That's how I read marco's	Non-standard type theories for FP
12/02/2008	Are the only difficulties	Non-standard type theories for FP
12/09/2008	These were all discussed on	Non-standard type theories for FP
02/11/2009	Runtime checks buy us	Microsoft PDC "Language" Talks
11/12/2008	First-Class Patterns	First-Class Patterns
11/13/2008	Scala's extractors are	First-Class Patterns
11/13/2008	Pattern functions are	First-Class Patterns
11/13/2008	I had been considering a	First-Class Patterns
11/11/2008	Modeling Abstract Types in Modules with Open Existential Types	Modeling Abstract Types in Modules with Open Existential Types
11/10/2008	Extensible records	Extensible tuples?
11/09/2008	Well, if there is sufficient	The Origins of the BitC Programming Language
11/11/2008	The notable recent exception	The Origins of the BitC Programming Language
11/12/2008	All disk controllers have a	The Origins of the BitC Programming Language
11/13/2008	You're right that I haven't	The Origins of the BitC Programming Language
11/14/2008	I was going to post this	The Origins of the BitC Programming Language
01/29/2009	It occurred to me this	The Origins of the BitC Programming Language
11/12/2008	My mistake! I thought it was	The Origins of the BitC Programming Language
11/09/2008	the stab at Linux isn't very	The Origins of the BitC Programming Language
11/06/2008	Number-Parameterized Types	Question concerning parameterization over literals
11/07/2008	"you can't just abstract	Question concerning parameterization over literals
11/04/2008	Link that works for me. Or	Oz/K: A kernel language for component-based open programming
11/04/2008	Reflection, Attributes and Parameterization	Reflection, Attributes and Parameterization
11/01/2008	What do you mean by	Automated Code Review Tools for Security
11/02/2008	it assumes that every	Automated Code Review Tools for Security
11/02/2008	Did I forget to mention the	Automated Code Review Tools for Security
11/03/2008	There are a number of	Automated Code Review Tools for Security
11/03/2008	Protecting the references	Automated Code Review Tools for Security
11/02/2008	Do you happen to have a link	Automated Code Review Tools for Security
11/02/2008	Invalid link!	Automated Code Review Tools for Security
01/09/2009	Norm has a page describing	Automated Code Review Tools for Security
10/28/2008	Maybe the best you can do is	Web application shootout?
10/28/2008	Declarative layout and/or UI languages?	Declarative layout and/or UI languages?
11/01/2008	Property models is	Declarative layout and/or UI languages?
10/31/2008	Sorry for being absent from	Declarative layout and/or UI languages?
11/01/2008	We were actually referring	Declarative layout and/or UI languages?
11/02/2008	Really you should take a	Declarative layout and/or UI languages?
11/03/2008	That's a really good link,	Declarative layout and/or UI languages?
10/23/2008	if every class Foo	Why do OOPLs type objects as classes?
10/22/2008	I think the correspondence	Multiple Dispatch in Practice
10/22/2008	I think the open nature of	Multiple Dispatch in Practice
10/23/2008	I imagine Naasking	Multiple Dispatch in Practice
10/23/2008	Yes, I think openness is	Multiple Dispatch in Practice
10/23/2008	4 of the languages	Multiple Dispatch in Practice
10/24/2008	If multi-methods are forced	Multiple Dispatch in Practice
10/23/2008	But seeing "checked	Multiple Dispatch in Practice
10/23/2008	There has been much work on	Multiple Dispatch in Practice
10/20/2008	Actually, I'm against	A Modular, Verifiable Exception-Handling Mechanism
10/20/2008	I have a hard time imagining	A Modular, Verifiable Exception-Handling Mechanism
10/21/2008	But I'd note it important	A Modular, Verifiable Exception-Handling Mechanism
10/22/2008	Despite that you can't see	A Modular, Verifiable Exception-Handling Mechanism
10/23/2008	REPL shells for statically typed langauges	A Modular, Verifiable Exception-Handling Mechanism
10/12/2008	I don't think either is more	On the (perceived) equivalence of static and dynamically typed reflective programming languages
10/12/2008	I can buy the hypothesis	On the (perceived) equivalence of static and dynamically typed reflective programming languages
10/12/2008	Perhaps a coherent, if	On the (perceived) equivalence of static and dynamically typed reflective programming languages
10/12/2008	I wouldn't expect the	On the (perceived) equivalence of static and dynamically typed reflective programming languages
10/16/2008	I'm not so sure d/r can one	On the (perceived) equivalence of static and dynamically typed reflective programming languages
10/18/2008	In my s/r, I can do the same	On the (perceived) equivalence of static and dynamically typed reflective programming languages
10/06/2008	They explain it. It's a	Worlds: Controlling the Scope of Side Effects
10/06/2008	Isn't a World a monad?	Worlds: Controlling the Scope of Side Effects
09/29/2008	Compiling with	To CPS or not to CPS
09/29/2008	CPS isn't the final program	To CPS or not to CPS
10/02/2008	This is the paper I linked	To CPS or not to CPS
10/03/2008	Yes, I did mean SML.NET.	To CPS or not to CPS
10/03/2008	Hmm, apparently SML#	To CPS or not to CPS
10/04/2008	Bitmasks for polymorphic representations	To CPS or not to CPS
10/10/2008	Edit: a quick google show	To CPS or not to CPS
10/10/2008	Pace of development seems	To CPS or not to CPS
10/02/2008	I think Charles was	Reia: Python/Ruby style language on top of Erlang
09/22/2008	Previously on LtU: Catch me	Is API evolution of exceptions special?
09/23/2008	however if we define them	Is API evolution of exceptions special?
02/03/2010	Arity-generic programming	Genericity over tuples
09/16/2008	Or use a final, tagless	Is There a Standard Formalism for Describing Abstract Syntax Trees?
09/16/2008	Efficient on-the-fly Cycle	Twilight of the GPU
09/17/2008	Benefits of macros?	First-class Macros
09/18/2008	Another example: if your	First-class Macros
09/18/2008	Aren't regexps simply a less	First-class Macros
09/19/2008	How do the parser	First-class Macros
09/23/2008	I'm not sure which of my	First-class Macros
09/23/2008	None of these could be	First-class Macros
09/24/2008	But the more important point	First-class Macros
09/23/2008	First, given a strict	First-class Macros
09/24/2008	Depends no how you look at	First-class Macros
09/24/2008	There's clearly still some	First-class Macros
09/19/2008	Which is just an indication	First-class Macros
09/22/2008	That still doesn't refute my	First-class Macros
09/22/2008	No, I'm arguing that to	First-class Macros
09/22/2008	Re: what is a macro?	First-class Macros
09/22/2008	It can, but then you have to	First-class Macros
09/23/2008	In my approach, 'main' is	First-class Macros
09/22/2008	I don't have access to	First-class Macros
09/24/2008	Second, they do not use	First-class Macros
09/10/2008	The reason the program's	Polymorphic Algebraic Data Type Reconstruction
09/04/2008	There's also Nick Szabo's	Stock exchanges: language design aspect
09/05/2008	[on edit: another,	Stock exchanges: language design aspect
09/03/2008	I don't think VCODE is all	Closures for C
09/15/2008	I don't see how this could	Closures for C
09/15/2008	Ah, so this calling	Closures for C
06/09/2009	Looks like LLVM's closures	Closures for C
08/29/2008	the only reason that web	Is COBOL really understandable after 14 years.
09/01/2008	For anyone who has written	Is COBOL really understandable after 14 years.
08/26/2008	Upgrade	Languages ready for API Evolution
08/20/2008	I'm wondering about the	Languages without operator precedence
08/20/2008	Given your brief description	OPIS -- Distributed Arrows In O'Caml
08/22/2008	However, Orc is a language	OPIS -- Distributed Arrows In O'Caml
08/24/2008	C doesn't have namespaces at	output language for new statically typed language?
08/13/2008	Slides: Continuing from the Past	Continuation Fest 2008
08/18/2008	Infernal Device	Continuation Fest 2008
08/10/2008	For debugging in any	Balancing the tension of dev vs. debug?
08/06/2008	Hmm, it sounds like session	Lightweight Monadic Regions
08/10/2008	The file handle can escape	Lightweight Monadic Regions
07/30/2008	The difference that I see is	Two Computers & An Ethernet Cable -- Also A Computer?
07/28/2008	Garbage Collection Representations	Garbage Collection Representations
07/29/2008	They describe the	Garbage Collection Representations
08/07/2008	Garbage collecting code?	Garbage Collection Representations
08/08/2008	Indeed, but not very	Garbage Collection Representations
08/10/2008	I was planning to use GNU	Garbage Collection Representations
08/10/2008	From what I can see from the	Garbage Collection Representations
11/03/2008	Two new polymorphic representations	Garbage Collection Representations
07/28/2008	Simply efficient functional	Beyond FRP: physics-inspired programming abstractions?
07/24/2008	A type and single effect	FP in D 2.0
07/24/2008	A type-and-single-effect	FP in D 2.0
07/21/2008	Really cool	Functional reactive programming in C# for WPF
07/18/2008	Ada is continuously being	Systems programming in languages other than C?
08/01/2008	High-level Views on	Systems programming in languages other than C?
07/21/2008	I do not believe that the	Multi-Artifact Languages
07/21/2008	Exactly. The interface could	Multi-Artifact Languages
07/21/2008	How about Dynamic	Multi-Artifact Languages
07/21/2008	I've always wondered whether	Practical Bits of Making a Compiler for a New Language
07/16/2008	even went as far as	Ada, the Ultimate Lambda?
07/11/2008	Catch me if you can: Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml	Catch me if you can: Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml
07/13/2008	I doubt C++ exceptions are	Catch me if you can: Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml
07/04/2008	Don't have time to dig up links	Implementing fast interpreters
06/26/2008	I'm not far from believing	Why Multi-Core is Easy and Internet is Hard
06/26/2008	Also nothing says that a	Why Multi-Core is Easy and Internet is Hard
06/27/2008	I'm not trying to diminish	Why Multi-Core is Easy and Internet is Hard
07/02/2008	A variable in Flapjax is a	Why Multi-Core is Easy and Internet is Hard
07/02/2008	Did you program your	Why Multi-Core is Easy and Internet is Hard
06/23/2008	Revisiting Coroutines	Revisiting Coroutines
06/23/2008	Module signatures for coroutines	Revisiting Coroutines
06/23/2008	Fixed, thanks. Anybody know	Revisiting Coroutines
06/23/2008	Yes, I note this in the post	Revisiting Coroutines
07/16/2008	Coroutines in C	Revisiting Coroutines
07/18/2008	Windows problems, stack copying	Revisiting Coroutines
07/18/2008	Yes, I'm aware of this,	Revisiting Coroutines
06/23/2008	It works in a distributed	Writing a new language - ideas?
06/23/2008	Thanks, looks like an	Writing a new language - ideas?
06/20/2008	the type parameter	Scaling Type Inference
06/20/2008	Now I hear some saying that	Scaling Type Inference
06/13/2008	Preemptive concurrency via compiler-inserted checks	Preemptive concurrency via compiler-inserted checks
06/13/2008	(a) is not a different way,	Preemptive concurrency via compiler-inserted checks
06/13/2008	Isn't that basically the	Preemptive concurrency via compiler-inserted checks
06/14/2008	Interesting. Have they tried	Preemptive concurrency via compiler-inserted checks
06/15/2008	Excellent points!	Preemptive concurrency via compiler-inserted checks
06/15/2008	Using signals	Preemptive concurrency via compiler-inserted checks
06/15/2008	I think you're better off	Preemptive concurrency via compiler-inserted checks
06/16/2008	Excellent link! This is	Preemptive concurrency via compiler-inserted checks
06/11/2008	fall back to folds and	On the importance of Turing completeness
06/11/2008	You would probably be	On the importance of Turing completeness
06/13/2008	Functional Programming in the ACM CS Curriculum	Functional Programming in the ACM CS Curriculum
06/13/2008	... F# (superset of	Functional Programming in the ACM CS Curriculum
06/13/2008	I think programming with	Functional Programming in the ACM CS Curriculum
06/13/2008	I don't see any needless	Functional Programming in the ACM CS Curriculum
06/14/2008	I mostly agree with what you	Functional Programming in the ACM CS Curriculum
06/15/2008	I totally agree. But doing	Functional Programming in the ACM CS Curriculum
06/14/2008	Wow! Where I come from,	Functional Programming in the ACM CS Curriculum
06/17/2008	Debating which is more	Functional Programming in the ACM CS Curriculum
06/15/2008	I'll be more specific then.	Functional Programming in the ACM CS Curriculum
06/17/2008	A number of those what is	Functional Programming in the ACM CS Curriculum
06/17/2008	SSA-form is pure, but the IR	Functional Programming in the ACM CS Curriculum
06/03/2008	The only thing I'm sorely	Multiple Value Return - Common Lisp vs. Tuples and destructuring
06/01/2008	Optimal asynchronous interface?	erlang green threads and the CLR
06/03/2008	1. Indirection really isn't	erlang green threads and the CLR
06/03/2008	In my experiments, Core 2	erlang green threads and the CLR
06/04/2008	I was more thinking of	erlang green threads and the CLR
06/04/2008	I'm much more worried about	erlang green threads and the CLR
06/05/2008	Then again, highly	erlang green threads and the CLR
06/07/2008	Their users will be doing	erlang green threads and the CLR
06/03/2008	64K processes is quite a few	erlang green threads and the CLR
06/10/2008	Extending the Haskell	erlang green threads and the CLR
06/11/2008	There's more if things like	erlang green threads and the CLR
06/01/2008	I might phrase it as,	Types Considered Harmful
06/02/2008	Hmm, that sounds almost like	Types Considered Harmful
06/02/2008	you add type inference to	Types Considered Harmful
05/30/2008	That's why we can easily	Computational Thinking
05/28/2008	I think portability was	Software complexity as means of professional advancement
05/28/2008	It's hard to see a ML with	Software complexity as means of professional advancement
05/28/2008	Marshaling may have come	Software complexity as means of professional advancement
05/28/2008	Well, runtime types for a	Software complexity as means of professional advancement
05/29/2008	That's just crazy. I'm more	Software complexity as means of professional advancement
05/28/2008	Much of the enterprise Java	Software complexity as means of professional advancement
05/29/2008	But we didn't have this	Software complexity as means of professional advancement
05/29/2008	Not sure that would hold any	Software complexity as means of professional advancement
05/28/2008	I don't recall what state	Software complexity as means of professional advancement
05/29/2008	Well, I'm asking only	Software complexity as means of professional advancement
05/27/2008	Hanlon's Razor	Software complexity as means of professional advancement
05/26/2008	This previous post will be	Category theory in design
05/20/2008	Why delete facts? Is it the	Linear Logical Algorithms
05/21/2008	GNAT Ada's generics are	Polymorphic C
05/20/2008	C# uses partial	Generic types
05/17/2008	Regions for Code GC?	Regions for Code GC?
05/18/2008	I'm not sure what you mean	Regions for Code GC?
05/20/2008	Hmm, good question. I	Regions for Code GC?
05/20/2008	Nested lifetimes aren't	Regions for Code GC?
05/20/2008	The guidelines recommend	Scala Lift Off Unconference review
04/29/2008	There's also a large family	Is Halting Problem Valid for P?
04/29/2008	The paper makes the claim	Is Halting Problem Valid for P?
04/25/2008	Indeed, and here is	2nd Revision of "Thoughts about the Best Introductory Language"
04/25/2008	All of the languages	2nd Revision of "Thoughts about the Best Introductory Language"
04/26/2008	Indeed, background is	2nd Revision of "Thoughts about the Best Introductory Language"
04/24/2008	Engineering also focuses on	program verification: the very idea
04/24/2008	Obviously any analysis is	program verification: the very idea
04/23/2008	While it's quite clear that	program verification: the very idea
04/20/2008	Flexible types: Robust type inference for first-class polymorphism	Flexible types: Robust type inference for first-class polymorphism
04/20/2008	FPH: First-class Polymorphism for Haskell	FPH: First-class Polymorphism for Haskell
04/21/2008	I think Ada's approach has	Static Typing and Expressivity
04/23/2008	Types are semantic	Static Typing and Expressivity
04/16/2008	Breaking region nesting in type-and-effect systems?	Breaking region nesting in type-and-effect systems?
04/17/2008	Thanks for the reference.	Breaking region nesting in type-and-effect systems?
04/18/2008	The paper Matthieu provided	Breaking region nesting in type-and-effect systems?
06/23/2008	Typing Safe Deallocation	Breaking region nesting in type-and-effect systems?
06/24/2008	Brief summary: Typing Safe Deallocation	Breaking region nesting in type-and-effect systems?
06/24/2008	I just noticed this: In the	Breaking region nesting in type-and-effect systems?
04/15/2008	Fan Programming Language	Fan Programming Language
04/16/2008	I don't see what you're	Fan Programming Language
04/16/2008	On the other hand, what you	The irreducible physicality of security properties
04/16/2008	I came from an OS	The irreducible physicality of security properties
04/16/2008	object capability security	The irreducible physicality of security properties
04/17/2008	I was being a tad loose with	The irreducible physicality of security properties
04/18/2008	Yes, I think you nailed it	The irreducible physicality of security properties
04/18/2008	However, I think there's a	The irreducible physicality of security properties
04/16/2008	There are certain properties	The irreducible physicality of security properties
04/18/2008	Didn't mean to put you on	The irreducible physicality of security properties
04/10/2008	See here for a brief	Can local variables assignments be considered pure functional without monads?
04/10/2008	It is well-known that	Can local variables assignments be considered pure functional without monads?
04/09/2008	Safety vs Security	Safe and Secure Software in Ada
04/09/2008	If FlowCaml can prevent	Safe and Secure Software in Ada
04/10/2008	If the semantics of the	Safe and Secure Software in Ada
04/10/2008	It's unknown whether covert	Safe and Secure Software in Ada
04/10/2008	I'm not sure about formal	Safe and Secure Software in Ada
04/10/2008	Why don't you consider this	Safe and Secure Software in Ada
04/11/2008	Ok, so it sounds like partly	Safe and Secure Software in Ada
04/11/2008	I agree and I should have	Safe and Secure Software in Ada
04/12/2008	Excellent example! There are	Safe and Secure Software in Ada
04/12/2008	Interesting idea. Perhaps	Safe and Secure Software in Ada
04/12/2008	That's a pretty good read.	Safe and Secure Software in Ada
04/07/2008	This sounds like	Static Analysis for Duck Typing
04/08/2008	I don't think so. Consider:	Static Analysis for Duck Typing
04/10/2008	The duck typing is in g. Say	Static Analysis for Duck Typing
04/10/2008	I don't see how interfaces	Static Analysis for Duck Typing
04/27/2008	[Edit: the difference being	Static Analysis for Duck Typing
04/27/2008	Consider a pair where the	Static Analysis for Duck Typing
05/01/2008	Everything I've read about	Static Analysis for Duck Typing
05/03/2008	"An extension method with	Static Analysis for Duck Typing
05/03/2008	From my understanding, there	Static Analysis for Duck Typing
05/03/2008	Only at runtime we will	Static Analysis for Duck Typing
04/02/2008	I believe CML was the first	Erasmus: A Modular Language for Concurrent Programming
04/02/2008	I probably should have been	Erasmus: A Modular Language for Concurrent Programming
04/03/2008	Hmm, for some reason I was	Erasmus: A Modular Language for Concurrent Programming
04/03/2008	It's possible to debate	Erasmus: A Modular Language for Concurrent Programming
04/04/2008	I have thought of that, but	Erasmus: A Modular Language for Concurrent Programming
04/04/2008	On an open network, sparse	Erasmus: A Modular Language for Concurrent Programming
03/29/2008	If the binary method problem	This class type
03/28/2008	Reddit's continuations	too much indentation solution?
10/25/2010	“Not interesting in	Concurrent Composition and Algebras of Events, Actions, and Processes
03/27/2008	Not just inlining, I believe	Ongoing work on Supercompilation of Java code (or supercompilation in general)?
03/29/2008	I will second Ada, and raise	CERT C Secure Coding Standard
03/22/2008	Traits	Relational rather than hierarchical OO packaging?
03/20/2008	It's because I am very green	Role of Types in Evaluation Strategy
03/15/2008	Higher-Order Programming without Closures?	Higher-Order Programming without Closures?
03/15/2008	Clarification, Cyclone	Higher-Order Programming without Closures?
03/16/2008	and with the explicit module	Higher-Order Programming without Closures?
03/16/2008	I don't natively speak ML	Higher-Order Programming without Closures?
03/16/2008	Ok, so modules are really	Higher-Order Programming without Closures?
03/16/2008	First, your `new' operator	Higher-Order Programming without Closures?
03/16/2008	If I understand correctly,	Higher-Order Programming without Closures?
03/17/2008	The intent is that the	Higher-Order Programming without Closures?
03/17/2008	Here, f has to represented	Higher-Order Programming without Closures?
03/17/2008	Have you considered	Higher-Order Programming without Closures?
03/17/2008	But the original definition	Higher-Order Programming without Closures?
03/18/2008	Modules can't have type	Higher-Order Programming without Closures?
03/17/2008	Hm, OK, but then you are	Higher-Order Programming without Closures?
03/18/2008	My point wasn't the way you	Higher-Order Programming without Closures?
03/18/2008	I'm sure we both find it	Higher-Order Programming without Closures?
03/18/2008	BitC goes quite a bit	Higher-Order Programming without Closures?
03/16/2008	Syntactically lighweight distinction	Higher-Order Programming without Closures?
03/17/2008	it looks like you're trying	Higher-Order Programming without Closures?
03/18/2008	Yes, I've always assumed	Higher-Order Programming without Closures?
04/23/2008	Compiling for Runtime Code Generation	Higher-Order Programming without Closures?
03/19/2008	But you pay that regardless	Higher-Order Programming without Closures?
03/13/2008	I'm surprised!	Languages best suited for scientific computing?
03/13/2008	This expression form would	Variation of C's inline conditional
03/12/2008	Writing practical memory management code with a strictly typed assembly language	Writing practical memory management code with a strictly typed assembly language
03/19/2008	Link is broken. I couldn't	Eriskay: a Programming Language Based on Game Semantics
03/19/2008	By broken, I mean it returns	Eriskay: a Programming Language Based on Game Semantics
03/26/2008	Oh, thanks! That's a really	Eriskay: a Programming Language Based on Game Semantics
03/10/2008	GNU Smalltalk	Educational environments to learn programming
03/10/2008	Very interesting! The CMod	C - header files
03/09/2008	There is no link for BNF	Applied Metamodelling: A Foundation for Language Driven Development
03/03/2008	Uniqueness Typing Simplified	Uniqueness Typing Simplified
03/04/2008	Still, at least the	Uniqueness Typing Simplified
03/03/2008	Expression Problem Solved in C#	Type-safe solution to the expression problem in C#?
03/02/2008	Confused Deputies in Programming Languages	Confused Deputies in Programming Languages
03/04/2008	No comments? I'm surprised.	Confused Deputies in Programming Languages
03/04/2008	Someone here recently	Confused Deputies in Programming Languages
03/07/2008	This is the debate I was	Confused Deputies in Programming Languages
03/07/2008	RT is not an unqualified	Confused Deputies in Programming Languages
03/07/2008	I knew you could rebind	Confused Deputies in Programming Languages
03/07/2008	I'm going to have to side	Confused Deputies in Programming Languages
03/07/2008	I also agree with him that	Confused Deputies in Programming Languages
03/07/2008	Imaging the difference in an	Confused Deputies in Programming Languages
03/07/2008	Moreover, though this is	Confused Deputies in Programming Languages
03/07/2008	Remember I was assuming a	Confused Deputies in Programming Languages
03/07/2008	I'm getting the feeling that	Confused Deputies in Programming Languages
03/10/2008	Invisible effects only under semantic equivalence	Confused Deputies in Programming Languages
03/09/2008	Capabilities are unforgeable	Confused Deputies in Programming Languages
03/09/2008	What is capability security and how can it be compared to RT?	Confused Deputies in Programming Languages
03/13/2008	How to derive capability security from RT	Confused Deputies in Programming Languages
03/13/2008	In such a case, RT is not	Confused Deputies in Programming Languages
03/13/2008	I don't think I follow	Confused Deputies in Programming Languages
03/13/2008	This again assumes that your	Confused Deputies in Programming Languages
03/13/2008	What does that signature get	Confused Deputies in Programming Languages
03/13/2008	Then you put the onus the	Confused Deputies in Programming Languages
03/13/2008	I think World is a bad name	Confused Deputies in Programming Languages
03/14/2008	I'm not (yet) convinced it's	Confused Deputies in Programming Languages
03/14/2008	I do think there are a	Confused Deputies in Programming Languages
03/14/2008	We're definitely stretching	Confused Deputies in Programming Languages
03/14/2008	The top-level main program	Confused Deputies in Programming Languages
03/14/2008	Anywhere in your approach	Confused Deputies in Programming Languages
03/14/2008	In order to run this	Confused Deputies in Programming Languages
03/15/2008	You can handle dynamic	Confused Deputies in Programming Languages
03/15/2008	All the authority necessary	Confused Deputies in Programming Languages
03/17/2008	Some "application code" with	Confused Deputies in Programming Languages
03/17/2008	My bad!	Confused Deputies in Programming Languages
03/15/2008	Forgot something: Hopefully	Confused Deputies in Programming Languages
03/12/2008	How to make it automatic?	Confused Deputies in Programming Languages
03/05/2008	You seem to be asking if we	Bell-LaPadula and type safety
03/06/2008	How about safety?	Bell-LaPadula and type safety
03/12/2008	I agree! This paper does	Data Types a la Carte
02/28/2008	There's been a great deal of	Is null needed?
02/28/2008	Null as typically represented is not needed	Is null needed?
03/02/2008	The Maybe/Option type	Is null needed?
03/03/2008	I'm not sure what you're	Is null needed?
03/04/2008	That's not quite right. In	Is null needed?
03/04/2008	Good summary! One	Is null needed?
03/05/2008	For example, a whole-program	Is null needed?
03/05/2008	Polymorphic value representation	Is null needed?
03/07/2008	Tag-free GC	Is null needed?
07/21/2008	and moreover, plain bits are	Is null needed?
07/22/2008	I've thought about this, but	Is null needed?
07/23/2008	I didn't realise that you	Is null needed?
07/24/2008	That is a plausible scheme,	Is null needed?
07/24/2008	From what I understood, you	Is null needed?
07/26/2008	The issue is the pointer.	Is null needed?
07/27/2008	Leroy's Efficient Data	Is null needed?
07/28/2008	For example, cons cells for	Is null needed?
07/28/2008	I've lost track of what	Is null needed?
07/23/2008	With the option type.	Is null needed?
07/23/2008	1/x, for instance--what do	Is null needed?
02/27/2008	My view - feedback appreciated!	exceptions again
02/27/2008	I don't think I would object	exceptions again
02/27/2008	I'm curious: in which	exceptions again
02/27/2008	Using error code for every	exceptions again
02/28/2008	I don't immediately see how	exceptions again
02/28/2008	I think that Coq satisfies	exceptions again
02/27/2008	I think efficient exceptions	exceptions again
02/26/2008	Chris Okasaki on Indentation Syntax	Chris Okasaki on Indentation Syntax
02/19/2008	Removing statics adds security!	Gilad Bracha: Cutting out Static
02/19/2008	This is what "Inversion of	Gilad Bracha: Cutting out Static
02/25/2008	Without static (or global)	Gilad Bracha: Cutting out Static
02/25/2008	Note that the issues with	Gilad Bracha: Cutting out Static
02/26/2008	OTOH, your beef is probably	Gilad Bracha: Cutting out Static
02/27/2008	I plan to, just not with	Gilad Bracha: Cutting out Static
02/26/2008	In Haskell without	Gilad Bracha: Cutting out Static
02/27/2008	I've given this some	Gilad Bracha: Cutting out Static
02/27/2008	After reading the Arrows	Gilad Bracha: Cutting out Static
04/04/2008	One lingering issue is what	Gilad Bracha: Cutting out Static
04/05/2008	My problem is that the	Gilad Bracha: Cutting out Static
02/18/2008	For example, in C++/Java/C#,	Uniform naming
02/14/2008	This is the interesting	Recursive Algorithms that cannot be expresses with Tail-Recursion?
02/11/2008	Lisaac: The power of simplicity at work for operating systems	Lisaac: The power of simplicity at work for operating systems
02/06/2008	A Timed Semantics of Orc	time as a first class value?
02/07/2008	I agree that dealing with	Jura, a OOMP language and potential DBMS
02/05/2008	I agree that HCI can offer a	Latest usability for polymorphism?
02/05/2008	I think people are reading	Latest usability for polymorphism?
02/05/2008	Programmers build their own tools	Latest usability for polymorphism?
02/06/2008	However, what does it mean	Latest usability for polymorphism?
02/07/2008	If the "pattern"... ...is	Latest usability for polymorphism?
02/12/2008	These are the kinds of tools	Latest usability for polymorphism?
02/04/2008	My 3 favourites	Adding Concurrent Constructs to a Language with State
02/13/2008	I am now of the opinion that	Languages and data conversions.
02/13/2008	By implicit parameters, I	Languages and data conversions.
02/13/2008	No, all new for me. My	Languages and data conversions.
02/14/2008	I think this is stated too	Languages and data conversions.
02/14/2008	Excellent! Thanks for the	Languages and data conversions.
02/14/2008	Hmm, that's a good one, but	Languages and data conversions.
02/14/2008	What about overloading /	Languages and data conversions.
02/14/2008	Generally my view is that	Languages and data conversions.
01/30/2008	Or Felix.	Interesting old gem: Prop does pattern matching in C++
01/27/2008	Or look at Neko:	VM's... What's the best?
01/27/2008	I like LLVM, but it's a bit	VM's... What's the best?
01/27/2008	In particular, if you have	VM's... What's the best?
01/28/2008	Scheme isn't used on the JVM	VM's... What's the best?
01/28/2008	To be fair, we're talking	VM's... What's the best?
01/28/2008	Portability of CLR	VM's... What's the best?
01/28/2008	Or you could just develop	VM's... What's the best?
01/24/2008	Some of the low-level	Embedded concurrent FPish languages?
01/23/2008	I was big on reflection once	How useful is reflection, anyway?
01/23/2008	It seems to me you are	How useful is reflection, anyway?
01/23/2008	You can the definition of a	How useful is reflection, anyway?
01/24/2008	Yes, I realize this, which	How useful is reflection, anyway?
01/23/2008	Abstractions are based upon	How useful is reflection, anyway?
01/24/2008	True, but when talking about	How useful is reflection, anyway?
01/24/2008	A rule of thumb I use is	How useful is reflection, anyway?
01/25/2008	Erlang doesn't have a type	How useful is reflection, anyway?
01/30/2008	Thanks for the pointer. I am	How useful is reflection, anyway?
01/26/2008	Re: confidence vs certainty,	How useful is reflection, anyway?
01/23/2008	I'm not sure about you, but	How useful is reflection, anyway?
01/23/2008	The problems you describe	How useful is reflection, anyway?
01/25/2008	Paul already gave the right	How useful is reflection, anyway?
01/27/2008	I gave an intro here.	How useful is reflection, anyway?
01/27/2008	With polytypic programming,	How useful is reflection, anyway?
01/23/2008	I don't see how pointers are	How useful is reflection, anyway?
01/23/2008	Linked lists are implemented	How useful is reflection, anyway?
01/23/2008	Nil = null. It's not very	How useful is reflection, anyway?
01/23/2008	Reflection is not required,	How useful is reflection, anyway?
01/29/2008	The plus function reminds me	The Design and Implementation of Typed Scheme
01/22/2008	Active Libraries, which is	Compile-Time Execution in an Object Oriented Language
01/22/2008	I think the Meta-Compilation	Compile-Time Execution in an Object Oriented Language
01/22/2008	Virgil was discussed on LTU	Compile-Time Execution in an Object Oriented Language
01/19/2008	The Worst Monad Tutorial... Except For All Those Others.	The Worst Monad Tutorial... Except For All Those Others.
01/19/2008	Type-safe general monad interface in C#	The Worst Monad Tutorial... Except For All Those Others.
01/23/2008	I believe you can encode	The Worst Monad Tutorial... Except For All Those Others.
01/19/2008	I don't get the complexity	Impact of OO language style on code
01/17/2008	No link provided.	XL back in the limelight?
01/23/2008	programmers working on the E	Ruby vs. Smalltalk
01/09/2008	(3) Scala will finally get a	Prediction for 2008
01/09/2008	Instead, you'll see "monads	Prediction for 2008
01/16/2008	The JVM platform, rather	Prediction for 2008
01/10/2008	If I sell you a sat nav	Computer Science Education: Where Are the Software Engineers of Tomorrow?
01/12/2008	Not really, because when the	Computer Science Education: Where Are the Software Engineers of Tomorrow?
01/08/2008	Construction of secure	Computer Science Education: Where Are the Software Engineers of Tomorrow?
01/08/2008	is to avoid "audits"--by	Computer Science Education: Where Are the Software Engineers of Tomorrow?
01/17/2008	That we should be using more	Computer Science Education: Where Are the Software Engineers of Tomorrow?
01/12/2008	What you usually want is to	Computer Science Education: Where Are the Software Engineers of Tomorrow?
01/15/2008	On the contrary, some	Computer Science Education: Where Are the Software Engineers of Tomorrow?
01/16/2008	IMO, the only thing that	Computer Science Education: Where Are the Software Engineers of Tomorrow?
01/08/2008	it typically runs slower	Io
01/08/2008	I'm not sure what you mean	Io
01/08/2008	I've seen the "leaks	Io
01/07/2008	This approach looks	J&: Nested Intersection for Scalable Software Composition
01/18/2008	First-class Modules Redux	J&: Nested Intersection for Scalable Software Composition
01/18/2008	Going the other way round,	J&: Nested Intersection for Scalable Software Composition
01/18/2008	And I can assure you that it	J&: Nested Intersection for Scalable Software Composition
01/20/2008	As for Jones' paper: while	J&: Nested Intersection for Scalable Software Composition
01/22/2008	Actually, I totally forgot	J&: Nested Intersection for Scalable Software Composition
01/16/2008	I think you missed a	J&: Nested Intersection for Scalable Software Composition
12/28/2007	ML Modules in C#	ML Modules in C#
12/28/2007	Specifically, in face of	Nested Schedulers: A Tree Is Not Enough?
12/29/2007	I believe priority inversion	Nested Schedulers: A Tree Is Not Enough?
12/29/2007	"Highest" makes sense only	Nested Schedulers: A Tree Is Not Enough?
12/29/2007	The previously linked	Nested Schedulers: A Tree Is Not Enough?
12/18/2007	PLT Scheme	Concurrency with Scheme
12/28/2007	This is a fascinating read,	Closing the Stage: From Staged Code to Typed Closures
03/25/2009	Typed Compilation - IncopeTypecheck.hs	Closing the Stage: From Staged Code to Typed Closures
03/25/2009	Thanks for the great	Closing the Stage: From Staged Code to Typed Closures
03/30/2009	Cut-elimination, typed compilation via record calculus	Closing the Stage: From Staged Code to Typed Closures
03/30/2009	Can you explain what's going	Closing the Stage: From Staged Code to Typed Closures
12/13/2007	Not to mention safety.	Avi Bryant: Ruby IS-A Smalltalk
12/13/2007	But a statically typed	Avi Bryant: Ruby IS-A Smalltalk
12/13/2007	I think I quoted the wrong	Avi Bryant: Ruby IS-A Smalltalk
12/12/2007	Multimethods are compelling,	Origin of the term Multimethod
12/23/2007	That's because you don't	Origin of the term Multimethod
12/11/2007	Orc was previously	Computation Orchestration: A Basis for Wide-Area Computing
12/11/2007	Aside from its simplicity, I	Computation Orchestration: A Basis for Wide-Area Computing
12/13/2007	So, if you've ever had the	Computation Orchestration: A Basis for Wide-Area Computing
12/16/2007	I'm only just starting on	Computation Orchestration: A Basis for Wide-Area Computing
12/17/2007	Orc separates computation	Computation Orchestration: A Basis for Wide-Area Computing
12/28/2007	Orc embedding for C#	Computation Orchestration: A Basis for Wide-Area Computing
01/04/2008	I had started my initial	Computation Orchestration: A Basis for Wide-Area Computing
08/19/2008	Tagless, mostly type-safe interpreters in C#	Computation Orchestration: A Basis for Wide-Area Computing
09/11/2008	An even simpler technique is	Computation Orchestration: A Basis for Wide-Area Computing
09/11/2008	This final tagless encoding	Computation Orchestration: A Basis for Wide-Area Computing
12/09/2007	I was suggesting a cause for	functions, statements, expressions
12/09/2007	What are the typing	functions, statements, expressions
12/10/2007	Purely a syntactic criterion	functions, statements, expressions
12/10/2007	For example, several ML	functions, statements, expressions
12/10/2007	I was confused myself.	functions, statements, expressions
12/10/2007	Well, I wouldn't have	functions, statements, expressions
12/07/2007	What's really missing	A Growable Language Manifesto
12/07/2007	I have.	A Growable Language Manifesto
12/07/2007	I was under the impression	A Growable Language Manifesto
12/07/2007	Debuggers are somewhat	A Growable Language Manifesto
12/11/2007	I'm not familiar with the	A Growable Language Manifesto
12/11/2007	Safety vs Flexibility	A Growable Language Manifesto
12/11/2007	See Stephanie Weirich's	A Growable Language Manifesto
12/21/2007	Haskell can enforce the	A Growable Language Manifesto
12/11/2007	Still, it seems inevitable	A Growable Language Manifesto
12/06/2007	I don't know... most people	poll: syntax
12/08/2007	Exactly. I think contorting	poll: syntax
12/09/2007	I meant that Smalltalk got	poll: syntax
12/10/2007	So you're saying that a	poll: syntax
12/10/2007	Now, if I only could	poll: syntax
12/10/2007	People reuse concepts more	poll: syntax
12/10/2007	Your examples are no more	poll: syntax
12/10/2007	I agree that Python is very	poll: syntax
12/11/2007	Programming Language	poll: syntax
12/11/2007	When I was looking into	poll: syntax
12/05/2007	Joe-E TechTalk	Joe-E TechTalk
12/05/2007	Sorry, you had asked me	Joe-E TechTalk
12/05/2007	I'm very interested in	Parametric datatype-genericity
12/03/2007	Quantifying the Performance of Garbage Collection vs. Explicit Memory Management	Quantifying the Performance of Garbage Collection vs. Explicit Memory Management
12/03/2007	Some naive assumptions in GC	Quantifying the Performance of Garbage Collection vs. Explicit Memory Management
12/03/2007	Already linked to that in	Quantifying the Performance of Garbage Collection vs. Explicit Memory Management
12/04/2007	our C++ code suffered from	Quantifying the Performance of Garbage Collection vs. Explicit Memory Management
12/05/2007	I'm not sure what you found	Quantifying the Performance of Garbage Collection vs. Explicit Memory Management
12/06/2007	Ref-counting solves the virtual memory problem?	Quantifying the Performance of Garbage Collection vs. Explicit Memory Management
12/02/2007	Monadic and Substructural Type Systems for Region-Based Memory Management	Monadic and Substructural Type Systems for Region-Based Memory Management
12/02/2007	Yes, that statement led me	Monadic and Substructural Type Systems for Region-Based Memory Management
12/02/2007	The pragmatic considerations	Monadic and Substructural Type Systems for Region-Based Memory Management
12/02/2007	I've read that paper many	Monadic and Substructural Type Systems for Region-Based Memory Management
12/03/2007	I wish I knew! Garbage	Monadic and Substructural Type Systems for Region-Based Memory Management
12/04/2007	I take your point, but there	Monadic and Substructural Type Systems for Region-Based Memory Management
12/04/2007	Thanks, this clears up quite	Monadic and Substructural Type Systems for Region-Based Memory Management
12/04/2007	Now, I'm not sure about the	Monadic and Substructural Type Systems for Region-Based Memory Management
12/05/2007	I just skimmed this the	Monadic and Substructural Type Systems for Region-Based Memory Management
12/05/2007	Suitability doesn't mean	Monadic and Substructural Type Systems for Region-Based Memory Management
12/05/2007	I've read the Singularity	Monadic and Substructural Type Systems for Region-Based Memory Management
12/04/2007	Hmm, I wasn't asking for a	Monadic and Substructural Type Systems for Region-Based Memory Management
11/30/2007	That survey is exactly what	foundations for J, APL etc
12/15/2007	Link broken	Logic for Philosophy
11/25/2007	A survey and discussion of taming effects	A survey and discussion of taming effects
11/25/2007	Don't know why I had	A survey and discussion of taming effects
11/26/2007	What's the point of effect systems?	A survey and discussion of taming effects
11/28/2007	Call-by-value given, what about call-by-name?	A survey and discussion of taming effects
11/28/2007	with a rich enough type	A survey and discussion of taming effects
11/28/2007	But it's not the only use of	A survey and discussion of taming effects
11/20/2007	They don't mean it's useless	Samurai - Protecting Critical Data in Unsafe Languages
11/22/2007	Hence my lack of	Samurai - Protecting Critical Data in Unsafe Languages
11/23/2007	Your argument is valid up to	Samurai - Protecting Critical Data in Unsafe Languages
11/24/2007	("New," on the other hand,	Samurai - Protecting Critical Data in Unsafe Languages
11/20/2007	I assume the use a safe	Samurai - Protecting Critical Data in Unsafe Languages
11/25/2007	A good litmus test for a	What are the properties of "Functional Programming Languages"?
11/25/2007	How would one classify a	What are the properties of "Functional Programming Languages"?
11/20/2007	Broken link. Fixed.	Well-typed programs can't be blamed
11/07/2007	I'm not sure I understand	Dependent Classes
11/13/2007	I've been thinking about	Dependent Classes
11/07/2007	Encapsulation is the only	Dependent Classes
10/30/2007	Which is interesting, as	Searching for a quote
10/30/2007	You can add rooms onto a	Searching for a quote
10/30/2007	Interesting paper! I thought	Gödel, Nagel, minds and machines
10/24/2007	On the Importance of Purity	On the Importance of Purity
10/25/2007	Hmm, yes I can see how it	On the Importance of Purity
10/25/2007	Exactly what I was thinking	On the Importance of Purity
10/26/2007	This is a good observation.	On the Importance of Purity
10/26/2007	This is what I meant - an IO	On the Importance of Purity
10/27/2007	I welcome any corrections.	On the Importance of Purity
10/27/2007	I appreciate the	On the Importance of Purity
10/28/2007	Just as a point of reference	On the Importance of Purity
10/28/2007	Where to draw the line of precision?	On the Importance of Purity
10/30/2007	Could please someone explain	On the Importance of Purity
11/01/2007	In other types of problems,	On the Importance of Purity
11/28/2007	I believe that unmanaged	On the Importance of Purity
11/29/2007	His point is that Haskell is	On the Importance of Purity
11/03/2007	That's why we don't have	On the Importance of Purity
11/03/2007	Visitor-pattern matching function	On the Importance of Purity
11/03/2007	The identity is not flawed	On the Importance of Purity
11/12/2007	See e.g. this post from Mads	On the Importance of Purity
11/04/2007	This discussion style of	On the Importance of Purity
11/28/2007	You're changing logic, not refactoring it!	On the Importance of Purity
10/31/2007	Other have answered your	On the Importance of Purity
11/01/2007	Because it makes simple	On the Importance of Purity
11/30/2007	In pseudo-OCaml:	On the Importance of Purity
10/29/2007	As a general rule: those	On the Importance of Purity
10/30/2007	Embedding a markup language	ECMAScript 4 overview paper
10/21/2007	I'm finding persistent data	The End of an Architectural Era (It's Time for a Complete Rewrite)
10/22/2007	In a live programming	The End of an Architectural Era (It's Time for a Complete Rewrite)
10/17/2007	Personally, once I	grammars as a shared executable specification for language processing tools
11/20/2007	All this talk of filesystems	Examples of large-scale functional language projects
10/09/2007	If you can ignore the	It's Time to Stop Calling Circuits "Hardware"
10/10/2007	Code can be written in	It's Time to Stop Calling Circuits "Hardware"
10/10/2007	The former goes back to your	It's Time to Stop Calling Circuits "Hardware"
10/11/2007	From the wikipedia article	It's Time to Stop Calling Circuits "Hardware"
10/12/2007	CS encompasses both of your	Computing is a Natural Science
10/12/2007	What is the most famous	Computing is a Natural Science
10/12/2007	Church-Turing Thesis	Computing is a Natural Science
10/14/2007	Besides differences in usage	Computing is a Natural Science
10/15/2007	My understanding is that	Computing is a Natural Science
10/05/2007	C# has a concurrent GC.	Derivation and Evaluation of Concurrent Collectors
10/03/2007	Explicit+implicit parallelism, purely functional, but effects?	The Manticore Project
10/04/2007	I would have thought it	The Manticore Project
10/04/2007	So why does GC halt all	The Manticore Project
10/04/2007	Should this be determined	The Manticore Project
10/04/2007	I agree that in general	The Manticore Project
10/10/2007	Language implementator point of view	Witnessing Side-Effects
09/24/2007	Paper link yields a 550.	Fair cooperative multithreading, or: Typing termination in a higher-order concurrent imperative language
09/24/2007	The link to the list of	Fair cooperative multithreading, or: Typing termination in a higher-order concurrent imperative language
09/21/2007	And I suppose I should have	Binary Lambda Calculus and Combinatory Logic
09/06/2007	No abstraction	Q: Modularizing SQL?
09/06/2007	At least in your example,	Q: Modularizing SQL?
09/07/2007	There is some advantage to	Q: Modularizing SQL?
10/26/2008	But if, on the other hand,	Q: Modularizing SQL?
09/10/2007	Is not the data model XQuery	Q: Modularizing SQL?
09/10/2007	The lambda calculus is	Q: Modularizing SQL?
09/06/2007	Can this approach be	Tagless Staged Interpreters for Simpler Typed Languages
11/23/2007	Self-interpretation->staging->dynamic linking?	Tagless Staged Interpreters for Simpler Typed Languages
11/24/2007	I'll try to clarify	Tagless Staged Interpreters for Simpler Typed Languages
11/26/2007	Final clarification	Tagless Staged Interpreters for Simpler Typed Languages
12/11/2007	Administrative redices -> constant propagation	Tagless Staged Interpreters for Simpler Typed Languages
12/11/2007	How much can be done in the language?	Tagless Staged Interpreters for Simpler Typed Languages
04/02/2009	Updated link	Tagless Staged Interpreters for Simpler Typed Languages
04/04/2009	Thanks for the link. There	Tagless Staged Interpreters for Simpler Typed Languages
06/23/2009	Translated to C#	Tagless Staged Interpreters for Simpler Typed Languages
09/04/2007	Infighting problem	No Name: Just Notes on Software Reuse
11/28/2007	I found the derivation of a	A functional correspondence between evaluators and abstract machines
11/28/2007	Interesting links! I'll	A functional correspondence between evaluators and abstract machines
08/20/2007	Within a vat, one viewpoint	Diagram showing all programming paradigms and their relationships
08/20/2007	It's not preemptive.	Diagram showing all programming paradigms and their relationships
08/14/2007	Can you make it statically	Metaprogramming with Traits
08/14/2007	Yes, this paper deals with	Metaprogramming with Traits
08/12/2007	By using lots of lightweight	Garbage Collection Without Paging
08/13/2007	Clearly Erlang benefits	Garbage Collection Without Paging
08/14/2007	P processes, H heaps, P !=	Garbage Collection Without Paging
08/12/2007	Requires kernel co-operation	Garbage Collection Without Paging
08/13/2007	We decided not to use a	Garbage Collection Without Paging
09/27/2007	Worse, they don't use Java	Garbage Collection Without Paging
07/28/2008	I wonder if there is a GC	Garbage Collection Without Paging
08/09/2007	I was just reading this	Guaranteed Optimization
08/11/2007	The issue is moot as Erlang	Ralph Johnson: Erlang, the next Java
08/12/2007	See Memory Accounting	Ralph Johnson: Erlang, the next Java
08/07/2007	Unifying functions and functors	Unifying functions and functors
08/08/2007	After much searching...	Unifying functions and functors
08/09/2007	Personally, I believe that	Unifying functions and functors
08/07/2007	I think there is room for	Resources, Concurrency and Local Reasoning
08/07/2007	API == DSL	Apache Camel routing rules: a DSL?
08/09/2007	If your API provides only a	Apache Camel routing rules: a DSL?
08/03/2007	First-class Polymorphism	First-class Polymorphism
08/04/2007	Does this mean there aren't any?	First-class Polymorphism
08/04/2007	all support first-class	First-class Polymorphism
08/03/2007	Discussed many times before	Syntactic abstraction? (newbie question)
08/18/2007	So, what's relationship	Monad Description For Imperative Programmer
08/01/2007	I'll second the real name	LtU turns 7: The year of spam
07/27/2007	Law 1 (Zawinski's Expansion	Best LtU humour
07/18/2007	And concurrency.	Whoever does not understand LISP, is doomed to reinvent it.
07/10/2007	Dependent Types: Easy as PIE	Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus)
07/09/2007	1. Regarding equivalency of	Why Events Are A Bad Idea (for high-concurrency servers)
07/09/2007	I'd love a compile-time	Why Events Are A Bad Idea (for high-concurrency servers)
07/03/2007	I took a look, and it seems	Forth in hardware ("not dead yet")
06/28/2007	Yes, organizing the	Singularity: Rethinking the Software Stack
07/03/2007	Thanks for the suggestion.	Singularity: Rethinking the Software Stack
07/06/2007	[OT] Excellent!	Singularity: Rethinking the Software Stack
06/25/2007	So pass-by-reference becomes	Language Support for Fast and Reliable Message-based Communication
06/21/2007	Used to be a big fan of generic serialization...	HOT Pickles
04/17/2008	I agree, explicit return is	Python 3000 Status Update
06/21/2007	i'd like to add the obvious,	PLs and large scale development
06/14/2007	Why stick to only one?	Distributed Objects vs. Messaging
06/14/2007	To ask a question which I	Distributed Objects vs. Messaging
06/14/2007	Handling errors the computer	Distributed Objects vs. Messaging
06/15/2007	Asynchronous messaging is vulnerable	Carnap Programming Language
06/15/2007	How so? Or rather, how so	Carnap Programming Language
06/16/2007	Why can't the sender do the	Carnap Programming Language
06/16/2007	The whole web is	Carnap Programming Language
06/18/2007	Note that the author has	Carnap Programming Language
06/24/2007	Isn't this an issue of	Carnap Programming Language
06/25/2007	Another part of equation	Carnap Programming Language
06/26/2007	I am all for PLs to support	Carnap Programming Language
06/25/2007	the receiver must allocate	Carnap Programming Language
06/13/2007	Indeed, the difference being	Evaluating High-Level Distributed Language Constructs
06/28/2007	The routers themselves then	Trickles: A Stateless Network Stack for Improved Scalability, Resilience and Flexibility
06/08/2007	Of course, I still hate C++.	HOPL III: Evolving a language in and for the real world: C++ 1991-2006
06/08/2007	Overheads reported are NOT x2.	HOPL III: Evolving a language in and for the real world: C++ 1991-2006
06/08/2007	Unless I missed a feature	HOPL III: Evolving a language in and for the real world: C++ 1991-2006
06/19/2007	Shriram Krishnamurthi's	"Practical" advantages of lazy evaluation
02/13/2008	Now if only I could figure	"Practical" advantages of lazy evaluation
02/15/2008	It's hard to reason about	"Practical" advantages of lazy evaluation
05/30/2007	Near-Concrete Program Interpretation	Near-Concrete Program Interpretation
05/30/2007	Ah nuts!	Near-Concrete Program Interpretation
05/24/2007	See: Sized Types	Picky libraries, picky languages?
05/25/2007	Or even better, use binary	function overriding workaround in dynamically typed languages
05/25/2007	The problem is not so much	function overriding workaround in dynamically typed languages
05/25/2007	That link discusses	function overriding workaround in dynamically typed languages
05/27/2007	A binary search will lead to	function overriding workaround in dynamically typed languages
05/21/2007	"Formal Islands" contains refs	What is a "domain specific language"?
01/07/2008	there is no continuity	Social Processes and Proofs of Theorems and Programs
04/27/2008	I happen to work on a	Social Processes and Proofs of Theorems and Programs
05/22/2007	It should be "whom"	Delegating Responsibility in Digital Systems: Horton's "Who Done It?"
05/22/2007	Heh, better to kill it clean	Delegating Responsibility in Digital Systems: Horton's "Who Done It?"
05/22/2007	Do you have a link to that	How to make the static represent the dynamic?
05/11/2007	Expressing usage constraints within the language	Expressing usage constraints within the language
05/14/2007	Exploring the space of language-encorced security	Expressing usage constraints within the language
05/15/2007	Stack walking as Capability Security?	Expressing usage constraints within the language
05/09/2007	It's sad that I can create a	"The language of the future is javascript"
05/10/2007	No amount of PLT or platform	"The language of the future is javascript"
05/11/2007	MMORPGs are a special case:	"The language of the future is javascript"
05/10/2007	GEXL implements solution 4!	The Expression Problem Revisited
05/03/2007	As far as cache requiring	Functional Object-Oriented Programming
05/05/2007	and you can freely pass	Functional Object-Oriented Programming
05/06/2007	Both (and how can you	Functional Object-Oriented Programming
05/06/2007	I must be missing something.	Functional Object-Oriented Programming
05/06/2007	Multiple too! Cool.	Functional Object-Oriented Programming
05/02/2007	Where pure mathematics meets the machine	Is Integer wrapping an exceptional condition?
05/03/2007	Right, I realize that 2s	Is Integer wrapping an exceptional condition?
05/02/2007	Elaborate?	Microsoft's new Dynamic Language Runtime (DLR)
05/15/2007	I've followed this debate,	Microsoft's new Dynamic Language Runtime (DLR)
05/15/2007	you still have to be	Microsoft's new Dynamic Language Runtime (DLR)
05/16/2007	Once again, Nemerle	Microsoft's new Dynamic Language Runtime (DLR)
05/11/2007	Given advancements in typed	Microsoft's new Dynamic Language Runtime (DLR)
05/06/2007	Generic Operations	The Monad.Reader
05/14/2007	I find it very amusing that	The Monad.Reader
05/15/2007	A memory error (which is	The Monad.Reader
05/05/2007	So you want a language that	Arc in action (a.k.a. it's aliiiiive!)
05/06/2007	All the above is offered	Arc in action (a.k.a. it's aliiiiive!)
05/07/2007	[...] I'd avoid compilation	Arc in action (a.k.a. it's aliiiiive!)
04/17/2007	Perhaps, then, a language	Thoughts about the Best Introductory Language
04/09/2007	Extensible Pattern Matching via a Lightweight Language	Extensible Pattern Matching via a Lightweight Language
04/10/2007	Many authors in various	Cforall
07/21/2009	Is there an actual download	Cforall
04/14/2007	MetaOCaml is bytecode only	Deliverable code?
04/15/2007	But the limitation appears	Deliverable code?
04/15/2007	So nowadays I say, down with	Deliverable code?
04/16/2007	but addressing security	Deliverable code?
04/16/2007	Well, while technically that	Deliverable code?
04/16/2007	Sure there is. Most notably,	Deliverable code?
03/16/2007	Virgil: Objects on the Head of a Pin	Virgil: Objects on the Head of a Pin
03/16/2007	I was thinking the same re:	Virgil: Objects on the Head of a Pin
03/17/2007	Virgil is designed so all	Virgil: Objects on the Head of a Pin
03/18/2007	Module and backens systems for Virgil	Virgil: Objects on the Head of a Pin
03/19/2007	LLVM can emit C	Virgil: Objects on the Head of a Pin
03/14/2007	This statement is false	Piraha Exceptionality: a Reassessment
03/14/2007	I'm fine. There are benefits	Piraha Exceptionality: a Reassessment
03/12/2007	Intensional Polymorphism	The Current Practical Limit of Static Typing
03/14/2007	Bit stream programming in Erlang	The Current Practical Limit of Static Typing
03/09/2007	Wow! One thing I'm not clear on...	Static Typing for a Faulty Lambda Calculus
03/13/2007	It's all you need	Implementation Inheritance
03/19/2007	Inheritance and delegation efficiency	Implementation Inheritance
03/13/2007	First class messages	Implementation Inheritance
03/14/2007	I agree interfaces provide	Implementation Inheritance
03/16/2007	Insufficient polymorphism	Implementation Inheritance
03/14/2007	Ooops, forgot to add:	Implementation Inheritance
02/28/2007	The Java and Squeak VM's	The Computer Revolution Hasn't Happened Yet
03/10/2007	The Awkward Squad paper	How do you call such a design pattern
12/21/2007	Communicating event-loops in JS	Threads in JavaScript?
02/16/2007	Predicate dispatching	Easy to learn and use
06/16/2008	I'm also not that convinced	Lightweight Fusion by Fixed Point Promotion
02/13/2007	Foundational Proof Carrying Code	Almost everything happened in the Golden Age, right?
01/18/2010	I believe Functional	Reactive Programming
01/14/2010	Has there been any progress	Reactive Programming
01/15/2010	I presume you mean physics	Reactive Programming
01/16/2010	A slight aside: FrTime	Reactive Programming
01/16/2010	I wouldn't think Bling	Reactive Programming
01/16/2010	Yes, the FrTime approach	Reactive Programming
01/16/2010	How would you implement	Reactive Programming
01/16/2010	Not dynamic reconfiguration	Reactive Programming
01/16/2010	Given destructors and	Reactive Programming
01/17/2010	As you said, I think that	Reactive Programming
01/17/2010	Ok, I think I see where	Reactive Programming
01/18/2010	Exceptions in signal networks	Reactive Programming
01/19/2010	Thanks for the suggestions	Reactive Programming
01/19/2010	I think the approach I just	Reactive Programming
01/19/2010	(i.e. what do you report for	Reactive Programming
01/20/2010	I tend to disfavor 'ordered	Reactive Programming
01/20/2010	Channel is a rather	Reactive Programming
01/20/2010	What's the semantics of your	Reactive Programming
01/20/2010	If I understand correctly,	Reactive Programming
01/18/2010	Glitches in FrTime	Reactive Programming
02/09/2007	Essentially that argument	Patrick Logan on Software Transaction Memory
02/11/2007	You don't say what "spread	Patrick Logan on Software Transaction Memory
09/21/2009	Embedded ML seems to now	Embedded ML?
09/22/2009	Odd, your link is broken for	Embedded ML?
09/22/2009	Hmm, it's not because I'm	Embedded ML?
09/26/2009	Thanks for the detailed	Embedded ML?
02/06/2007	Everything terminates (I think)	Termination Checking with Types
02/07/2007	Can't write servers?	Termination Checking with Types
02/08/2007	No recursion?	Termination Checking with Types
02/09/2007	Thanks for the educational	Termination Checking with Types
02/09/2007	It is practical in a sense...	Termination Checking with Types
06/11/2007	In particular, you generally	Steps Toward The Reinvention of Programming
06/11/2007	Monomorphisation + JIT?	Steps Toward The Reinvention of Programming
06/11/2007	Thanks! On BitC...	Steps Toward The Reinvention of Programming
06/13/2007	More relevant to me than I thought...	Steps Toward The Reinvention of Programming
06/20/2007	Is there a well known way to	Steps Toward The Reinvention of Programming
06/12/2007	Also: are two strings of	Steps Toward The Reinvention of Programming
01/31/2007	Link is broken	First Class Relationships in an Object-oriented Language
01/25/2007	Nemerle does this	Compiling tail-calls to simple C?
03/09/2007	Did a lot of reading on GC	Why people don't use functional programming?
03/09/2007	Saying this without	Why people don't use functional programming?
03/09/2007	Dylan's "Memory Pool System"	Why people don't use functional programming?
03/09/2007	I don't understand	Why people don't use functional programming?
12/04/2006	The extent of checked logic?	A Garbage-Collecting Typed Assembly Language
11/30/2006	Distributed Meta-Programming	Distributed Meta-Programming
11/27/2006	Capability security	Programming Language Research Search Engine
11/28/2006	Do you have anything a	Programming Language Research Search Engine
11/28/2006	Emily: capability-secure OCaml	Programming Language Research Search Engine
02/05/2009	While not a full process	Process calculi for transactions
02/05/2009	From what I've read, the Orc	Process calculi for transactions
02/05/2009	Orc wouldn't be the choice	Process calculi for transactions
02/06/2009	(1) their capacity for	Process calculi for transactions
02/06/2009	This inconsistency really	Process calculi for transactions
02/07/2009	It seems to me that 'cannot	Process calculi for transactions
02/07/2009	If you have 'val x =	Process calculi for transactions
02/07/2009	No, all of which can be	Process calculi for transactions
02/08/2009	If you fail to classify	Process calculi for transactions
02/09/2009	Assembly should, in your	Process calculi for transactions
03/04/2009	Given your interest in	Process calculi for transactions
07/25/2009	Caduceus deprecated in	System-level Static Analysis
01/15/2011	I don't see the problem you	Good Ideas, Through the Looking Glass
12/04/2006	I am just trying to make it	unchecked exceptions are like runtime type checking?
12/08/2006	While I agree that such	unchecked exceptions are like runtime type checking?
08/17/2006	Pure Pattern Calculus	Pure Pattern Calculus
01/03/2010	Fudgets emulate a	Oracles
01/03/2010	Functional reactive	Oracles
01/07/2010	I felt some need to point	Oracles
01/13/2010	What is the defining	Oracles
01/13/2010	I'm most familiar with the	Oracles
01/13/2010	I'm very much an advocate of	Oracles
01/22/2010	On synchronous vs	Oracles
04/28/2008	C's role could be taken over	Lisp Lovers, how would you fix Lisp or bring it up to date?
04/28/2008	I actually like LLVM very	Lisp Lovers, how would you fix Lisp or bring it up to date?
04/29/2008	Read into typed assembly	Lisp Lovers, how would you fix Lisp or bring it up to date?
07/23/2006	Statically typed E	Lightweight Static Capabilities
07/26/2006	Membrance pattern	Lightweight Static Capabilities
07/26/2006	Can a membrane be built on	Lightweight Static Capabilities
07/24/2006	Typing first-class messages	Advantages of Soft Typing
06/15/2006	Applied Type System vs. Epigram	Applied Type System vs. Epigram
06/16/2006	Relation to DML	Applied Type System vs. Epigram
06/26/2006	Thanks for the explanation!	Applied Type System vs. Epigram
08/01/2008	However, continuations could	Gilad Bracha: Will Continuations continue?
01/15/2008	I think the lesson to take	ruby vs python
01/23/2008	Coincidentally, I just came	ruby vs python
06/24/2012	In order to make the model	Functional Relational Programming: Out of the tar pit
03/06/2008	Yup, even in good old event	What do you believe about Programming Languages (that you can't prove (yet))?
05/19/2009	A command line interface:	What do you believe about Programming Languages (that you can't prove (yet))?
05/20/2009	Have I been type-cast as the	What do you believe about Programming Languages (that you can't prove (yet))?
05/20/2009	What stuff? You mentioned a	What do you believe about Programming Languages (that you can't prove (yet))?
05/21/2009	but I'm pretty sure you	What do you believe about Programming Languages (that you can't prove (yet))?
04/28/2006	Some snippets should illuminate the novelty	A Language-Based Approach to Unifying Events and Threads
04/19/2006	The Wikipedia entry, which I	E Thesis: Robust Composition
04/06/2006	Some examples	any functional language without GC?
03/31/2006	Nemerle has type inference	Type Inference in Object Oriented Languages
03/31/2006	Predicate Dispatching	Message Passing vs. Multi-Methods; Mixing the two?
12/08/2006	Static typing is closed form abstract interpretation	Extremely static language?
02/24/2006	XML DSL? Why not a scripting language?	Introduction to the Java EE 5 Platform
10/25/2009	Because it violates the	The Next Mainstream Programming Languages
10/25/2009	OOP never promised LSP,	The Next Mainstream Programming Languages
10/25/2009	The semantics of the	The Next Mainstream Programming Languages
10/26/2009	C++ did not conflate	The Next Mainstream Programming Languages
10/26/2009	1) private inheritance: C++	The Next Mainstream Programming Languages
10/26/2009	Please describe in what way	The Next Mainstream Programming Languages
10/26/2009	I suspect what you are	The Next Mainstream Programming Languages
10/27/2009	Yes you can do that in C++	The Next Mainstream Programming Languages
10/26/2009	I can see how that would	The Next Mainstream Programming Languages
08/22/2007	It's doubtful you're in a	The Next Mainstream Programming Languages
04/09/2008	The two links you provided	Wadler's Blog: Penn, PADL, POPL, and Plan-X
08/17/2006	State is on the stack	Object Oriented Programming + Referential Transparency
08/10/2007	Complex relationships are	Formal methods for O/R mapping
10/09/2005	The Church-Turing Thesis: Breaking the Myth	The Church-Turing Thesis: Breaking the Myth
10/10/2005	Not a CS researcher, but...	The Church-Turing Thesis: Breaking the Myth
08/17/2006	Personally, I find EROS'	Transparent Persistence
04/13/2011	This sounds very much like	Multi-Return Function Call
04/14/2011	Don't need sufficient smarts, dumb will do	Multi-Return Function Call
12/10/2008	Don't be so sure. F#	Explaining monads
12/10/2008	Speaking of monadic parser	Explaining monads
12/17/2008	In my opinion (supported by	Explaining monads
12/19/2008	Monads as Finite State Machines	Explaining monads

LtU Topic Index Sorted by Date LtU Topic Index Sorted by Topic LtU Index of Post Authors Zipped LtU Archive

Chris Rathman/ Chris.Rathman@tx.rr.com