Posts By: sjoerd_visscher
| Date | Post | Topic |
| 06/03/2007 | I had the same idea | Merging Functions, Modules, Classes, the whole nine yards... |
| 03/04/2007 | Type error | How to Evaluate Lambda Expressions |
| 02/24/2007 | Site is no longer offline | DanFest 2004 videos online |
| 02/18/2007 | Counter example | Automata-Based Programming |
| 02/21/2007 | W3C joins in | Automata-Based Programming |
| 01/31/2007 | The type of quote | [RFC] Cat: A Typed Functional Stack Based Language |
| 01/15/2007 | Detectability | Ninety-nine Lisp Problems |
| 02/19/2007 | recursive regexes | Why people don't use functional programming? |
| 01/01/2007 | The modern trend is not to use indexing. | Why numbering should start at 0 |
| 12/08/2006 | Shouldn't that start with | The Cat Language Kind System |
| 11/25/2006 | Merd's syntax across languages is missing | Programming Language Research Search Engine |
| 11/03/2006 | Not even a keyword | A rationale for semantically enhanced library languages |
| 11/24/2006 | What is a hack? | Type inference and union types |
| 11/04/2006 | I don't think so. | Future of software design? |
| 10/16/2006 | The proposed fix for JS2 | Block-scope |
| 09/19/2006 | The canvas html element | Why Johnny can't code |
| 09/18/2006 | Prolog in Javascript | Yield Prolog |
| 08/27/2006 | Syntax | The whole Enchilada |
| 08/27/2006 | Hadn't thought of the empty | The whole Enchilada |
| 08/27/2006 | Zip | The whole Enchilada |
| 08/28/2006 | How to implement zip | The whole Enchilada |
| 08/22/2006 | css fix | width still fixed? |
| 08/19/2006 | no arguments | Closures for Java or money back |
| 08/15/2006 | Haskell | DSLs and AOP |
| 08/06/2006 | Referential transparency | Expressing the Type of a While Loop |
| 08/06/2006 | It is not referentially transparent | Expressing the Type of a While Loop |
| 07/30/2006 | It has been done before. | Lisp sans (((paren-theses ((hell))))) |
| 07/28/2006 | Lisp | The solution to all your troubles... |
| 07/28/2006 | DSLs | Gamma formalism |
| 07/17/2006 | Formal semantics | HOPL III and the History of Haskell |
| 07/17/2006 | ACM | HOPL III and the History of Haskell |
| 07/17/2006 | the next step in "mainstream" programming | A Core Calculus for Scala Type Checking |
| 07/08/2006 | Me too. | Amusing question |
| 06/07/2006 | Windows only | Public resources for ECMAScript Edition 4 |
| 06/08/2006 | Try harder. | Public resources for ECMAScript Edition 4 |
| 05/31/2006 | Posted in Python? | Narrative Javascript |
| 06/02/2006 | Small improvement | Narrative Javascript |
| 07/19/2006 | Haskell | First Class Values, Types as values within a Programming Language |
| 05/23/2006 | Code generation as a last refuge | Code Generation Network |
| 05/21/2006 | It's not that Seaside isn't good. | Gilad Bracha: Will Continuations continue? |
| 05/05/2006 | As an OO type of person... | Open data types and open functions |
| 05/05/2006 | Off the cuff from me too | Open data types and open functions |
| 05/05/2006 | The difference | Open data types and open functions |
| 05/05/2006 | Are we talking about the same openness? | Open data types and open functions |
| 05/05/2006 | I don't understand. | Open data types and open functions |
| 05/06/2006 | Unit testing | Open data types and open functions |
| 05/06/2006 | In practice | Open data types and open functions |
| 05/06/2006 | I am not a Java programmer | Open data types and open functions |
| 04/19/2006 | Race | The Essence of the Iterator Pattern |
| 04/10/2006 | Typos in examples | Functional Programming Has Reached The Masses; It's Called Visual Basic |
| 03/03/2006 | Wrong link? | Towards Applicative Relational Programming |
| 02/28/2006 | Same thing in Javascript | Tail call elimination decorator in Python |
| 03/02/2006 | No, this works | Tail call elimination decorator in Python |
| 02/14/2006 | Obvious? | Concatenation Operators in Unimperative |
| 02/20/2006 | Numerical stability | Interval Computations |
| 01/10/2006 | It's good! | Tim Bray: Don't Invent XML Languages |
| 01/10/2006 | You are right! | Tim Bray: Don't Invent XML Languages |
| 12/26/2005 | It has a solution | Can anyone help me solve this Sudoku? |
| 12/26/2005 | A bug | Can anyone help me solve this Sudoku? |
| 12/27/2005 | Multiple solutions | Can anyone help me solve this Sudoku? |
| 06/09/2007 | Link doesn't work | The Haskell Programmer's Guide to the IO Monad --- Don't Panic |
| 12/13/2005 | 2005? | Top N Papers 2005 |
| 11/21/2005 | Just to make it really easy. | Dependent types: literature, implementations and limitations ? |
| 11/19/2005 | You cannot pass back, but | Feedback on post? |
| 11/13/2005 | Pipes should not have polarity | Putting Curry-Howard to Work |
| 11/20/2005 | More challange | The Reasoned Schemer |
| 10/28/2005 | No choice | Map of LtU readers |
| 11/06/2005 | They got complaints. | Map of LtU readers |
| 11/01/2005 | Confusing indeed | Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? |
| 10/06/2005 | Also freely available | Scoping based on control flow graph |
| 09/13/2005 | Unfathomable? | Generic implementation of all four *F* operators: from control0 to shift |
| 09/15/2005 | Maybe it's not the same | Generic implementation of all four *F* operators: from control0 to shift |
| 04/24/2006 | Open or closed | Persistent functional databases |
| 08/30/2005 | I agree | Tim Bray on Ruby |
| 08/11/2005 | Arse | Concatenative Language Kont |
| 08/12/2005 | koders.com could be a start | Concatenative Language Kont |
| 08/04/2005 | Cool | A Lisp to JavaScript Compiler in 100 Lines |
| 08/04/2005 | What scoping problems? | A Lisp to JavaScript Compiler in 100 Lines |
| 08/03/2005 | OMG | Mercury Vs Prolog |
| 07/26/2005 | Google sais | Concurrent Clustered Programming |
| 06/30/2005 | The slope might represent a v | Hungarian Notation vs The Right Thing |
| 06/21/2005 | Wrong url | SuDoku |
| 06/07/2005 | Does it matter? | Bidirectional fold and scan |
| 05/26/2005 | Auto generated subjects | Parameterized Unit Tests |
| 05/06/2005 | What about just a very small change | Let's make a programming language! |
| 05/07/2005 | not algol, common sense | Let's make a programming language! |
| 05/06/2005 | real world DSL | Let's make a programming language! |
| 05/07/2005 | yes | Let's make a programming language! |
| 05/08/2005 | Precedence | The Fortress Language Spec v0.618 |
| 04/27/2005 | Looks like javascript! | Virtual Machine and Runtime Framework |
| 04/28/2005 | Try this. | expressivity of "idiomatic C++" |
| 09/19/2005 | Ok, let me try the Haskell version. | expressivity of "idiomatic C++" |
| 03/17/2005 | Uses of reduce | The fate of reduce() in Python 3000 |
| 03/18/2005 | naturally? | The fate of reduce() in Python 3000 |
| 03/18/2005 | Modularization | The fate of reduce() in Python 3000 |
| 03/18/2005 | Nice but... | The fate of reduce() in Python 3000 |
| 03/17/2005 | How to parallelize | The fate of reduce() in Python 3000 |
| 03/05/2005 | The world did realize, kind of | Adobe Releases Adam and Eve |
| 03/06/2005 | I agree | Adobe Releases Adam and Eve |
| 03/06/2005 | Absolutely good enough | Adobe Releases Adam and Eve |
| 02/28/2005 | Combined feeds | New RSS Feed(s) |
| 02/21/2005 | Objects | What are The Atoms of Programming Languages? |
| 02/06/2005 | easter egg | A question for the theory guys |
| 12/29/2004 | A wide range of primitives | Pascal-FC |
| 12/29/2004 | Surely they are not all primitive | Pascal-FC |
| 12/29/2004 | Navigation should not change state | Use Continuations to Develop Complex Web Applications |
| 12/23/2004 | Sometimes english is special | the Chinese natual language |
| 12/12/2004 | Improving on car/cdr | Casting SPELs in Lisp |
| 11/04/2004 | A type system? | Predicate Dispatch in the news |
| 10/27/2004 | Jsoftware | Programming challenge |
| 01/13/2005 | in Mozilla | Introduction to E4X |
| 09/26/2004 | Links | Great Works in Programming Languages |
| 09/21/2004 | Font | Dijkstra on analogies and anthropomorphism |
| 09/09/2004 | Feature is already available | Securing reflective towers |
| 08/27/2004 | Language design problem | Multidimensional arrays |
| 08/28/2004 | Higher order functions | Multidimensional arrays |
| 08/28/2004 | Not what I mean | Multidimensional arrays |
| 08/29/2004 | Big misunderstanding | Multidimensional arrays |
| 08/30/2004 | Thank you | Multidimensional arrays |
| 09/19/2004 | The NestList example | Multidimensional arrays |
| 09/19/2004 | Thanks, now to the point | Multidimensional arrays |
| 09/18/2004 | Why is that cool? | Multidimensional arrays |
| 09/27/2004 | Where's the novelty? | Multidimensional arrays |
| 08/26/2004 | The list monad | Implementing Declarative Parallel Bottom-Avoiding Choice |
| 08/21/2004 | There's something to it | New result re "linguistic determinism" |
| 08/22/2004 | But how? | New result re "linguistic determinism" |
| 08/13/2004 | Individuals and committees | New Paul Graham thing... |
| 08/13/2004 | The difference | New Paul Graham thing... |
| 08/13/2004 | knowledge or smarts | New Paul Graham thing... |
| 08/15/2004 | Some committee | "Your" RDF Query Language |
| 08/15/2004 | I don't like it, at all | "Your" RDF Query Language |
| 08/15/2004 | Prolog for RDF queries | "Your" RDF Query Language |
| 08/15/2004 | Designing to examples | "Your" RDF Query Language |
| 08/14/2004 | Unconsious type systems | Why type systems are interesting - part II |
| 08/14/2004 | Re: Interesting | Why type systems are interesting - part II |
| 08/14/2004 | Subtyping | Morrow & First-class Labels |
| 08/17/2004 | Reuse | Morrow & First-class Labels |
| 08/14/2004 | Labels as functions | Morrow & First-class Labels |
| 08/14/2004 | Not possible? | Morrow & First-class Labels |
| 08/14/2004 | The label supports "the call operation" | Morrow & First-class Labels |
| 08/03/2004 | Goal directed programming | Tail of Nil and Its Type |
| 08/03/2004 | That's why >>= is used | Tail of Nil and Its Type |
| 08/02/2004 | It is configurable on a per-user basis | Another minor usability gripe... |
| 08/02/2004 | proper html elements instead of classes | HTML guidelines |
| 08/02/2004 | Blue text | HTML guidelines |
| 08/02/2004 | Continuations sent to the client | Partial Continuations |
| 09/16/2004 | How to solve problem #3 | History: Array languages |
| 07/27/2004 | Moiell | Icon Language Implementation and Unicon News |
| 07/27/2004 | Same here | Derrida's Machines |
| 07/18/2004 | Prolog in Javascript | Embedding Prolog in Haskell |
| 07/25/2004 | It's about IDEs | JDeveloperAOP |
| 07/17/2004 | I don't agree too | Cω Preview Available |
| 08/01/2004 | The other "every" | Why type systems are interesting |
| 07/23/2004 | It's not that strange | Why type systems are interesting |
| 08/08/2004 | Not broken | Why type systems are interesting |
| 08/14/2006 | Article has moved | Richard Feynman and the Connection Machine |
| 07/11/2004 | multiple threads or multiple data | New Chip Heralds a Parallel Future |
| 07/12/2004 | Ok then, but... | New Chip Heralds a Parallel Future |
| 07/06/2004 | procedural? | XsRQL (and other RQLs) |
| 07/06/2004 | anything procedural? | XsRQL (and other RQLs) |
| 07/07/2004 | A problem at all? | International Components for Unicode 3.0 Released |
| 07/08/2004 | How to solve the display problem. | International Components for Unicode 3.0 Released |
| 07/20/2004 | complete names | The site discussions forum |
| 07/22/2004 | That doesn't work | The site discussions forum |
| 07/22/2004 | The return page after posting | The site discussions forum |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |