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 |