Posts By: raould
| Date | Post | Topic |
| 03/23/2012 | Retrospective Thoughts on BitC | Retrospective Thoughts on BitC |
| 03/23/2012 | Pex for fun | Disruptive PLT Revisited |
| 03/20/2012 | some Mozart 2 VM code | some Mozart 2 VM code |
| 03/06/2012 | OT i wish i understood the debate there better | Adding Delimited and Composable Control to a Production Programming Environment |
| 03/08/2012 | by accident? | Long rant on Erlang-style Actors: Lost Dimension |
| 04/26/2012 | wow | STEPS 2011 Progress Report (personal computing in 20kLOC) |
| 01/20/2012 | 2 conflated things here? | Graphics primitives? |
| 01/17/2012 | <a href="deca#comment-68872" class="active">i wish it were also a business opportunity</a> | Deca, an LtU-friendly bare metal systems programming language |
| 12/08/2011 | Elm cross-platform functional-reactive | Elm cross-platform functional-reactive |
| 12/08/2011 | thanks | Elm cross-platform functional-reactive |
| 11/30/2011 | Abstraction Driven (MDA++) | Abstraction Driven (MDA++) |
| 12/01/2011 | Even SE might barf | Abstraction Driven (MDA++) |
| 11/12/2011 | math proofs are more robust than computer proofs | math proofs are more robust than computer proofs |
| 11/05/2011 | extending functions vs. extending objects | extending functions vs. extending objects |
| 11/05/2011 | yes and no | How to determine your new language is perfect? |
| 10/24/2011 | Re: inners | "Crutches in language design", accidental complexity and feature overlap |
| 09/30/2011 | yes | Critical Programming Language Design |
| 09/27/2011 | FijiVM: Compile Java source to Native with Realtime GC | FijiVM: Compile Java source to Native with Realtime GC |
| 09/23/2011 | Shen (the next Qi Lisp) released | Shen (the next Qi Lisp) released |
| 02/23/2012 | update: ported to javascript | Shen (the next Qi Lisp) released |
| 09/28/2011 | on the cusp | Sample applications for programming languages |
| 09/15/2011 | re: genetic | What needs to be done? |
| 11/01/2011 | oroborus | What needs to be done? |
| 09/15/2011 | see LFE? | The Trouble with Erlang |
| 09/01/2011 | agreed for $0.02 | the gnu extension language |
| 09/06/2011 | the quick vs. the dead -- er, correct | the gnu extension language |
| 09/09/2011 | another attempt | the gnu extension language |
| 09/12/2011 | i would have guessed that we're just talking past each other :-) | the gnu extension language |
| 09/01/2011 | misc notes / questions | the gnu extension language |
| 08/31/2011 | try googling for | ...PHP language research |
| 08/26/2011 | Clusterken | Clusterken |
| 08/29/2011 | a wonderful blend | quite "old" books discussion |
| 08/26/2011 | please somebody who groks it | Opa |
| 08/26/2011 | along those lines | Asynchronous messaging as integral part of programming language |
| 08/29/2011 | callbacks? | Asynchronous messaging as integral part of programming language |
| 08/23/2011 | some vauge answers? | Can somebody help me to understand some basic stuff about programming ? |
| 08/22/2011 | sounds good to me, | New book on functional programming and games |
| 08/22/2011 | i've been meaning to do more fp in my games | New book on functional programming and games |
| 08/23/2011 | maybe found them | New book on functional programming and games |
| 08/10/2011 | related thread, if you have time to kill | Is it possible to write code that works the very first time? |
| 07/08/2011 | whatever became of hyperslices? | whatever became of hyperslices? |
| 07/11/2011 | @physics | whatever became of hyperslices? |
| 07/07/2011 | Knockout JS | Knockout JS |
| 07/26/2011 | middle grounds? | Knockout JS |
| 07/05/2011 | as a perpetually slow learner | Of Course ML Has Monads! |
| 07/07/2011 | ok | Of Course ML Has Monads! |
| 06/30/2011 | know your audience? | How to explain a new programming language? |
| 06/29/2011 | bad hack to allow optimization via invariants? | Why Programming Languages? |
| 06/22/2011 | terribly clueless question | The Value Of Syntax? |
| 06/20/2011 | Visual programming for the higher level architecture | Visual programming for the higher level architecture |
| 06/16/2011 | Scala's new collections via higher types | Scala's new collections via higher types |
| 06/16/2011 | Yet another take on actors in Scala | Yet another take on actors in Scala |
| 06/16/2011 | i like it modulo some things | C++ AMP - Accelerated Massive Parallelism |
| 06/03/2011 | Joe Duffy on Concurrency, Parallelism | Joe Duffy on Concurrency, Parallelism |
| 06/13/2011 | oops | Joe Duffy on Concurrency, Parallelism |
| 05/17/2011 | Nemerle 1.0 released | Nemerle 1.0 released |
| 05/24/2011 | no luck on my end | Nemerle 1.0 released |
| 05/05/2011 | i think i like it | Data Representation Synthesis |
| 04/08/2011 | A real game written in Haskell? | A real game written in Haskell? |
| 04/08/2011 | ! | A real game written in Haskell? |
| 03/21/2011 | the comments were better :-) | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 03/24/2011 | styles of information hiding? | Bob Harper of CMU is blogging about programming languages and introductory CS education |
| 03/02/2011 | InfoQ Video + transcript of Mark Miller on making ECMAScript secure | InfoQ Video + transcript of Mark Miller on making ECMAScript secure |
| 02/28/2011 | apparently fun datalog system | apparently fun datalog system |
| 02/25/2011 | InfoQ video + transcript of Rob Pike on Go | InfoQ video + transcript of Rob Pike on Go |
| 02/25/2011 | things covered | InfoQ video + transcript of Rob Pike on Go |
| 02/28/2011 | re: the weirdness | InfoQ video + transcript of Rob Pike on Go |
| 02/26/2011 | the only sensible reason | Eero, an Objective-C Dialect |
| 02/02/2011 | Again with the distributed computing: Piccolo | Again with the distributed computing: Piccolo |
| 01/21/2011 | qi lisp 2 now shen | I've run out of programming languages to study |
| 01/20/2011 | cold and hot on e.c. | guy steele on how (not) to think of parallel programming |
| 12/17/2010 | now i want some cereal | Stressed by Distributed Programming? Well, CALM Down. |
| 01/07/2011 | tl;dr | Stressed by Distributed Programming? Well, CALM Down. |
| 12/01/2010 | know your audience | What makes a good book on a language? |
| 11/19/2010 | kinda have to concurr | Clojure's Solutions to the Expression Problem |
| 11/19/2010 | ot/flamebait | Clojure's Solutions to the Expression Problem |
| 11/17/2010 | just wanted to echo | A Preliminary Survey on Functional Programming |
| 11/18/2010 | might be useful to ltu readers | A Preliminary Survey on Functional Programming |
| 11/18/2010 | i like it | A Preliminary Survey on Functional Programming |
| 11/04/2010 | yet another paradigm | yet another paradigm |
| 11/04/2010 | when does debugability break down? | when does debugability break down? |
| 11/03/2010 | tl;dr | Peter Landin Annual Semantics Seminar: 6 December 2010, 5pm, Covent Garden, London -- speaker: Prof. John Reynolds |
| 11/02/2010 | visual programming of R: Red-R | visual programming of R: Red-R |
| 11/02/2010 | competitor | visual programming of R: Red-R |
| 11/02/2010 | ok | visual programming of R: Red-R |
| 10/29/2010 | akin to ? | Programming Languages Panel Streaming Live Today (10/28/2010 16:30 PST GMT-7) |
| 11/02/2010 | yup, if only | Programming Languages Panel Streaming Live Today (10/28/2010 16:30 PST GMT-7) |
| 10/29/2010 | elevator pitch? | Comprehensive overview of security models? |
| 11/02/2010 | various elevator heights | Comprehensive overview of security models? |
| 10/27/2010 | so the op paper is in the | The Myths of Object-Orientation |
| 10/20/2010 | what does that mean? | "A Theory of Interprocess Communication" -- Leslie Lamport |
| 09/30/2010 | then our tools shape us | Software Development with Code Maps |
| 09/30/2010 | i wish cubicon weren't apparently crack-ware | Software Development with Code Maps |
| 09/27/2010 | obj vs. ml vs. coq (fight?) | obj vs. ml vs. coq (fight?) |
| 09/24/2010 | is critical mass critical? | Thorn |
| 09/21/2010 | the other 80% of joe-e | OoO Java |
| 09/16/2010 | FunLoft reactive, concurrent programming language | FunLoft reactive, concurrent programming language |
| 10/29/2010 | i wish | New Dataflow Programming Language |
| 09/21/2010 | clueless question | New Dataflow Programming Language |
| 09/23/2010 | correction | New Dataflow Programming Language |
| 09/28/2010 | 2nd'd | New Dataflow Programming Language |
| 09/27/2010 | re: scala fx | New Dataflow Programming Language |
| 09/16/2010 | [ot] class vs. component | principle of least authority and programming languages |
| 09/08/2010 | "works just fine" | Is Transactional Programming Actually Easier? |
| 09/09/2010 | so in other words | Is Transactional Programming Actually Easier? |
| 09/10/2010 | mostly agreed | Is Transactional Programming Actually Easier? |
| 09/10/2010 | so then i have to wonder | Is Transactional Programming Actually Easier? |
| 08/31/2010 | but no longer under development | Choosing a VM for a concurrent language |
| 08/17/2010 | nifty | Mod sys with external binding of mods to mod sigs, where all mod imports must be sigs only |
| 07/30/2010 | blast from the past | blast from the past |
| 07/30/2010 | as mentioned therein: Us | blast from the past |
| 07/23/2010 | neophyte/clueless/dumb question | paper: "Purely Functional Structured Programming" |
| 07/20/2010 | except | The Future of C# |
| 07/23/2010 | i want an oliver stone movie of that | Is lambda calculus a logic? |
| 07/16/2010 | a small recent visual builder | App Inventor: Programming for non-programmers... again |
| 07/08/2010 | DbC for distributed multiparty interactions | DbC for distributed multiparty interactions |
| 07/10/2010 | sounds like ten years from now | The Rust Language |
| 07/01/2010 | possibly related | Forth in Lisp |
| 06/25/2010 | yeah, i wanna know | Xtext: An IDE on the cheap |
| 06/25/2010 | mud houses | How important is language support for namespace management? |
| 06/25/2010 | "performs poorly" | Intel Concurrent Collections for Haskell |
| 05/14/2010 | i'd like a version of this with only LtUers | The Right Tool |
| 05/13/2010 | AgileWiki theory/tool outline | AgileWiki theory/tool outline |
| 05/13/2010 | yeah, i know what you mean | AgileWiki theory/tool outline |
| 05/14/2010 | curse you | AgileWiki theory/tool outline |
| 05/14/2010 | proofs | "Critical code studies" |
| 05/14/2010 | subjectivity | "Critical code studies" |
| 04/28/2010 | Linear & Dependent types of ATS applied to the Cairo graphics library | Linear & Dependent types of ATS applied to the Cairo graphics library |
| 05/01/2010 | Re: OT | Linear & Dependent types of ATS applied to the Cairo graphics library |
| 04/28/2010 | ok | The Structure of Authority: Why security is not a separable concern |
| 04/23/2010 | no no no | In the wild |
| 04/23/2010 | sure, it could be | Seeking thoughtful criticisms of functional programming and languages |
| 04/22/2010 | eagerly looking forward to that | Seeking thoughtful criticisms of functional programming and languages |
| 04/23/2010 | same as java | Seeking thoughtful criticisms of functional programming and languages |
| 04/30/2010 | i dunno but | SEC interested in formalising contracts ... in Python |
| 04/15/2010 | Visual programming for movies, games | Visual programming for movies, games |
| 06/24/2010 | dijkstra | seL4: Formal Verification of an Operating-System Kernel |
| 04/15/2010 | C++ a little bit, too | How can C Programs be so Reliable? |
| 04/21/2010 | seconded | Games and Languages |
| 04/14/2010 | check out this fun thread (seriously) | iPhone PL lockdown |
| 04/08/2010 | splitting the program into formalizable vs. non-formalizable parts? | splitting the program into formalizable vs. non-formalizable parts? |
| 04/09/2010 | OO being harder to formalize | splitting the program into formalizable vs. non-formalizable parts? |
| 04/14/2010 | if i grok that link | splitting the program into formalizable vs. non-formalizable parts? |
| 04/13/2010 | ? | splitting the program into formalizable vs. non-formalizable parts? |
| 03/31/2010 | re: Mark Miller | Go's proposed panic/recover exception-like mechanism |
| 03/31/2010 | after all, they do, in fact, for example, | Go's proposed panic/recover exception-like mechanism |
| 03/30/2010 | not sure i follow | From type systems to language systems? |
| 03/31/2010 | see Clojure, for instance | Small is Beautiful: the design of Lua |
| 03/31/2010 | i may have missed your point, but... | Small is Beautiful: the design of Lua |
| 04/12/2010 | @doubtful | Can functional programming be liberated from the von Neumann paradigm? |
| 04/13/2010 | re: the only and best | Can functional programming be liberated from the von Neumann paradigm? |
| 04/13/2010 | not a sales pitch and/or i'm a charlatan | Can functional programming be liberated from the von Neumann paradigm? |
| 03/29/2010 | swimming against the grain | Fantom language discussion ; what are your thoughts ? |
| 03/31/2010 | vs. Scala? | Fantom language discussion ; what are your thoughts ? |
| 03/24/2010 | c++'s vs. clojure's mini-languages | Clojure's Mini-languages |
| 03/24/2010 | clueless question | Curry Howard and more powerful type systems |
| 03/19/2010 | Rosette, another Actor language | Rosette, another Actor language |
| 03/17/2010 | "does not mirror the structure of the program itself" | On the (Alleged) Value of Proof for Assurance |
| 03/16/2010 | alice ml folks have said that as well before | Have tracing JIT compilers won? |
| 03/08/2010 | Fighting Bit Rot with Types (Scala Collections) | Fighting Bit Rot with Types (Scala Collections) |
| 03/08/2010 | conspiracy! | Fighting Bit Rot with Types (Scala Collections) |
| 03/09/2010 | works as in | Fighting Bit Rot with Types (Scala Collections) |
| 03/08/2010 | is it still a monad? | Multiple overloads of the bind operator |
| 03/20/2010 | irony | Advantages of Purity |
| 03/16/2010 | sensible defaults? | Advantages of Purity |
| 03/18/2010 | i might be missing the point but | Advantages of Purity |
| 03/03/2010 | whatever the wg1 situation | Extending the Scope of Syntactic Abstraction |
| 03/01/2010 | function and correct | large-scale programming systems inspired by ecological and market systems |
| 02/26/2010 | a "thank you" to You | a "thank you" to You |
| 02/27/2010 | oh, uhm, i've probably forgotten most by now | a "thank you" to You |
| 03/01/2010 | ADTs vs. Objects | a "thank you" to You |
| 03/02/2010 | the learning continues | a "thank you" to You |
| 02/26/2010 | functional equivalance? | functional equivalance? |
| 02/26/2010 | thanks for the link | functional equivalance? |
| 03/15/2010 | ditto | functional equivalance? |
| 03/15/2010 | another (restricted) take on it | functional equivalance? |
| 02/25/2010 | ugh | Can a Biologist Fix a Radio? |
| 02/25/2010 | yes | Can a Biologist Fix a Radio? |
| 02/26/2010 | yes, agreed, akin to... | Can a Biologist Fix a Radio? |
| 02/25/2010 | software engineering vs. others | Can a Biologist Fix a Radio? |
| 02/26/2010 | can you start a training franchise? | Can a Biologist Fix a Radio? |
| 02/24/2010 | plt vs. something else for programming in the large? | plt vs. something else for programming in the large? |
| 02/25/2010 | resolving conflicting perspectives | plt vs. something else for programming in the large? |
| 02/26/2010 | what is your favourite MIL? | plt vs. something else for programming in the large? |
| 03/01/2010 | semantics? | plt vs. something else for programming in the large? |
| 02/22/2010 | ?! | Testing release of a platform for hosting pure functional web applications |
| 02/23/2010 | :-) | Testing release of a platform for hosting pure functional web applications |
| 02/26/2010 | this thread isn't visually narrow enough | Testing release of a platform for hosting pure functional web applications |
| 02/24/2010 | web concerns summary? | Testing release of a platform for hosting pure functional web applications |
| 02/17/2010 | concurrency? | Small PL Thought Experiment |
| 02/18/2010 | really so black+white? | Small PL Thought Experiment |
| 02/24/2010 | re: ffi | Small PL Thought Experiment |
| 02/25/2010 | re: isolation | Small PL Thought Experiment |
| 02/26/2010 | effect typing? | Small PL Thought Experiment |
| 03/02/2010 | another approach: hack the vm | Joe-E: A Security-Oriented Subset of Java |
| 02/23/2010 | in some ways monads aren't that hard, either | Recent Progress in Quantum Algorithms |
| 02/23/2010 | re: core curriculum idea | Recent Progress in Quantum Algorithms |
| 02/16/2010 | thoughts? | A few billion lines of code later: using static analysis to find bugs in the real world |
| 02/19/2010 | different take | A few billion lines of code later: using static analysis to find bugs in the real world |
| 02/16/2010 | what alternatives | A few billion lines of code later: using static analysis to find bugs in the real world |
| 02/10/2010 | purposeful retrograde language design | purposeful retrograde language design |
| 02/11/2010 | agreed | purposeful retrograde language design |
| 02/08/2010 | subsumed, apparently | Mutable objects with monadic methods |
| 02/09/2010 | you have valid points as well | Why prolog is by far the best, most productive, easiest programming language |
| 02/05/2010 | which drives me pretty batty | Alternatives to parentheses for grouping |
| 02/08/2010 | nice link | Alternatives to parentheses for grouping |
| 02/03/2010 | Qi4J released: OO done right? | Qi4J released: OO done right? |
| 02/02/2010 | :-) | LISP and parentheses |
| 02/18/2010 | re: non-terminating | What data sets would tell you the most about what sort of programming language to design? |
| 01/28/2010 | more consistent macros? | more consistent macros? |
| 01/28/2010 | agreed | more consistent macros? |
| 01/29/2010 | thereby reducing it to an earlier joke | more consistent macros? |
| 01/29/2010 | righty, stages | more consistent macros? |
| 01/26/2010 | TRIZ plus Axiomatic Design | TRIZ plus Axiomatic Design |
| 01/28/2010 | thanks for the references | TRIZ plus Axiomatic Design |
| 01/29/2010 | so, like, you are a motivational speaker | TRIZ plus Axiomatic Design |
| 01/25/2010 | are rewrite systems really the bee's knees | are rewrite systems really the bee's knees |
| 01/26/2010 | tipping point vs. secret weapon | are rewrite systems really the bee's knees |
| 01/28/2010 | tl;dr | Historical or sociological studies of programming language evolution? |
| 01/22/2010 | Qi-Lisp spawns Kl | Qi-Lisp spawns Kl |
| 01/20/2010 | see history of things i started (vs. commented on)? | see history of things i started (vs. commented on)? |
| 01/21/2010 | thanks, no luck | see history of things i started (vs. commented on)? |
| 01/22/2010 | yes but | see history of things i started (vs. commented on)? |
| 01/25/2010 | :-) | see history of things i started (vs. commented on)? |
| 01/26/2010 | thanks, nope | see history of things i started (vs. commented on)? |
| 01/20/2010 | tools to evaporate problems | tools to evaporate problems |
| 01/20/2010 | indentation yet again? | indentation yet again? |
| 01/20/2010 | re: any thoughts? | Declarative binding vs. composition |
| 01/21/2010 | re: soon post | Declarative binding vs. composition |
| 01/26/2010 | @struggle to control what goes on | Declarative binding vs. composition |
| 01/27/2010 | @debug assumptions | Declarative binding vs. composition |
| 01/15/2010 | catalog of functional approaches to games? | catalog of functional approaches to games? |
| 02/24/2010 | Clojure perhaps sucking people in | catalog of functional approaches to games? |
| 01/20/2010 | sounds compelling | Discoverability, Language Features, and the First Step Toward Composition |
| 01/12/2010 | universal relation paper link | Why Normalization Failed to Become the Ultimate Guide for Database Designers? |
| 01/15/2010 | i'm also curious | Rapid Prototyping tools & environments from academia |
| 01/07/2010 | does anybody want to fix wikipedia? | does anybody want to fix wikipedia? |
| 01/07/2010 | words are hard | does anybody want to fix wikipedia? |
| 01/07/2010 | thanks for the feedback | does anybody want to fix wikipedia? |
| 01/12/2010 | in reply | does anybody want to fix wikipedia? |
| 12/31/2009 | the "unread" marker issue | the "unread" marker issue |
| 12/31/2009 | cool | the "unread" marker issue |
| 12/30/2009 | most water-tight real-world language implementation? | most water-tight real-world language implementation? |
| 01/15/2010 | how do you accomplish that? | most water-tight real-world language implementation? |
| 12/31/2009 | re: POPLMark | most water-tight real-world language implementation? |
| 12/31/2009 | re: write it twice | most water-tight real-world language implementation? |
| 12/31/2009 | Re: Leveson | most water-tight real-world language implementation? |
| 12/30/2009 | OT | Is (probabilistic) non-determinism pure ? |
| 01/04/2010 | my universe must be everybody else's universe | Parameterized Modules |
| 12/29/2009 | my $0.02 since i work in the game / media industry | The AI Systems of Left 4 Dead |
| 01/04/2010 | i don't entirely follow | Super and Inner — Together at Last! |
| 12/31/2009 | and yet | Unfulfilled Promises of Software Technologies? (!) |
| 12/31/2009 | seconded | Unfulfilled Promises of Software Technologies? (!) |
| 12/17/2009 | much like equals() | Why API Design Matters |
| 12/09/2009 | Lagoona, component-orientation | Lagoona, component-orientation |
| 12/03/2009 | haskell+java=? | Eleven Theses on Clojure |
| 12/03/2009 | choosing battles | Eleven Theses on Clojure |
| 12/01/2009 | i dunno but things i can think of | "Corpus" of lisp/scheme programs which can be used for research |
| 12/08/2009 | re: trojans | Reactive Extensions for .NET released this week |
| 12/09/2009 | i worked at msft | Reactive Extensions for .NET released this week |
| 11/19/2009 | or ocaml | The perfect advanced programming language for the productive industrial developer |
| 11/30/2009 | Re: a single language? | The perfect advanced programming language for the productive industrial developer |
| 11/19/2009 | vs. some other old-school language | Go or Unladen Swallow? |
| 11/09/2009 | apparently it has 'issues' still? | John Hughes on Erlang and Haskell |
| 11/11/2009 | speaking as a code maintainer as well as developer | John Hughes on Erlang and Haskell |
| 11/20/2009 | i like the following related notes | John Hughes on Erlang and Haskell |
| 11/30/2009 | pedantics: parallel vs. concurrent (& distributed) | John Hughes on Erlang and Haskell |
| 10/29/2009 | i like the last line | Tim Bray on Clojure and Erlang |
| 10/23/2009 | Shannon programming language? | Shannon programming language? |
| 10/20/2009 | re: @Override | The design process for Zimbu |
| 10/16/2009 | meta-Scheme? | meta-Scheme? |
| 10/19/2009 | only a partial solution | meta-Scheme? |
| 10/19/2009 | thanks for the rephrasing | meta-Scheme? |
| 10/19/2009 | thanks! | meta-Scheme? |
| 10/17/2009 | does it a little bit disturb anybody else | Erik Meijer's MSDN Channel 9 lecture series on functional programming |
| 10/26/2009 | speaking for my self | Erik Meijer's MSDN Channel 9 lecture series on functional programming |
| 10/27/2009 | i don't disagree | Erik Meijer's MSDN Channel 9 lecture series on functional programming |
| 10/19/2009 | reality is tricky | Erik Meijer's MSDN Channel 9 lecture series on functional programming |
| 10/20/2009 | not sure i follow/agree | Erik Meijer's MSDN Channel 9 lecture series on functional programming |
| 10/20/2009 | can't wait | Lisps, First-Class Special Forms, Fexprs, The Kernel Programming Language |
| 10/14/2009 | plt dialects? | Standard, simple subset of Scheme for experimentation? |
| 10/14/2009 | plt dialects? | Standard, simple subset of Scheme for experimentation? |
| 10/23/2009 | well, | Seeking broad survey of wide range of concurrency idioms |
| 10/23/2009 | wait-free can be hard, too | Seeking broad survey of wide range of concurrency idioms |
| 09/30/2009 | i have not read the paper so sue me but | Swarm now based on Scala 2.8, uses delimited continuations |
| 09/29/2009 | How to respect language styles while translating? | How to respect language styles while translating? |
| 09/29/2009 | Arbitrary translation vs. poetric restrictions | How to respect language styles while translating? |
| 09/30/2009 | nifty | How to respect language styles while translating? |
| 10/01/2009 | GWT | How to respect language styles while translating? |
| 09/29/2009 | Timber (O'Haskellish) has been released | Timber (O'Haskellish) has been released |
| 09/28/2009 | cool! | Incremental addition of types and contracts |
| 09/29/2009 | Erlang is rich | Incremental addition of types and contracts |
| 09/29/2009 | accidental vs. essential complexity | Why Pseudo-Code? |
| 09/25/2009 | thoughtful | JVM language summit 2009 |
| 09/23/2009 | re: .net rx | JVM language summit 2009 |
| 09/25/2009 | interesting stuff | Turning every module into a functor automatically? |
| 09/28/2009 | is it real? | Turning every module into a functor automatically? |
| 09/29/2009 | thanks, that is cool. | Turning every module into a functor automatically? |
| 09/18/2009 | agreed | Noop: Google Language for the JVM |
| 09/23/2009 | i'm (easily) confused | Noop: Google Language for the JVM |
| 09/10/2009 | A Relational Model of Non-Deterministic Dataflow | A Relational Model of Non-Deterministic Dataflow |
| 09/10/2009 | less mumbo jumbo introduction | A Relational Model of Non-Deterministic Dataflow |
| 10/14/2009 | havoc etc. | DSL goodness |
| 10/12/2009 | dood?! | Parallel Performance Tuning for Haskell |
| 08/27/2009 | cue felix | best superset language... |
| 08/15/2009 | que a favourite of mine | Kinds of Null |
| 08/12/2009 | re: 3d caching | The End of the GPU Roadmap |
| 10/02/2009 | a stack on forth? | The End of the GPU Roadmap |
| 08/06/2009 | Various binding styles in OO | Various binding styles in OO |
| 08/08/2009 | thanks | Various binding styles in OO |
| 08/06/2009 | pair programming | Formal methods for safety critical systems |
| 08/05/2009 | Lucid, Gipsy paper | Lucid, Gipsy paper |
| 08/06/2009 | the more the merrier | Verified Programming in Guru |
| 08/05/2009 | seeking help: approaches to model based development? | seeking help: approaches to model based development? |
| 08/05/2009 | Epigram? | seeking help: approaches to model based development? |
| 08/05/2009 | thanks! | seeking help: approaches to model based development? |
| 08/06/2009 | SCADE | seeking help: approaches to model based development? |
| 08/06/2009 | Maude | seeking help: approaches to model based development? |
| 08/06/2009 | and ilk | seeking help: approaches to model based development? |
| 08/10/2009 | probably not | seeking help: approaches to model based development? |
| 08/05/2009 | referential transparency? | Definition of Functional Programming Language |
| 08/03/2009 | newsgroups as well | very simple haskell question |
| 08/03/2009 | re: erlang's "no obvious deficiencies" | Simplicity |
| 08/03/2009 | on scribd as well? | Munkres' Topology |
| 07/13/2009 | if it gets people working on it | Announcing the new Haskell Prime process, and Haskell 2010 |
| 07/09/2009 | @alligators forever consuming one another | Oh no! Animated Alligators! |
| 06/30/2009 | wither c++ | Modern dynamic linking infrastructure for PLT |
| 06/27/2009 | subjective but hopefully less flamebaid-lame | subjective but hopefully less flamebaid-lame |
| 06/28/2009 | thanks! | subjective but hopefully less flamebaid-lame |
| 06/28/2009 | syntax + adoption | subjective but hopefully less flamebaid-lame |
| 06/30/2009 | where is SHIM? | subjective but hopefully less flamebaid-lame |
| 06/30/2009 | sounds plausible to me | subjective but hopefully less flamebaid-lame |
| 06/17/2009 | i dunno | A-Z of Programming Languages: Erlang |
| 06/29/2009 | ja, tho didn't help much | A-Z of Programming Languages: Erlang |
| 06/15/2009 | Con: more than one version of the missing method? | How important is it to have catchalls and interceptors in a programming language |
| 06/12/2009 | why do people need downcasting in the first place? | Preventing downcasting and adding a universal variant |
| 06/15/2009 | i'm thick | Preventing downcasting and adding a universal variant |
| 06/08/2009 | Conal E's notes on AD | A Case for Gestures/Visualizations and Against Concrete Syntax |
| 06/10/2009 | how is AD good for gestures? | A Case for Gestures/Visualizations and Against Concrete Syntax |
| 06/12/2009 | hear hear | A Case for Gestures/Visualizations and Against Concrete Syntax |
| 06/12/2009 | Re: representation (i jest) | A Case for Gestures/Visualizations and Against Concrete Syntax |
| 06/12/2009 | Re: Knowlton2 | The Myth of the Genius Programmer |
| 02/02/2010 | 'Signal' language | Computing Needs Time |
| 09/15/2011 | funny | Computing Needs Time |
| 05/13/2009 | optimistic about frp's future pay-back | Computer music: a bastion of interactive visual dataflow languages |
| 05/13/2009 | Re: mature | Computer music: a bastion of interactive visual dataflow languages |
| 05/13/2009 | not sure i follow | Computer music: a bastion of interactive visual dataflow languages |
| 05/12/2009 | ergo, anybody know of a lispy front-end to fortran? | C++ Frequently Questioned Answers |
| 12/09/2009 | python's new tag line! | Why Did M.I.T. Switch from Scheme to Python? |
| 06/08/2009 | math, not hacking | Why Did M.I.T. Switch from Scheme to Python? |
| 05/06/2009 | latest on linear/uniqueness typing? | latest on linear/uniqueness typing? |
| 05/07/2009 | ok, well now, | latest on linear/uniqueness typing? |
| 05/07/2009 | Re: Clean | latest on linear/uniqueness typing? |
| 05/07/2009 | i believe i feel your pain | Conversations with the Creators of Major Programming Languages |
| 05/07/2009 | i don't get it | What is the best literate programming tool/environment/research work? |
| 05/07/2009 | my pie in the sky feeling | What is the best literate programming tool/environment/research work? |
| 05/08/2009 | perhaps just going to disagree :-) | What is the best literate programming tool/environment/research work? |
| 05/12/2009 | re: of the complexity | What is the best literate programming tool/environment/research work? |
| 05/07/2009 | versioning? | What is the best literate programming tool/environment/research work? |
| 04/24/2009 | Intentional tool released | Intentional tool released |
| 04/25/2009 | sincere thanks for the offer | Intentional tool released |
| 04/25/2009 | i wonder what the base abstraction is? | Intentional tool released |
| 05/07/2009 | rings true | Intentional tool released |
| 06/30/2009 | revenge of the sexps | A programming language with extensible syntax |
| 06/30/2009 | semantics << syntax | A programming language with extensible syntax |
| 04/15/2009 | multidimensional abstraction? | multidimensional abstraction? |
| 04/15/2009 | Understanding | multidimensional abstraction? |
| 04/15/2009 | re: grand solution | multidimensional abstraction? |
| 04/16/2009 | i would appreciate hearing more about "this imbalance" | multidimensional abstraction? |
| 04/16/2009 | thanks! (will keep re-reading and pondering) | multidimensional abstraction? |
| 04/15/2009 | re: fluid aop | multidimensional abstraction? |
| 04/16/2009 | re: fluidity | multidimensional abstraction? |
| 04/16/2009 | a small refinement | multidimensional abstraction? |
| 04/10/2009 | now | Capabilities for External Uniqueness |
| 04/15/2009 | and it has all fallen on deaf ears? | Why are objects so unintuitive? |
| 04/16/2009 | thanks! | Why are objects so unintuitive? |
| 04/15/2009 | is encapsulation a telephone game mistake gone wild? | Why are objects so unintuitive? |
| 07/09/2009 | love the knuth quote | Why are objects so unintuitive? |
| 04/20/2009 | eliminate state oriented metaphors | Why are objects so unintuitive? |
| 04/10/2009 | iiuc, CTM agrees | Why are objects so unintuitive? |
| 04/15/2009 | don't know what you mean by "atms" | Why are objects so unintuitive? |
| 04/15/2009 | semantics/connotations are often a root problem | Why are objects so unintuitive? |
| 04/15/2009 | et tu? | Why are objects so unintuitive? |
| 04/10/2009 | word | Why are objects so unintuitive? |
| 04/15/2009 | constraints can engender success | Why are objects so unintuitive? |
| 04/17/2009 | prepositional connotations? | Why are objects so unintuitive? |
| 04/20/2009 | i have used it | Why are objects so unintuitive? |
| 11/18/2010 | which level of implementation? | Why are objects so unintuitive? |
| 11/18/2010 | which smalltalk? | Why are objects so unintuitive? |
| 11/18/2010 | how does one implement a keyboard in software? | Why are objects so unintuitive? |
| 03/31/2009 | Seeking succnict thoughts on pros/cons of hl language styles | Seeking succnict thoughts on pros/cons of hl language styles |
| 04/01/2009 | Quite a menagerie | Seeking succnict thoughts on pros/cons of hl language styles |
| 04/01/2009 | oh boy | Seeking succnict thoughts on pros/cons of hl language styles |
| 04/01/2009 | 2nd'd | Functional Programming Project |
| 03/11/2009 | lo i am confused about define:"stack" | Linear Logic and Permutation Stacks--The Forth Shall Be First |
| 02/28/2009 | please keep us informed | Dana |
| 02/05/2009 | Risky? | Open Recursion |
| 01/21/2009 | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
| 01/21/2009 | what causes really wide pages? | what causes really wide pages? |
| 01/23/2009 | ah hah. | what causes really wide pages? |
| 01/21/2009 | cheaper solutions? | Lambda Calculus Notation |
| 01/21/2009 | interesting | Looking for papers describing advanced language topics in terms of C programming |
| 01/21/2009 | well said | CWE/SANS TOP 25 Most Dangerous Programming Errors |
| 01/23/2009 | good question | CWE/SANS TOP 25 Most Dangerous Programming Errors |
| 01/21/2009 | how to explain the parts of the elephant | Introducing Dawn - yet another new language |
| 01/02/2009 | Re: type systems as sequent calculi solvers | Learning Pragmatics of Implementing a "Modern" Type Systems |
| 01/21/2009 | "sounds like an interesting constraint to explore" | 2008 In Review - What Happened with Programming Languages? |
| 03/03/2009 | seems important | The Genuine Sieve of Eratosthenes |
| 12/08/2008 | can you say more? | Qi II |
| 10/01/2009 | not much via google | Guy Steele & Richard Gabriel: 50 in 50 |
| 11/06/2008 | Liquid Metal project, Lime language: Java for FPGA co-processors | Liquid Metal project, Lime language: Java for FPGA co-processors |
| 11/06/2008 | thanks for the pointer | Liquid Metal project, Lime language: Java for FPGA co-processors |
| 11/06/2008 | for my next trick | Liquid Metal project, Lime language: Java for FPGA co-processors |
| 10/30/2008 | non java jvm languages? | Automated Code Review Tools for Security |
| 10/30/2008 | Re: Chris Date | Why do OOPLs type objects as classes? |
| 10/30/2008 | F# -> FPGA | BEE3: Putting the Buzz Back into Computer Architecture |
| 10/30/2008 | escaping generally sucks | A bit of Scheming |
| 10/06/2008 | if it really does pan out | Clojure talk videos |
| 10/08/2008 | cf acm queue | Clojure talk videos |
| 10/01/2008 | "a language which no longer resembles C++" | MISRA C++:2008 |
| 09/25/2008 | whence theory? | Multiple inheritance with a single global ordering of classes |
| 09/24/2008 | Felix? | Best way to interface with C/C++? |
| 09/18/2008 | Another multimedia dataflow programming system | Another multimedia dataflow programming system |
| 09/18/2008 | another multi language learning/overview site | another multi language learning/overview site |
| 09/18/2008 | whence Haskell and Clojure? | The Transactional Memory / Garbage Collection Analogy |
| 09/16/2008 | 2000? | First-class Macros |
| 08/28/2008 | Re: operator overloading | Is COBOL really understandable after 14 years. |
| 08/27/2008 | As was said: pragmatics over robustness | Real-Time Concurrent Issues Drive Ada versus Java Choice |
| 08/26/2008 | Really looking forward | Haskell for AI? |
| 08/22/2008 | How to do E/DSLs successfully? | How to do E/DSLs successfully? |
| 08/22/2008 | Makes sense | How to do E/DSLs successfully? |
| 08/25/2008 | Rules of thumb? | How to do E/DSLs successfully? |
| 08/27/2008 | will do | How to do E/DSLs successfully? |
| 08/26/2008 | Some food for thought I've found so far | How to do E/DSLs successfully? |
| 08/20/2008 | Orc vs. Erlang? | OPIS -- Distributed Arrows In O'Caml |
| 08/12/2008 | Staapl: Forth on Scheme for embedded controllers | Staapl: Forth on Scheme for embedded controllers |
| 08/13/2008 | sufficiently large values of 'metaprogramming'? | Staapl: Forth on Scheme for embedded controllers |
| 08/08/2008 | Balancing the tension of dev vs. debug? | Balancing the tension of dev vs. debug? |
| 08/12/2008 | Re: use case | Balancing the tension of dev vs. debug? |
| 08/12/2008 | Re: not needing a debugger | Balancing the tension of dev vs. debug? |
| 07/30/2008 | Re: summer | Beyond FRP: physics-inspired programming abstractions? |
| 07/23/2008 | FP in D 2.0 | FP in D 2.0 |
| 07/17/2008 | ditto | Easiest language to make binding for? |
| 07/10/2008 | Ada OO history? | The A-Z of Programming Languages |
| 06/18/2008 | Industry examples | SWI-Prolog FFI Problem: Getting Prolog and C to work together on MacOS? |
| 06/16/2008 | Liquid Types | Liquid Types |
| 06/13/2008 | Re: Erlang | Preemptive concurrency via compiler-inserted checks |
| 06/18/2008 | Purity <-?-> Functional | Functional Programming in the ACM CS Curriculum |
| 06/13/2008 | Right! | Functional Programming in the ACM CS Curriculum |
| 06/09/2008 | On my mind | Back to the future |
| 06/01/2008 | Continuation based I/O with referential trasparency (Hope+) ? | Continuation based I/O with referential trasparency (Hope+) ? |
| 06/02/2008 | Thanks! | Continuation based I/O with referential trasparency (Hope+) ? |
| 05/30/2008 | "Recent Posts" functionality? | "Recent Posts" functionality? |
| 06/03/2008 | right | "Recent Posts" functionality? |
| 05/30/2008 | Understood, but not agreed | Computational Thinking |
| 05/20/2008 | Ceci n'est pas un advertisement | HOPL-III: A History of Erlang |
| 05/12/2008 | Scala Lift Off Unconference review | Scala Lift Off Unconference review |
| 05/12/2008 | Wish I could attend | service course in logic and logic programming: crazy? |
| 05/09/2008 | OO via first class enviroments: Bla | OO via first class enviroments: Bla |
| 09/30/2008 | that. | program verification: the very idea |
| 04/19/2008 | YAJVML: Qi4j | YAJVML: Qi4j |
| 04/16/2008 | another issue/question/hope re: layout | another issue/question/hope re: layout |
| 04/17/2008 | re: parent link | another issue/question/hope re: layout |
| 04/15/2008 | red herrings | The irreducible physicality of security properties |
| 05/30/2008 | systems + deep innovation -> larger teams | Career paths and concerns |
| 05/30/2008 | Start a REAL Journal? | Career paths and concerns |
| 04/25/2008 | Required vs. optional | Safe and Secure Software in Ada |
| 09/24/2008 | OTish | Safe and Secure Software in Ada |
| 09/26/2008 | sorry -- i meant a lisp-sexpr focus, not an erlang focus | Safe and Secure Software in Ada |
| 09/09/2008 | Re: Joyce | Erasmus: A Modular Language for Concurrent Programming |
| 04/01/2008 | trying to see forum+frontpage posts in order | trying to see forum+frontpage posts in order |
| 04/03/2008 | Creation vs. last post | trying to see forum+frontpage posts in order |
| 03/28/2008 | too much indentation solution? | too much indentation solution? |
| 03/27/2008 | Concurrent Composition and Algebras of Events, Actions, and Processes | Concurrent Composition and Algebras of Events, Actions, and Processes |
| 03/26/2008 | Can it educate people? | Ongoing work on Supercompilation of Java code (or supercompilation in general)? |
| 03/27/2008 | I see | Ongoing work on Supercompilation of Java code (or supercompilation in general)? |
| 03/20/2008 | Relational rather than hierarchical OO packaging? | Relational rather than hierarchical OO packaging? |
| 03/26/2008 | Visual Age | Relational rather than hierarchical OO packaging? |
| 03/21/2008 | Thanks for the notes | Relational rather than hierarchical OO packaging? |
| 03/24/2008 | Use case? | Relational rather than hierarchical OO packaging? |
| 03/24/2008 | "for the most part" | The Disciplined Disciple Compiler |
| 03/21/2008 | Wouldn't it be nice | Role of Types in Evaluation Strategy |
| 03/18/2008 | BitC? | Higher-Order Programming without Closures? |
| 03/17/2008 | Scala? | Languages best suited for scientific computing? |
| 03/12/2008 | re: other places to post | Problematic data structure in functional language |
| 03/10/2008 | "...thereby | C - header files |
| 03/12/2008 | Subjective thoughts on where to dial that in? | Applied Metamodelling: A Foundation for Language Driven Development |
| 03/20/2008 | Devil, Advocate, Adoption | Applied Metamodelling: A Foundation for Language Driven Development |
| 03/06/2008 | Excel as a different programming paradigm | Excel as a different programming paradigm |
| 03/03/2008 | keen | Uniqueness Typing Simplified |
| 03/03/2008 | oh license | Uniqueness Typing Simplified |
| 03/08/2008 | Re: The discussion must go on. | Confused Deputies in Programming Languages |
| 03/10/2008 | Sounds sensible | Confused Deputies in Programming Languages |
| 03/17/2008 | interesting question | Confused Deputies in Programming Languages |
| 03/17/2008 | Back to Coq et. al. | Confused Deputies in Programming Languages |
| 03/10/2008 | why is | Confused Deputies in Programming Languages |
| 03/17/2008 | summary? | Confused Deputies in Programming Languages |
| 02/29/2008 | Something of a mind-bomb, in a good way, reading that | Programmers At Work |
| 02/28/2008 | Re: Yay Coq! | Is null needed? |
| 02/28/2008 | my guess is "it depends" | Is null needed? |
| 02/27/2008 | sounds like a good question to me | A Question about Overlap |
| 03/07/2008 | Related taxonomy | A Question about Overlap |
| 02/26/2008 | exceptions again | exceptions again |
| 02/27/2008 | a time and a place | exceptions again |
| 02/28/2008 | Defining things | exceptions again |
| 02/26/2008 | OT re: Pattern matching as limited reflection | Union types in Java? |
| 03/03/2008 | Might be neat | Learning language design |
| 02/22/2008 | Sounds neat (reading the docs) | XMF 2.0 Open Source |
| 02/21/2008 | Neophyte question about "functional" | When Is A Functional Program Not A Functional Program? |
| 02/22/2008 | Many thanks for the note | When Is A Functional Program Not A Functional Program? |
| 02/23/2008 | might be starting to clue in, i can hope... | When Is A Functional Program Not A Functional Program? |
| 02/20/2008 | mmm, progressive refinement | Gilad Bracha: Cutting out Static |
| 02/20/2008 | e.g. Scala | Gilad Bracha: Cutting out Static |
| 02/20/2008 | Sooner or Later | Gilad Bracha: Cutting out Static |
| 02/21/2008 | How does this translate to programming languages? | Gilad Bracha: Cutting out Static |
| 02/21/2008 | All first class -> non-static typing? | Gilad Bracha: Cutting out Static |
| 02/21/2008 | makes sense | Gilad Bracha: Cutting out Static |
| 02/22/2008 | [oting] training vs. easy use | Gilad Bracha: Cutting out Static |
| 02/19/2008 | Cool, thanks for the PDF link | Uniform naming |
| 02/20/2008 | Categories and Allegories oh my | Uniform naming |
| 05/22/2008 | Expressiveness is a double-edged banana | succinctness |
| 02/19/2008 | The right verbosity is subjective | succinctness |
| 02/14/2008 | Java the language vs. Java the ecosystem | Java the language vs. Java the ecosystem |
| 02/14/2008 | Right you are | Java the language vs. Java the ecosystem |
| 02/11/2008 | Syntax is hard | Lisaac: The power of simplicity at work for operating systems |
| 02/13/2008 | Thanks for the thoughts (tho this is probably getting ever OT :) | Lisaac: The power of simplicity at work for operating systems |
| 02/10/2008 | Qis of the Future | Qis of the Future |
| 02/07/2008 | Lanugages with built-in rules/tests? | Lanugages with built-in rules/tests? |
| 02/08/2008 | Thanks | Lanugages with built-in rules/tests? |
| 02/08/2008 | Proof carrying code | Lanugages with built-in rules/tests? |
| 02/08/2008 | Dogged | Lanugages with built-in rules/tests? |
| 02/08/2008 | Re: run- vs. compile time | Lanugages with built-in rules/tests? |
| 02/08/2008 | Many thanks to all | Lanugages with built-in rules/tests? |
| 02/07/2008 | Leaning how to judge the right tool for the job? | Leaning how to judge the right tool for the job? |
| 02/08/2008 | Or being able to switch perspectives | Leaning how to judge the right tool for the job? |
| 02/08/2008 | Thanks for the thoughts | Leaning how to judge the right tool for the job? |
| 02/08/2008 | or a creative commons e-book? | Leaning how to judge the right tool for the job? |
| 02/26/2008 | just an amusing quote | Leaning how to judge the right tool for the job? |
| 02/06/2008 | Wonder if it would be more fun in Scala | Jumbala : An Action Language for UML State Machines |
| 02/06/2008 | Re: Scala vs. AsmL [OTing] | Jumbala : An Action Language for UML State Machines |
| 02/07/2008 | Amen | Jura, a OOMP language and potential DBMS |
| 02/08/2008 | Good point about the trade-offs | Jura, a OOMP language and potential DBMS |
| 02/06/2008 | Might process algebras have insights? | Signals in an OOPL |
| 02/05/2008 | Latest usability for polymorphism? | Latest usability for polymorphism? |
| 02/05/2008 | Good points | Latest usability for polymorphism? |
| 02/07/2008 | Usability factors | Latest usability for polymorphism? |
| 02/05/2008 | Successfully running in the other direction? | Latest usability for polymorphism? |
| 02/07/2008 | I'm slow | Languages and data conversions. |
| 02/11/2008 | Re: scary implicit conversions | Languages and data conversions. |
| 02/13/2008 | nice one | Languages and data conversions. |
| 02/13/2008 | Actually, now that you mention it | Languages and data conversions. |
| 02/10/2008 | on genericity/ies? | Announcement: Genyris Language |
| 03/03/2008 | thanks for the notes | Announcement: Genyris Language |
| 02/01/2008 | OK | Don't try FP in industry! |
| 02/14/2008 | how do i sign up to do that gig? | Arc is released |
| 01/31/2008 | Felix lives | Interesting old gem: Prop does pattern matching in C++ |
| 01/29/2008 | Re: tricking programmers into using it | The YNot Project |
| 01/26/2008 | Really un-mutable Scheme | Really un-mutable Scheme |
| 01/26/2008 | Very domain specific | WaveScript |
| 01/24/2008 | Embedded concurrent FPish languages? | Embedded concurrent FPish languages? |
| 01/24/2008 | Maybe occam | Embedded concurrent FPish languages? |
| 01/24/2008 | Good point | Embedded concurrent FPish languages? |
| 01/24/2008 | Re: process interaction patterns | Embedded concurrent FPish languages? |
| 01/25/2008 | Some more people seeing the light? | Embedded concurrent FPish languages? |
| 01/25/2008 | O'Caml, with effort | Embedded concurrent FPish languages? |
| 01/25/2008 | Sounds fun | Embedded concurrent FPish languages? |
| 01/26/2008 | Re: FRP | Embedded concurrent FPish languages? |
| 01/28/2008 | No hard requirements | Embedded concurrent FPish languages? |
| 01/31/2008 | Dialyzer | How useful is reflection, anyway? |
| 01/22/2008 | Type inference (pragmatic)? | The Design and Implementation of Typed Scheme |
| 01/18/2008 | Impact of OO language style on code | Impact of OO language style on code |
| 01/19/2008 | Thanks for the thoughts | Impact of OO language style on code |
| 01/19/2008 | Re: generic functions | Impact of OO language style on code |
| 01/18/2008 | Open5G web app language/system | Open5G web app language/system |
| 01/17/2008 | XL back in the limelight? | XL back in the limelight? |
| 01/17/2008 | Fixed | XL back in the limelight? |
| 01/16/2008 | Re: impedance mismatch | Flower: a new way to write web services |
| 01/16/2008 | what is GVScript? | what is GVScript? |
| 01/15/2008 | HLLs for information | beyond programming languages |
| 01/16/2008 | Positivie ontology examples | beyond programming languages |
| 01/12/2008 | Parallel skeleton libs review? | Parallel skeleton libs review? |
| 01/12/2008 | Misc related paper | Parallel skeleton libs review? |
| 01/11/2008 | Re: SNFM paper | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 01/09/2008 | Re: global competition | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 01/10/2008 | Right on | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 01/17/2008 | Even worse | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 01/17/2008 | Correct by Inspection? | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 01/17/2008 | Fundamentally different goals | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 01/17/2008 | Doctor vs. researcher | Computer Science Education: Where Are the Software Engineers of Tomorrow? |
| 01/04/2008 | Early vs. late binding dogma/experiences? | Early vs. late binding dogma/experiences? |
| 01/07/2008 | Right you are | Early vs. late binding dogma/experiences? |
| 01/07/2008 | so much for my recollection | Early vs. late binding dogma/experiences? |
| 01/05/2008 | Back to the future | Open Multi-Methods for C++ |
| 01/05/2008 | Run the gauntlet-gamut | Why Did Symbolics Fail? |
| 01/05/2008 | translation & everybody's favourite Sapir–Whorf | Protium .. |
| 01/05/2008 | restrictions lead to success? | Protium .. |
| 02/22/2008 | Embodiment in languages? | Process Algebras: Whats the point? |
| 02/25/2008 | EPFL | Process Algebras: Whats the point? |
| 12/14/2007 | Re: F# (and Scala, and Quark) | CUFP write-up |
| 12/21/2007 | what is the lower bound? | Computation Orchestration: A Basis for Wide-Area Computing |
| 01/07/2008 | Re: as previously seen on LtU | Computation Orchestration: A Basis for Wide-Area Computing |
| 12/07/2007 | 3 and 4 from the perspective of mass adoption | A Growable Language Manifesto |
| 12/08/2007 | being pedantic re: Ruby | A Growable Language Manifesto |
| 12/08/2007 | Re: Debuggers overrated | A Growable Language Manifesto |
| 12/11/2007 | might i add | Democratizing the Cloud using Microsoft Live Labs Volta |
| 12/07/2007 | hear hear fwiw | Subtext 2 Video |
| 12/18/2007 | Re: short-running big-cleanup | Quantifying the Performance of Garbage Collection vs. Explicit Memory Management |
| 11/28/2007 | Clojure | Clojure |
| 11/27/2007 | safety of it vs. e.g. skeletons? | The Carnap Programming Language |
| 02/02/2010 | dunno, tho i've heard of | What are the properties of "Functional Programming Languages"? |
| 09/13/2010 | please see the relevant parts of the DDC thesis | What are the properties of "Functional Programming Languages"? |
| 11/19/2007 | ref | David Pollak on lift |
| 10/30/2007 | purity vs. pragmatism | [ANN]: Open Quark Framework for Java, version 1.7.0 released |
| 11/09/2007 | vs. CTM? | On the Importance of Purity |
| 11/09/2007 | clarification | On the Importance of Purity |
| 11/01/2007 | eyes only -> fingers only? | On the Importance of Purity |
| 01/31/2008 | True | In Honor of Per Brinch Hansen (1938-2007) |
| 01/31/2008 | and... | In Honor of Per Brinch Hansen (1938-2007) |
| 01/31/2008 | and... | In Honor of Per Brinch Hansen (1938-2007) |
| 10/10/2007 | plus, there's Distel | Functional Programming - A Secret Weapon for Software Testing - John Hughes |
| 10/17/2007 | GC & destructor | It's Time to Stop Calling Circuits "Hardware" |
| 10/05/2007 | Bay Area Meeting | Leave of absence |
| 09/19/2007 | favourite edification sources? | Uniqueness Types Instead STM |
| 04/03/2008 | Not just academia | Minimal FORTH compiler and tutorial |
| 07/26/2007 | LoD good for whom? | Instantiation of classes in wrong place leads to wrong structures ... (reminder) |
| 07/26/2007 | Coq on Earth? | Language Nirvana - Simon Peyton-Jones |
| 07/17/2007 | My newbie experience | Whoever does not understand LISP, is doomed to reinvent it. |
| 07/14/2007 | If only | The Evolution Of LINQ And Its Impact On The Design Of C# |
| 07/02/2007 | OT: talking to C++? | Good Language Design Principals for Scripting Languages |
| 07/03/2007 | Right! | Good Language Design Principals for Scripting Languages |
| 07/06/2007 | Prolog | Good Language Design Principals for Scripting Languages |
| 06/29/2007 | Forth in hardware ("not dead yet") | Forth in hardware ("not dead yet") |
| 07/06/2007 | RE: vocabulary | Forth in hardware ("not dead yet") |
| 07/06/2007 | a moment of silence for radical simplification | Haskell web store |
| 07/09/2007 | Must not be talking about GUI code | Haskell web store |
| 06/28/2007 | Language lifecycle? | Language lifecycle? |
| 06/28/2007 | OTing / Re: java version compatibility | Language lifecycle? |
| 06/29/2007 | On Compatibility | Language lifecycle? |
| 06/29/2007 | The only choice is stasis/stagnation | Language lifecycle? |
| 06/27/2007 | Simple ADT-based "side-band" state? | Simple ADT-based "side-band" state? |
| 06/21/2007 | Neat stuff! | HOT Pickles |
| 06/22/2007 | tools to aid? | HOT Pickles |
| 06/21/2007 | one. singular. gorilla. every little step it takes. | PLs and large scale development |
| 06/15/2007 | Re: new dataflow language | automatic program parallelization for multicore cpus as a software problem |
| 06/14/2007 | Distributed Objects vs. Messaging | Distributed Objects vs. Messaging |
| 06/14/2007 | Re: web calculus | Distributed Objects vs. Messaging |
| 06/14/2007 | Re: FRP | Distributed Objects vs. Messaging |
| 06/14/2007 | Re: own theory on error handling (lack thereof) | Distributed Objects vs. Messaging |
| 06/14/2007 | Being pedantic for a moment, | Distributed Objects vs. Messaging |
| 06/15/2007 | Re: eliminate the incidence | Distributed Objects vs. Messaging |
| 06/18/2007 | Re: pizza | Distributed Objects vs. Messaging |
| 06/22/2007 | Some error taxonomies | Distributed Objects vs. Messaging |
| 06/14/2007 | Re: complicated | Distributed Objects vs. Messaging |
| 06/14/2007 | link de rigeur | Carnap Programming Language |
| 06/15/2007 | Re: fallacies | Carnap Programming Language |
| 06/01/2007 | What about space? | "Practical" advantages of lazy evaluation |
| 02/13/2008 | No way to genericize that? | "Practical" advantages of lazy evaluation |
| 02/13/2008 | maybe not for all values of practical, but | "Practical" advantages of lazy evaluation |
| 02/19/2008 | Work-day Pragmatism vs. Applied Theory? | "Practical" advantages of lazy evaluation |
| 05/24/2007 | As a newbie consumer | Error messages |
| 05/23/2007 | DbC + OPascal == Chrome | DbC + OPascal == Chrome |
| 05/24/2007 | Re: Spec# | DbC + OPascal == Chrome |
| 05/23/2007 | Picky libraries, picky languages? | Picky libraries, picky languages? |
| 05/24/2007 | Re: wouldn't it be great | Picky libraries, picky languages? |
| 05/24/2007 | RIP Sather | Picky libraries, picky languages? |
| 05/24/2007 | Sweet | Picky libraries, picky languages? |
| 05/24/2007 | Praxis expected | Picky libraries, picky languages? |
| 05/22/2007 | grammar weenie-ness | Delegating Responsibility in Digital Systems: Horton's "Who Done It?" |
| 05/14/2007 | How to make the static represent the dynamic? | How to make the static represent the dynamic? |
| 05/21/2007 | Re: triviality | How to make the static represent the dynamic? |
| 05/21/2007 | Responding to self | How to make the static represent the dynamic? |
| 05/22/2007 | When is the release party? | How to make the static represent the dynamic? |
| 05/10/2007 | The browser is the OS, no? | "The language of the future is javascript" |
| 05/08/2007 | $0.02 Beyond good and evil | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/10/2007 | Everything in a single language | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/12/2007 | Questions | Microsoft's new Dynamic Language Runtime (DLR) |
| 05/12/2007 | chocolate and peanut butter? | The Monad.Reader |
| 04/27/2007 | As an aside, the docs | Open Quark (CAL language) 1.4.0 Released |
| 04/27/2007 | Harlequin went open, is it really available/working? | Arc in action (a.k.a. it's aliiiiive!) |
| 05/01/2007 | [oting] Dylan on JVM | Arc in action (a.k.a. it's aliiiiive!) |
| 05/01/2007 | best. term. ever. | Arc in action (a.k.a. it's aliiiiive!) |
| 04/10/2007 | HotSpot-esque | Deliverable code? |
| 04/04/2007 | Re: AlgorithmsToday.pdf | Live coding festival and conference |
| 03/26/2007 | Mapping language style to ancillary issues? | Mapping language style to ancillary issues? |
| 03/28/2007 | PoV | Mapping language style to ancillary issues? |
| 03/28/2007 | Lanuages vs. lanuage | Mapping language style to ancillary issues? |
| 03/28/2007 | Agreed | Mapping language style to ancillary issues? |
| 04/05/2007 | What works? | Living it up with a Live Programming Language |
| 03/26/2007 | [ot] web / usability / rotations / graves | Living it up with a Live Programming Language |
| 04/05/2007 | Examples? | Living it up with a Live Programming Language |
| 03/26/2007 | [oting] everybody's an expert | A Real-World Use of Lift, a Scala Web Application Framework |
| 03/19/2007 | pre processor? | Syntax Solicited for Imperative-flavored Concurrent Language with Keywords |
| 03/19/2007 | Re: delegation languages | Implementation Inheritance |
| 03/19/2007 | Codd, grave, rolling? | Implementation Inheritance |
| 03/19/2007 | any "real" implementations? | Implementation Inheritance |
| 03/20/2007 | Word | Implementation Inheritance |
| 03/26/2007 | Business logic == rules? | Kourier is now live |
| 02/13/2007 | Cake and Eat It | Easy to learn and use |
| 02/16/2007 | Macrology | Easy to learn and use |
| 02/15/2007 | oh transputers/cm5/niagara/etc., where art thou? | Reactive Programming |
| 02/09/2007 | Concurr | Better language tools |
| 02/09/2007 | Intentional programming | Better language tools |
| 02/10/2007 | Lingua Franxmla | Better language tools |
| 02/13/2007 | Agreed | Better language tools |
| 02/08/2007 | SMP Erlang vs. Haskell vs. ML | SMP Erlang vs. Haskell vs. ML |
| 02/09/2007 | Erlang style | SMP Erlang vs. Haskell vs. ML |
| 02/13/2007 | Yes! | SMP Erlang vs. Haskell vs. ML |
| 02/09/2007 | Re: working on it | Patrick Logan on Software Transaction Memory |
| 02/08/2007 | Java + Haskell = Quark? | Patrick Logan on Software Transaction Memory |
| 02/09/2007 | STM in Erlang? | Patrick Logan on Software Transaction Memory |
| 02/10/2007 | STM in Erlang | Patrick Logan on Software Transaction Memory |
| 02/10/2007 | Apparently | Patrick Logan on Software Transaction Memory |
| 02/07/2007 | Embedded ML? | Embedded ML? |
| 09/23/2009 | also, mincaml | Embedded ML? |
| 02/06/2007 | Iterative contract development? | Iterative contract development? |
| 02/08/2007 | Call for backup? | Programming Shorthands |
| 02/07/2007 | Can't fix it? | Opinions on _Theoretical Introduction to Programming_? |
| 06/15/2007 | In the presence of I/O? | Steps Toward The Reinvention of Programming |
| 02/07/2007 | i'm scared of the debugging | Steps Toward The Reinvention of Programming |
| 02/08/2007 | Fear itself | Steps Toward The Reinvention of Programming |
| 02/08/2007 | PLT | Steps Toward The Reinvention of Programming |
| 01/31/2007 | Middle ground? | brainstorming dataflow language visualizations |
| 01/25/2007 | [OT] Re: F# | Software Composability and the Future of Languages |
| 01/30/2007 | [OT] licensing | Software Composability and the Future of Languages |
| 02/07/2007 | SISAL usage? | Why people don't use functional programming? |
| 01/04/2007 | Quark | More Haskell in Java 7 or 8? |
| 12/21/2006 | A Usability question: Too much typing? | A Usability question: Too much typing? |
| 12/21/2006 | Formalism vs. UI | A Usability question: Too much typing? |
| 12/22/2006 | Agreed | A Usability question: Too much typing? |
| 12/21/2006 | Spec# | The Role of Composition in Computer Programming |
| 12/15/2006 | OO immutability types? | Java Open Review Project |
| 12/15/2006 | I like static typing, I guess. | Commercial Users of Functional Programming 2006 |
| 12/02/2006 | [OTing] SML + ? | Modular Type Classes |
| 04/10/2007 | Will too. Will not. Will too. Will not. | De-Scheming MIT? |
| 05/08/2007 | Thanks | SICP Translations |
| 11/10/2006 | Random "if it bends it is funny, if it breaks it isn't funny" line of thought | Random "if it bends it is funny, if it breaks it isn't funny" line of thought |
| 11/15/2006 | Either way | Random "if it bends it is funny, if it breaks it isn't funny" line of thought |
| 11/03/2006 | Less hard-core proofs, but perhaps similar... | "Proof-Directed Debugging" Revisited |
| 11/03/2006 | "nor trivial but it doesn't matter" | A rationale for semantically enhanced library languages |
| 10/31/2006 | Code generation vs. dynamic/introspective languages | Code generation vs. dynamic/introspective languages |
| 11/03/2006 | Peace, man. | Code generation vs. dynamic/introspective languages |
| 11/10/2006 | why not a wiki or something? | Practical OCaml |
| 10/17/2006 | FP vs. JSP | FP vs. JSP |
| 10/11/2006 | upcoming Java feature | Modified javac That Processes Annotations on Local Variables |
| 10/05/2006 | clarity -> verbosity? | call by ? and mental models |
| 09/28/2006 | a blog about it | Business Objects Quark - Haskell meets Java |
| 09/29/2006 | purity, or lack thereof | Business Objects Quark - Haskell meets Java |
| 09/29/2006 | You are in good company | Machine Obstructed Proof |
| 09/26/2006 | ...and Erlang | ICFP proceedings / Scheme workshop |
| 09/12/2006 | Neophyte question: detecting deadlock, livelock, races etc. | Neophyte question: detecting deadlock, livelock, races etc. |
| 09/13/2006 | Thanks for the news | Neophyte question: detecting deadlock, livelock, races etc. |
| 09/13/2006 | Gilad is humorous | Strongtalk goes open source |
| 09/15/2006 | My current hobby horse | Dynamic Languages Symposium Program Online |
| 09/19/2006 | Agreed | Dynamic Languages Symposium Program Online |
| 08/24/2006 | "Language Oriented Programming" Meta Programming System | "Language Oriented Programming" Meta Programming System |
| 08/24/2006 | already discussed | "Language Oriented Programming" Meta Programming System |
| 09/15/2006 | Re: IDEs | "Language Oriented Programming" Meta Programming System |
| 08/22/2006 | width still fixed? | width still fixed? |
| 08/22/2006 | Not just that page | width still fixed? |
| 08/30/2006 | Rez etc. | width still fixed? |
| 08/30/2006 | another wide page | width still fixed? |
| 08/28/2006 | [OT'ing] I want to like Scala | Closures for Java or money back |
| 08/28/2006 | the tooling | Closures for Java or money back |
| 01/07/2010 | non-rt infects the rt? | Oracles |
| 01/14/2010 | locking? | Oracles |
| 08/02/2006 | Interesting | Managing missing information through Condition Propagation |
| 07/27/2006 | [getting OTish already? sorry] Re: the expression problem | Generics as a Library |
| 05/09/2007 | Re: other concerns | Generics as a Library |
| 07/31/2006 | Modulo Knuth's Realism | Cost of provably-correct code |
| 08/03/2006 | "incremental type inference and separate compilation" | A type-correct, stack-safe, provably correct, expression compiler in Epigram |
| 04/18/2007 | KRoC.net dead? | Erlang concurrency: why asynchronious messages? |
| 07/19/2006 | Not always so true | Writing an interpreter, targeting a VM or writing from scratch? |
| 07/19/2006 | Good point | Writing an interpreter, targeting a VM or writing from scratch? |
| 02/27/2007 | Any news? | Event-Based Programming without Inversion of Control |
| 07/05/2006 | which CPL do you mean? | online literature on CPL? |
| 06/27/2006 | Oxymoronic? "Safety-critical development guidelines for real-time Java" | Oxymoronic? "Safety-critical development guidelines for real-time Java" |
| 06/27/2006 | becomes a chance to plug Scala | Oxymoronic? "Safety-critical development guidelines for real-time Java" |
| 06/27/2006 | Re: oxymoron | Oxymoronic? "Safety-critical development guidelines for real-time Java" |
| 06/21/2006 | And, when do you know it is/not tail-recursive? | Rules for Developing Safety-Critical Code |
| 06/12/2006 | [drifting OT] possibly interesting paper | A Brief History of Scala |
| 05/31/2006 | Timor: adding "qualifying" and "attribute" types to the OO realm. | Timor: adding "qualifying" and "attribute" types to the OO realm. |
| 05/30/2006 | get it used? :-) | yet another noob via "little lisper" and scheme |
| 05/30/2006 | Even then it seems complicated | First Class Values, Types as values within a Programming Language |
| 05/26/2006 | Ravenscar Profile? | Ravenscar Profile? |
| 05/25/2006 | Erlang/OTP release with multiprocessor support | |
| 05/23/2006 | Pudding | Gilad Bracha: Will Continuations continue? |
| 05/23/2006 | Re: hard to get right & there's only one or two use cases | Gilad Bracha: Will Continuations continue? |
| 05/17/2006 | The World's Most Maintainable Programming Language | The World's Most Maintainable Programming Language |
| 05/18/2006 | Avril fool's | The World's Most Maintainable Programming Language |
| 05/18/2006 | No code is better | The World's Most Maintainable Programming Language |
| 05/19/2006 | Re: Reliability via standard libraries | The World's Most Maintainable Programming Language |
| 05/18/2006 | [ever more OT] | Paul Vick: BASIC principles |
| 05/15/2006 | Re: composition of features | The Problem With Threads |
| 05/13/2009 | i think that's the point | ruby vs python |
| 05/12/2009 | not just RAII, but stack semantics | ruby vs python |
| 05/13/2009 | hey, once i get my angel funding | ruby vs python |
| 05/16/2006 | Tee hee | ruby vs python |
| 05/15/2006 | Ja, worth repeating | Non-null references? |
| 02/28/2008 | I thought I'd heard that it was a big no-no | Non-null references? |
| 05/15/2006 | Erlang++? | The case for Semantic Analysis |
| 05/11/2006 | My humble Lisp improvement | The Nature of Lisp (a tutorial) |
| 05/17/2006 | Re: conservation of syntax | The Nature of Lisp (a tutorial) |
| 05/11/2006 | I like it | The Nature of Lisp (a tutorial) |
| 05/11/2006 | Criticism is the sincerest form of flattery | The Nature of Lisp (a tutorial) |
| 05/11/2006 | [OT of PLT] Live vs. read | The Nature of Lisp (a tutorial) |
| 01/17/2008 | vs. Alice? | HashCaml--an extension of the OCaml bytecode compiler with support for type-safe marshalling and related naming features. |
| 06/02/2006 | Clueless question | Multidimensional Virtual Classes |
| 05/11/2006 | 500 | Designing a Type Notation for a Stack Based Functional Language |
| 05/12/2006 | Dumb question | Open data types and open functions |
| 05/15/2006 | Re: how to apply OBJ | Open data types and open functions |
| 05/04/2006 | Re: forensics | What do you believe about Programming Languages (that you can't prove (yet))? |
| 03/06/2008 | losing debugging info | What do you believe about Programming Languages (that you can't prove (yet))? |
| 03/06/2008 | Sounds good to me | What do you believe about Programming Languages (that you can't prove (yet))? |
| 05/13/2009 | language b | What do you believe about Programming Languages (that you can't prove (yet))? |
| 08/22/2006 | i'm obviously clueless | Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) |
| 05/16/2006 | I'm still (easily) confused | How do Java generics correspond to System F-(omega)? |
| 05/16/2006 | Transitivities of evil. | How do Java generics correspond to System F-(omega)? |
| 05/16/2006 | Clearer?! | How do Java generics correspond to System F-(omega)? |
| 07/12/2006 | Re: list.add(37.62) | How do Java generics correspond to System F-(omega)? |
| 05/16/2006 | Thanks | How do Java generics correspond to System F-(omega)? |
| 05/16/2006 | Funny you should mention that | How do Java generics correspond to System F-(omega)? |
| 05/16/2006 | What does sub-type do for you? | How do Java generics correspond to System F-(omega)? |
| 05/17/2006 | Ah, right you are! | How do Java generics correspond to System F-(omega)? |
| 04/21/2006 | What do others do? | TinyScheme Revived |
| 04/20/2006 | yes! | Lang .NET 2006 |
| 04/11/2006 | More General Structures | public vs. published interfaces |
| 03/17/2006 | Back button & scroll position | Back button & scroll position |
| 03/20/2006 | Right on | Design Patterns as Higher-Order Datatype-Generic Programs. |
| 03/15/2006 | ACM Queue: On Usability of Programming Languages | ACM Queue: On Usability of Programming Languages |
| 03/16/2006 | Re: doing the fun part | ACM Queue: On Usability of Programming Languages |
| 03/17/2006 | Re: good systems | ACM Queue: On Usability of Programming Languages |
| 12/29/2006 | True | Virtual Machines, Language Runtimes, and the Future of Objective C |
| 03/11/2006 | Either/or | Visualisable Languages |
| 03/14/2006 | Check out CoreTalk | Visualisable Languages |
| 03/14/2006 | MDD for/against | Visualisable Languages |
| 02/28/2006 | Not everybody agrees | Effects on stability/exception handling of massively parallel programs |
| 02/23/2006 | CLR conversion not that big a deal? | source code conversion |
| 02/14/2006 | the simple things confuse me | Guido: Language Design Is Not Just Solving Puzzles |
| 02/14/2006 | Re: dynamic scoping considered a very bad idea | Guido: Language Design Is Not Just Solving Puzzles |
| 02/15/2006 | Re: thread explaining scope, binding and assignment | Guido: Language Design Is Not Just Solving Puzzles |
| 02/15/2006 | Agreement vs. Clarity? | Guido: Language Design Is Not Just Solving Puzzles |
| 02/16/2006 | Good argument | Guido: Language Design Is Not Just Solving Puzzles |
| 02/07/2006 | Re: The problem is state | Programming Languages: Application and Interpretation |
| 02/06/2006 | Language is irrelevant | hypothetical question |
| 02/08/2006 | Re: SSS | Extensible Term Language |
| 02/06/2006 | Re: smells lispy | Unix as programming language |
| 02/02/2006 | Not -> Now | G'Caml comes of age |
| 07/17/2006 | Not everybody agrees | The Next Mainstream Programming Languages |
| 01/23/2009 | $ doesn't mean Right | The Next Mainstream Programming Languages |
| 12/30/2009 | re: ada syntax | The Next Mainstream Programming Languages |
| 02/01/2006 | What's the tune? | What is a monad, why should I use it, and when is it appropriate? |
| 02/01/2006 | Thank you | What is a monad, why should I use it, and when is it appropriate? |
| 02/01/2006 | Everything is Design | Packaging Data And Methods |
| 02/01/2006 | Re: metadata is dangerous | Naked Objects |
| 02/01/2006 | Re: Theorems for Free | Naked Objects |
| 01/31/2006 | Not exactly easy | Weak vs. strong typing |
| 02/01/2006 | Re: JML | Weak vs. strong typing |
| 01/30/2006 | line breaks? | line breaks? |
| 01/30/2006 | Re: input format | line breaks? |
| 02/06/2006 | Re: radio buttons | line breaks? |
| 02/01/2006 | New Data | line breaks? |
| 02/06/2006 | Re: usability is relative | line breaks? |
| 02/06/2006 | Re: ( :-) | line breaks? |
| 01/30/2006 | RIP TOM | A-Posteriori Subtyping: Which Languages? |
| 02/01/2006 | Re: Intuitive vs. Nihilist | Lambda the Ultimate Set Comprehension |
| 01/30/2006 | Why do people need it? | Javascript Inheritance |
| 01/25/2006 | "The Right Thing" == {Security, Usability, etc.}? | Promising OS's from a Programming Language Perspective |
| 01/26/2006 | Re: the right job | Promising OS's from a Programming Language Perspective |
| 01/25/2006 | Programming Language transformation? | Programming Language transformation? |
| 01/30/2006 | Re: learning a new language | Programming Language transformation? |
| 03/09/2006 | Re: JSP | Programming Language transformation? |
| 01/26/2006 | Re: SCID | Programming Language transformation? |
| 01/30/2006 | Re: NekoVM | Programming Language transformation? |
| 01/30/2006 | Re: Semantics | Programming Language transformation? |
| 01/25/2006 | ps2pdf | Beyond LINQ: A Manifesto For Distributed Data-Intensive Programming |
| 01/25/2006 | Re: Haven't you heard of Mono? | Beyond LINQ: A Manifesto For Distributed Data-Intensive Programming |
| 01/30/2006 | Re: Patents | Beyond LINQ: A Manifesto For Distributed Data-Intensive Programming |
| 02/08/2007 | When reality kicks/knocks | Haskell vs. Erlang, Reloaded |
| 02/08/2007 | DHS dead? | Haskell vs. Erlang, Reloaded |
| 01/30/2006 | Re: Scala mixins? | Scala 2 |
| 07/05/2006 | The Right Abstractions | Project Oberon |
| 01/12/2006 | Re: O'Caml vs. Java syntax | Functional libraries for Java |
| 01/09/2006 | Found PDF | Effect Systems? |
| 01/14/2006 | Re: Oz | The new old or The "Return" to Concurrency |
| 12/22/2005 | Understanding the Dynamic Nature of a Program | Understanding the Dynamic Nature of a Program |
| 12/13/2005 | Hear hear | Back to the future... |
| 12/02/2005 | The breaking point of language usability? | The breaking point of language usability? |
| 12/02/2005 | A thought of my own | The breaking point of language usability? |
| 12/03/2005 | Anecdote re: proofs | The breaking point of language usability? |
| 12/02/2005 | Re: client vs. creator | The breaking point of language usability? |
| 12/02/2005 | A straw-person pipe-dream 'solution' | The breaking point of language usability? |
| 12/02/2005 | More fuel, it seems to me | The breaking point of language usability? |
| 12/02/2005 | I agree | The breaking point of language usability? |
| 12/02/2005 | More agreement? | The breaking point of language usability? |
| 12/02/2005 | Search space | The breaking point of language usability? |
| 12/03/2005 | Re: Is this a language issue | The breaking point of language usability? |
| 12/03/2005 | Re: GIGO | The breaking point of language usability? |
| 12/03/2005 | Yes, that much was obvious | The breaking point of language usability? |
| 12/02/2005 | Re: strict, lazy, monads | The breaking point of language usability? |
| 12/05/2005 | Aside re: regular folks | The breaking point of language usability? |
| 12/06/2005 | Re: sliced bread | The breaking point of language usability? |
| 12/06/2005 | Re: futile calisthenics | The breaking point of language usability? |
| 03/20/2006 | Re: C# | Lock-Free Data Structures using STMs in Haskell |
| 10/24/2008 | well, | Generalized Algebraic Data Types and Object-Oriented Programming |
| 11/14/2005 | Re: Grust's PhD thesis | Algebra Of Programming (Bird, De Moor) |
| 11/10/2005 | PDF version | Putting Curry-Howard to Work |
| 11/09/2005 | Thanks | Battling Bugs: A Digital Quagmire |
| 11/09/2005 | Advanced Programming Language Design | OOPSLA 2005: Io, a small programming language |
| 11/09/2005 | Re: 6 of one, 1/2 dozen of the other | OOPSLA 2005: Io, a small programming language |
| 11/08/2005 | Can one avoid monads? | Can one avoid monads? |
| 11/10/2005 | Papers found | Can one avoid monads? |
| 06/08/2006 | Re: Connecting the Wires | The Reasoned Schemer |
| 11/07/2005 | PDF version | Tutorial on Good Lisp Programming Style |
| 11/03/2005 | Don't rant against Cambridge | Geometric Algebra |
| 11/04/2005 | Re: Thesis | Geometric Algebra |
| 10/28/2005 | Easy to follow?! | Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? |
| 10/28/2005 | Re: Be Constructive | Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? |
| 10/26/2005 | Pre-LINQ: rich object management in your PL | Pre-LINQ: rich object management in your PL |
| 10/27/2005 | Re: actual paper | Pre-LINQ: rich object management in your PL |
| 10/19/2005 | Re: append vs. insert | Best default sequence? |
| 10/19/2005 | Re: memory layout | Best default sequence? |
| 10/19/2005 | Re: no steekin' default sequence | Best default sequence? |
| 10/19/2005 | Re: transparently "promote" | Best default sequence? |
| 10/19/2005 | Re: integral part of the language | Best default sequence? |
| 10/19/2005 | Table Oriented Programing | Best default sequence? |
| 09/05/2006 | Can vs. Do | Object Oriented Programming + Referential Transparency |
| 10/30/2008 | which still hasn't come out? | Object Oriented Programming + Referential Transparency |
| 10/14/2005 | (from 2004) Possibly faster Haskell | (from 2004) Possibly faster Haskell |
| 10/14/2005 | Territorial Exception Handling | Territorial Exception Handling |
| 10/14/2005 | Re: list comprehension | Implementing Higher Order Messages |
| 10/14/2005 | Re: where to store results | Expressions vs Statements |
| 10/14/2005 | Re: blocks of memory | Expressions vs Statements |
| 10/18/2005 | Re: errors for just another function | Expressions vs Statements |
| 10/18/2005 | Re: binding vs. assigning | Expressions vs Statements |
| 10/19/2005 | Re: assign when created | Expressions vs Statements |
| 10/20/2005 | Re: RTTI | Expressions vs Statements |
| 10/12/2005 | Their Latest | Formal methods for O/R mapping |
| 10/10/2005 | Do a web search for | Formal methods used in developing "profitable" software |
| 10/14/2005 | [OTish] Re: DiffeQ solvers on TM | The Church-Turing Thesis: Breaking the Myth |
| 10/07/2005 | Re: software is harder | Scalability |
| 10/05/2005 | Types and Proof Carrying Code: Mobius | Types and Proof Carrying Code: Mobius |
| 10/05/2005 | Re: old video | Interesting old promotional video for Intentional Programming |
| 10/05/2005 | Static type inference & late binding? | Static type inference & late binding? |
| 10/05/2005 | I found a reference to MrFlow | Static type inference & late binding? |
| 10/05/2005 | Re: Alice | Static type inference & late binding? |
| 10/05/2005 | Re: Haskell | Static type inference & late binding? |
| 10/05/2005 | Re: 'main stream' | Static type inference & late binding? |
| 10/05/2005 | Not grounded in current reality | Static type inference & late binding? |
| 10/05/2005 | Cilk == C, Cilk-NOW ?= FP | Chapel: "Solving the parallel programming problem" |
| 10/07/2005 | The *other* functional | Chapel: "Solving the parallel programming problem" |
| 10/05/2005 | As an aside, it is very readable | Number-Parameterized Types by Oleg Kiselyov |
| 10/03/2005 | Merd & Scala | The English-Likeness Monster |
| 10/03/2005 | Re: warning for bad math | The English-Likeness Monster |
| 10/04/2005 | Which operators? | The English-Likeness Monster |
| 10/04/2005 | I Agree! | The English-Likeness Monster |
| 09/30/2005 | Rationale? | Ivory, an experimental declarative programming system |
| 10/04/2005 | two cents encouraging going open | Ivory, an experimental declarative programming system |
| 11/09/2005 | Re: worth pursuing further? | Ivory, an experimental declarative programming system |
| 10/05/2005 | Breaking in the middle | "The Anatomy of a Loop" |
| 09/27/2005 | Looking for FP Debuggers | Looking for FP Debuggers |
| 09/28/2005 | Addendum | Looking for FP Debuggers |
| 09/29/2005 | I'm an unworthy tester. | Looking for FP Debuggers |
| 09/28/2005 | Re: Java or .Net | Looking for FP Debuggers |
| 09/28/2005 | Re: we don't need no steekin' debuggers | Looking for FP Debuggers |
| 09/28/2005 | As an aside, | Looking for FP Debuggers |
| 10/03/2005 | Re: shallow bugs a tracer makes | Looking for FP Debuggers |
| 09/23/2005 | Abstractions considered harmful? | Abstractions considered harmful? |
| 09/26/2005 | Re: inefficiencies | Abstractions considered harmful? |
| 09/26/2005 | Re: You can't handle the truth! | Abstractions considered harmful? |
| 09/24/2005 | Re: Linearity & the PC | Abstractions considered harmful? |
| 09/26/2005 | Re: Bad posit, bad! | Abstractions considered harmful? |
| 09/26/2005 | Re: the (smart) working programmer | Abstractions considered harmful? |
| 09/26/2005 | Re: reality | Abstractions considered harmful? |
| 09/26/2005 | Re: delicious abstractions | Abstractions considered harmful? |
| 09/26/2005 | Re: "Once the people begin to reason, all is lost." | Abstractions considered harmful? |
| 09/26/2005 | ++(Formal Methods) | Abstractions considered harmful? |
| 09/27/2005 | Re: Praxis | Abstractions considered harmful? |
| 09/27/2005 | Re: off by one | Abstractions considered harmful? |
| 09/26/2005 | Intentional Programming | Abstractions considered harmful? |
| 09/26/2005 | So I said to myself, "Self..." | Abstractions considered harmful? |
| 09/27/2005 | Enlarge your choice | Abstractions considered harmful? |
| 10/03/2005 | Re: Bulls Eye | Abstractions considered harmful? |
| 09/30/2005 | PL Humour, all week! | XLinq: XML Programming Refactored (The Return Of The Monoids) |
| 09/22/2005 | What is Intuitive? | What is Intuitive? |
| 09/28/2005 | Re: Papers | What is Intuitive? |
| 12/06/2005 | PLT needs a Bob Geldof | What is Intuitive? |
| 12/07/2005 | Re: The Truth is Inside | What is Intuitive? |
| 09/28/2005 | SQL vs. the external language | Table Oriented Programming |
| 09/21/2005 | Live update of source with inferred type? | Live update of source with inferred type? |
| 09/21/2005 | Clean looked very interesting... | Live update of source with inferred type? |
| 09/21/2005 | O'Caml doesn't like me | Live update of source with inferred type? |
| 04/20/2006 | Re: hmpf | Persistent functional databases |
| 04/21/2006 | Re: Primitive Oracle | Persistent functional databases |
| 10/05/2005 | Catches I've hit, my two cents. | Yearning for a practical scheme |
| 10/11/2005 | Clean? | Yearning for a practical scheme |
| 10/05/2005 | It's the usability | Yearning for a practical scheme |
| 10/11/2005 | Re: learning emacs | Yearning for a practical scheme |
| 09/29/2005 | UI of any kind is hard | Forum usability |
| 10/05/2005 | Neophyte constructive question | Invariants/Contracts vs. types |
| 10/05/2005 | Re: P vs. P | Invariants/Contracts vs. types |
| 09/29/2005 | Down with whitespace | A Java/Python hybrid? |
| 09/27/2006 | More on directionality of links? | Termite: a Lisp for Distributed Computing |
| 09/28/2006 | Thanks for the info | Termite: a Lisp for Distributed Computing |
| 09/30/2005 | Vertical vs. Horizontal Pix | The Language Machine - a toolkit for language and grammar |
| 08/22/2008 | Apparently now for sale | Design Concepts in Programming Languages |
| 10/05/2005 | Re: oh, wait... | Variables as Channels |
| 09/29/2005 | Depends on how you define referential transparency | From Perl Monks: "pissed off about functional programming" |
| 09/29/2005 | Yes | From Perl Monks: "pissed off about functional programming" |
| 09/29/2005 | I think I fixed myself. | From Perl Monks: "pissed off about functional programming" |
| 01/18/2007 | Just stumbled across this as well | Metaphor |
| 03/18/2009 | concurr | ACM Queue: A Conversation with Alan Kay |
| 03/08/2006 | Still down | OpenSpice |
| 06/16/2007 | Oh boy am I going to get in trouble this time | OOP Is Much Better in Theory Than in Practice |
| 06/18/2007 | Oui | OOP Is Much Better in Theory Than in Practice |
| 10/24/2005 | Re: misunderstood | the Chinese natual language |
| 10/03/2005 | Speaking from ignorance | Ken Shan: Shift to Control |
| 04/21/2006 | Available from Google | Erlang the Movie |
| 01/12/2012 | and in lisp/qi/shen | Embedding Prolog in Haskell |
| 01/30/2009 | There's a spectrum to such things, as you say? | Explaining monads |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |