Posts By: Denis Bredelet -jido
| Date | Post | Topic |
| 06/10/2012 | Booleans in Aha! and dodo | Aha! Programming Language |
| 06/13/2012 | The link to the paper no | Aha! Programming Language |
| 06/13/2012 | I think this is a reasonable | Aha! Programming Language |
| 06/08/2012 | Drakon Editor | Graphical languages of the Russian space program |
| 06/12/2012 | I am struggling to understand the rules added | Abstraction wins: An approach to framing and mutability |
| 06/12/2012 | Replying to myself: read | Abstraction wins: An approach to framing and mutability |
| 06/12/2012 | How? | Abstraction wins: An approach to framing and mutability |
| 06/07/2012 | The idea of loading a submodule only in some conditions | Matthew Flatt on Racket Submodules |
| 06/08/2012 | How does the interleaved | Matthew Flatt on Racket Submodules |
| 05/22/2012 | Concurrency is the ability | Languages & Niches |
| 05/23/2012 | My experiences with | Languages & Niches |
| 06/01/2012 | Parallelism is often about carefully moving memory | Languages & Niches |
| 05/21/2012 | Why a neutral element? | Reducers - A Library and Model for Collection Processing |
| 05/22/2012 | Still don't see the use | Reducers - A Library and Model for Collection Processing |
| 03/28/2012 | Reference escape rules | Retrospective Thoughts on BitC |
| 01/18/2012 | Code pollution | crazy PL idea: prescriptive trait inference |
| 01/21/2012 | I thought the extension | crazy PL idea: prescriptive trait inference |
| 11/29/2011 | I am very interested. | Delimited continuations for C/C++ |
| 11/25/2011 | Infrastructure-level solutions for parallel programs | Models for distributed parallelism |
| 10/31/2011 | I don't quite see how this should interact with type inference | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 10/31/2011 | Multiple dispatch | "We Really Don't Know How to Compute!" by Gerald Sussman |
| 10/17/2011 | Funny coincidence | "Crutches in language design", accidental complexity and feature overlap |
| 10/15/2011 | Locking | "Crutches in language design", accidental complexity and feature overlap |
| 10/16/2011 | Also used in OS/2, Windows 3 | Dennis Ritchie passed away |
| 10/11/2011 | Lists should be covariant? | Google's Dart announced |
| 10/11/2011 | CPS option? | Can I express variable occurence ranges in logic? |
| 10/11/2011 | Just a rewrite | Can I express variable occurence ranges in logic? |
| 10/06/2011 | Good questions | Data, Codata, and Their Implications for Equality, and Serialization |
| 10/26/2011 | Educational programming on iPad | Open thread: RIP Steve Jobs |
| 10/06/2011 | This man's death... | Open thread: RIP Steve Jobs |
| 10/01/2011 | Type safety in libraries | Type safety in libraries |
| 10/02/2011 | I expected that would be the | Type safety in libraries |
| 10/02/2011 | Which kind of assembly? | Type safety in libraries |
| 10/02/2011 | Is it generally practical to | Type safety in libraries |
| 09/28/2011 | 'arraylet' is not burdened with patents I hope | FijiVM: Compile Java source to Native with Realtime GC |
| 09/24/2011 | Variable representation in dodo | Redesigning the Mozart virtual machine |
| 09/18/2011 | What Does Functional Programming Mean? | What Does Functional Programming Mean? |
| 09/18/2011 | It is an opinion piece, not | What Does Functional Programming Mean? |
| 07/28/2011 | The authors of Levy admitted | Levy: a Toy Call-by-Push-Value Language |
| 07/27/2011 | Dodo mixes the two | Knockout JS |
| 07/18/2011 | Constraint programming is more natural | Parallel bars |
| 11/19/2010 | Abstract state | Abstract state |
| 11/20/2010 | Looks like it... | Abstract state |
| 11/17/2010 | Ideal Archon | Directly Reflective Meta-Programming |
| 09/29/2010 | using continuations for backtracking | Eff - Language of the Future |
| 10/03/2010 | One-shot | Eff - Language of the Future |
| 09/30/2010 | from part one I understand... | Eff - Language of the Future |
| 09/04/2010 | Garbage collection | J's concepts rank, composition, and GC |
| 09/04/2010 | I love that quote :-) thanks | Sapir-Whorf 70 years on |
| 09/19/2011 | Missing return | How to classify type of ML's exn ? (Naive question) |
| 11/19/2010 | Neural network | Generative Grammar-based Computation |
| 02/06/2012 | How would that help with | Small is Beautiful: the design of Lua |
| 03/19/2010 | Unicode in BitC | BitC is back |
| 03/23/2010 | Divergence | BitC is back |
| 03/23/2010 | My bad | BitC is back |
| 01/29/2010 | Macros = rewriting | more consistent macros? |
| 01/21/2010 | Given that these are functional | Syntax of Literal Tables (Assocative Collections) and Auto-generated fields |
| 01/20/2010 | The first column is used as a key, and the "value" is an anonymo | Syntax of Literal Tables (Assocative Collections) and Auto-generated fields |
| 01/24/2010 | I think the constraints | Declarative binding vs. composition |
| 12/23/2009 | A question of metadata | A question of metadata |
| 12/24/2009 | Clojure | A question of metadata |
| 12/25/2009 | Clojure metadata examples | A question of metadata |
| 12/23/2009 | Every instance of a class is | Parameterized Modules |
| 12/23/2009 | Right, you need to consider | Parameterized Modules |
| 01/05/2010 | Separate concerns | Parameterized Modules |
| 01/05/2010 | Equivalence | Super and Inner — Together at Last! |
| 02/13/2010 | Matryoshka dolls | Super and Inner — Together at Last! |
| 12/21/2009 | Just for memory and bounding | Chunked sequences: Lookahead laziness |
| 12/19/2009 | Intro to surreal numbers | Claiming Infinity |
| 12/12/2009 | abstract syntax tree | Metaprogramming and Heron : Five Years Later |
| 12/13/2009 | by navigating to the | Metaprogramming and Heron : Five Years Later |
| 12/13/2009 | Does the DOM work well for | Metaprogramming and Heron : Five Years Later |
| 12/11/2009 | Using a single stack in the presence of continuations | Using a single stack in the presence of continuations |
| 12/06/2009 | Extensibility | Is Small Still Beautiful? |
| 12/04/2009 | Making TCO explicit | Why Object-Oriented Languages Need Tail Calls |
| 11/19/2009 | Very specific application | Connections between Transactions and Promises/Futures? |
| 11/19/2009 | Conflict resolution | Connections between Transactions and Promises/Futures? |
| 11/19/2009 | Post-commit | Connections between Transactions and Promises/Futures? |
| 11/20/2009 | Looks like your use of | Connections between Transactions and Promises/Futures? |
| 11/21/2009 | These post-commit semantics | Connections between Transactions and Promises/Futures? |
| 11/21/2009 | Non-deterministic? | Connections between Transactions and Promises/Futures? |
| 11/22/2009 | Yeah I wrote something | Connections between Transactions and Promises/Futures? |
| 11/24/2009 | Limits of out-of-transaction update | Connections between Transactions and Promises/Futures? |
| 11/14/2009 | Working on it... | The perfect advanced programming language for the productive industrial developer |
| 11/27/2009 | Familiarity | The perfect advanced programming language for the productive industrial developer |
| 11/13/2009 | This is the same as abstract state | John Hughes on Erlang and Haskell |
| 11/19/2009 | Sounds like a shopping cart | John Hughes on Erlang and Haskell |
| 11/01/2009 | Why is RPC bad | Tim Bray on Clojure and Erlang |
| 11/03/2009 | Is RPC considered bad because too rigid? | Tim Bray on Clojure and Erlang |
| 11/04/2009 | proven debugging tools | Tim Bray on Clojure and Erlang |
| 11/03/2009 | differences | Tim Bray on Clojure and Erlang |
| 10/20/2009 | Allow nominative type a bad idea | The design process for Zimbu |
| 10/23/2009 | From the discussion, it | Lisps, First-Class Special Forms, Fexprs, The Kernel Programming Language |
| 10/28/2009 | Practical difference between fexpr and macro | Lisps, First-Class Special Forms, Fexprs, The Kernel Programming Language |
| 10/12/2009 | I like recursive map | SequenceL - declarative computation on nonscalars |
| 11/03/2009 | Got it wrong- it is not recursive map | SequenceL - declarative computation on nonscalars |
| 10/11/2009 | Recursive type for yielding function | Recursive type for yielding function |
| 10/12/2009 | Recursive datatype = OK | Recursive type for yielding function |
| 09/04/2009 | What is a re-export, sorry | Proper Library Versioning no longer NP-Complete |
| 08/18/2009 | Pure functions in dodo | functions vs procedures.. |
| 08/09/2009 | Time saver | Objects as Modules in Newspeak |
| 12/22/2009 | Funneled through the entry point of the program | Objects as Modules in Newspeak |
| 12/22/2009 | If it may "potentially" need | Objects as Modules in Newspeak |
| 12/22/2009 | Re: Services vs. Modules | Objects as Modules in Newspeak |
| 07/23/2009 | Font-dependent syntax | Resolved Debates in Syntax Design ? |
| 07/23/2009 | I'm not sure what you mean | Resolved Debates in Syntax Design ? |
| 05/20/2009 | Traits are more flexible | Extension Methods versus Structural Typing of Traits for solving the expression problem |
| 11/18/2010 | object properties that can be altered | Why are objects so unintuitive? |
| 11/18/2010 | Since GUI programming seems | Why are objects so unintuitive? |
| 10/11/2011 | It seems that Java sins by having the same | Subsumption at all costs |
| 02/16/2009 | Java-like language | A Machine-Checked Model for a Java-Like Language, Virtual Machine, and Compiler |
| 11/20/2009 | irregular | Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" |
| 02/20/2009 | Assignment to leftmost term of expression | Two Lightweight DSLs for Rich UI Programming |
| 02/24/2009 | Looks good | Two Lightweight DSLs for Rich UI Programming |
| 11/02/2009 | Modified Erasthotenes | The Genuine Sieve of Eratosthenes |
| 11/02/2009 | Some results for a quick Java implementation | The Genuine Sieve of Eratosthenes |
| 10/02/2008 | Faust | Visual Programming Language Syntax Formalisms |
| 10/01/2008 | Translates to SQL | Microsoft Oslo |
| 09/26/2008 | Capabilities | Security in FP |
| 09/18/2008 | Slug Cola - Losing Big Is Easy | Slug Cola - Losing Big Is Easy |
| 09/18/2008 | A note on recursive definitions | Content Addressable Type Systems |
| 09/18/2008 | Plankalkül | another multi language learning/overview site |
| 09/16/2008 | OpenCL | Twilight of the GPU |
| 09/11/2008 | Re: Refactoring-driven programming | Polymorphic Algebraic Data Type Reconstruction |
| 09/03/2008 | Wind-safe continuation | Unchecked Exceptions can be Strictly More Powerful than Call/CC |
| 09/09/2008 | dynamic-unwind not a solution | Unchecked Exceptions can be Strictly More Powerful than Call/CC |
| 09/03/2008 | Superficial reading | Unchecked Exceptions can be Strictly More Powerful than Call/CC |
| 09/01/2008 | iPhone web apps | Google chrome |
| 09/01/2008 | Tick C | Closures for C |
| 09/02/2008 | Closures in C++0x | Closures for C |
| 09/16/2008 | Implicit context parameter | Closures for C |
| 08/31/2008 | the nested type doesn't use the outer type parameters | Should nested types capture type parameters? |
| 08/29/2008 | Distributed/Parallel language semantics | Distributed/Parallel language semantics |
| 08/29/2008 | MVCC | Distributed/Parallel language semantics |
| 08/31/2008 | The problem I see with MVCC | Distributed/Parallel language semantics |
| 09/02/2008 | overruled version | Distributed/Parallel language semantics |
| 08/28/2008 | Problems fixed over 30 years ago | Is COBOL really understandable after 14 years. |
| 08/24/2008 | Library versioning | Languages ready for API Evolution |
| 08/27/2008 | there is nobody who could call the new setter | Languages ready for API Evolution |
| 08/28/2008 | Library versioning versus application versioning | Languages ready for API Evolution |
| 08/14/2008 | Puzzled | Programming Language Beauty: Look Closure |
| 08/10/2008 | Usefulness of variables | Usefullness of constants |
| 08/11/2008 | Re: No, my language is not pure. | Usefullness of constants |
| 08/10/2008 | Add a counter | Balancing the tension of dev vs. debug? |
| 07/23/2008 | Can't log function usage | FP in D 2.0 |
| 07/23/2008 | Mutable tuples | FP in D 2.0 |
| 07/18/2008 | MISC, by Will Thimblebly, | Multi-Artifact Languages |
| 07/20/2008 | abundance of xml configuration files | Multi-Artifact Languages |
| 07/20/2008 | About XML | Multi-Artifact Languages |
| 07/21/2008 | I did not find the | Multi-Artifact Languages |
| 07/17/2008 | Intuitionistic logic | The Development of Intuitionistic Logic |
| 07/18/2008 | Closure construction | Practical Bits of Making a Compiler for a New Language |
| 07/21/2008 | Closures and CPS | Practical Bits of Making a Compiler for a New Language |
| 07/16/2008 | Local type inference is well | Practical Bits of Making a Compiler for a New Language |
| 07/16/2008 | Yes the proper name is | Practical Bits of Making a Compiler for a New Language |
| 07/23/2008 | you cannot wrap a `try' | Practical Bits of Making a Compiler for a New Language |
| 08/05/2008 | Pick your style | Practical Bits of Making a Compiler for a New Language |
| 07/16/2008 | Connection refused | Catch me if you can: Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml |
| 07/16/2008 | Thanks for the update | Catch me if you can: Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml |
| 07/12/2008 | Mars should be scared | ICFP contest starts tomorrow |
| 07/10/2008 | I like your work, applet suggestions | MISC: An experimental LISP-like language |
| 07/10/2008 | Fixed | MISC: An experimental LISP-like language |
| 06/20/2008 | A proposal for Java 8...? | A Million Actors, Safe Zero-Copy Communication - for Java |
| 06/16/2008 | exception caught: TypeError, Undefined value | Cat Interpreter in JavaScript with Turtle Graphics |
| 06/13/2008 | cost of test and branch | Preemptive concurrency via compiler-inserted checks |
| 06/12/2008 | Multicore and distributed | Functional Programming in the ACM CS Curriculum |
| 06/13/2008 | Re: stop saying java sucks | Functional Programming in the ACM CS Curriculum |
| 06/16/2008 | Almost tail-recursive (append) | Functional Programming in the ACM CS Curriculum |
| 06/16/2008 | Re: Laziness and dataflow | Functional Programming in the ACM CS Curriculum |
| 08/27/2008 | Re: Agenda posted | JVM Language Summit |
| 06/11/2008 | Welcome again. As for XML, | Our Own Little Language |
| 09/09/2008 | equivalent to CPS | Multiple Value Return - Common Lisp vs. Tuples and destructuring |
| 05/27/2008 | Software complexity as means of professional advancement | Software complexity as means of professional advancement |
| 05/28/2008 | I suspect that the paper doesn't say anything | Software complexity as means of professional advancement |
| 05/28/2008 | The Java syntax is not much | Software complexity as means of professional advancement |
| 05/20/2008 | Generic types | Generic types |
| 05/20/2008 | What happens when you | Generic types |
| 05/15/2008 | Hardwired polymorphism | Hardwired polymorphism |
| 05/15/2008 | Thanks, it is indeed | Hardwired polymorphism |
| 05/16/2008 | Good idea | Hardwired polymorphism |
| 05/08/2008 | Logic programming paradigm vs Bob Kowalski | History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future |
| 05/08/2008 | reasoning about objects in the real world, and how they change | History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future |
| 05/04/2008 | Defunctionalisation | A located lambda calculus |
| 05/05/2008 | Lambda into values | A located lambda calculus |
| 04/30/2008 | Women | programming languages and facial hair |
| 05/05/2008 | Oops | programming languages and facial hair |
| 04/25/2008 | Resume using continuations | Resume using continuations |
| 04/25/2008 | Infinite loop | Resume using continuations |
| 04/26/2008 | Yes but in CPS I am not sure | Resume using continuations |
| 04/25/2008 | I believe that I learnt in that order | 2nd Revision of "Thoughts about the Best Introductory Language" |
| 04/26/2008 | I'd like to know what didactic goals | 2nd Revision of "Thoughts about the Best Introductory Language" |
| 04/22/2008 | Un-filter (or merge) lists | Un-filter (or merge) lists |
| 04/22/2008 | Interesting. It did not occur to me | Un-filter (or merge) lists |
| 04/21/2008 | Apply program verification techniques | program verification: the very idea |
| 04/23/2008 | Modern microprocessors are | program verification: the very idea |
| 04/24/2008 | Fuzzy logic | program verification: the very idea |
| 04/20/2008 | I like the idea of | YAJVML: Qi4j |
| 04/16/2008 | Type prototypes for genericity | Fan Programming Language |
| 04/16/2008 | Looks like Fan does have | Fan Programming Language |
| 04/16/2008 | If you are asking if | Fan Programming Language |
| 04/16/2008 | Yes in newLISP you don't | Fan Programming Language |
| 04/15/2008 | I love that it calls itself | more power and less verbiage |
| 04/08/2008 | I am not familiar with FRP. | Simply efficient functional reactivity |
| 04/27/2008 | But is it duck typing? | Static Analysis for Duck Typing |
| 03/28/2008 | This class type | This class type |
| 03/29/2008 | Nice, thanks for the links. | This class type |
| 03/30/2008 | On Binary Methods | This class type |
| 03/28/2008 | Suggestion: Click title to open a new page | too much indentation solution? |
| 04/21/2008 | I was looking at a new | Dependent Types, Generic Programming and Overloading. |
| 04/22/2008 | Dependent values | Dependent Types, Generic Programming and Overloading. |
| 04/22/2008 | I did not implement it. | Dependent Types, Generic Programming and Overloading. |
| 03/21/2008 | Rhope a dataflow-based language | Rhope a dataflow-based language |
| 03/25/2008 | Re: Rhope not Rhode | Rhope a dataflow-based language |
| 03/21/2008 | I guess it depends how you use it | Relational rather than hierarchical OO packaging? |
| 03/21/2008 | b) do something silly like | Relational rather than hierarchical OO packaging? |
| 03/25/2008 | You can do that, albeit | Relational rather than hierarchical OO packaging? |
| 04/24/2008 | GCC nested functions | Higher-Order Programming without Closures? |
| 04/24/2008 | My lambdas have no mutable element | Higher-Order Programming without Closures? |
| 04/04/2008 | Sorry I cannot make sense of | Gilad Bracha: Cutting out Static |
| 04/05/2008 | Polymorphism can hide a capability | Gilad Bracha: Cutting out Static |
| 04/05/2008 | maybe I should just do type | Gilad Bracha: Cutting out Static |
| 09/04/2007 | Can that be extended to non-domain specific lang. | Tagless Staged Interpreters for Simpler Typed Languages |
| 07/26/2007 | iterate | Comprehensions with ‘Order by' and ‘Group by' |
| 07/09/2007 | Why Events Are A Bad Idea (for high-concurrency servers) | Why Events Are A Bad Idea (for high-concurrency servers) |
| 07/09/2007 | What semantic distinction | Why Events Are A Bad Idea (for high-concurrency servers) |
| 07/09/2007 | The paper mentions code | Why Events Are A Bad Idea (for high-concurrency servers) |
| 07/09/2007 | I don't think the syntax | The Evolution Of LINQ And Its Impact On The Design Of C# |
| 07/11/2007 | Re: The benefit of query comprehension syntax | The Evolution Of LINQ And Its Impact On The Design Of C# |
| 07/07/2007 | I wonder if there is a way | Tail call experiment |
| 07/04/2007 | Asynchronous calls and error handling | Asynchronous calls and error handling |
| 07/04/2007 | Reporting error in next forced future | Asynchronous calls and error handling |
| 07/04/2007 | Re: Pipelining of promises | Asynchronous calls and error handling |
| 07/04/2007 | Pipelining of promises in E | Asynchronous calls and error handling |
| 07/04/2007 | Error chaining | Asynchronous calls and error handling |
| 07/05/2007 | A more detailed question | Asynchronous calls and error handling |
| 07/06/2007 | Application-level error handling | Asynchronous calls and error handling |
| 07/05/2007 | Responsibility | Asynchronous calls and error handling |
| 07/06/2007 | Re: erlang supports any process patterns | Asynchronous calls and error handling |
| 07/06/2007 | Separation of context | Asynchronous calls and error handling |
| 04/01/2007 | Minimal concurrency | Type Directed Concurrency |
| 04/20/2008 | Type directed concurrency... | Type Directed Concurrency |
| 03/15/2007 | Avian symbols | Syntax Solicited for Imperative-flavored Concurrent Language with Keywords |
| 03/12/2007 | See Jan Bosch's LayOM for | Implementation Inheritance |
| 03/14/2007 | prevent any further | Implementation Inheritance |
| 03/15/2007 | What about composition | Implementation Inheritance |
| 03/12/2007 | Superfluous parenthesis | How to Evaluate Lambda Expressions |
| 02/11/2007 | I don't see shared state as a Devil | Patrick Logan on Software Transaction Memory |
| 08/28/2008 | name that binds to that continuation | What is a "fully featured closure"? Request for comments. |
| 01/20/2007 | Formal operational semantics | Scheme: Second R6RS draft published |
| 01/11/2007 | Call by push-value | Call by push-value |
| 01/11/2007 | Re: Was this supposed to go | Call by push-value |
| 01/12/2007 | Confusion with tags | Call by push-value |
| 01/12/2007 | Tagged sum, dependant product | Call by push-value |
| 01/15/2007 | CK-machine | Call by push-value |
| 01/10/2007 | More Wadler | Why people don't use functional programming? |
| 02/12/2007 | strong typing | Why people don't use functional programming? |
| 01/08/2007 | Postscript experience | Simon Peyton Jones: Beautiful concurrency |
| 01/08/2007 | Is that what we call the "ST Monad"? | Simon Peyton Jones: Beautiful concurrency |
| 01/09/2007 | Re: STM != ST | Simon Peyton Jones: Beautiful concurrency |
| 01/08/2007 | Post formatting | I want to learn Smalltalk |
| 01/04/2007 | Download for other OS | D 1.0 finally released |
| 06/01/2008 | Channel #ltu | Lambda The Ultimate comes to SecondLife |
| 06/02/2008 | Freenode servers | Lambda The Ultimate comes to SecondLife |
| 01/03/2007 | How many years old | Why numbering should start at 0 |
| 01/02/2007 | sjoerd visscher and Carson | Why numbering should start at 0 |
| 01/04/2007 | Dijkstra words | Why numbering should start at 0 |
| 01/02/2007 | with macros on board | Postfix lambdas |
| 01/03/2007 | Read | Metrics for Programmatic Complexity? |
| 12/29/2006 | AntiObjects | AgentSheets: End-User Programing (and Secret Lisp Success Story!) |
| 12/29/2006 | Not only an approach to design | AgentSheets: End-User Programing (and Secret Lisp Success Story!) |
| 12/31/2006 | Not a novelty | AgentSheets: End-User Programing (and Secret Lisp Success Story!) |
| 01/02/2007 | In regards to the k example, | Question about closures and higher-order functions |
| 03/14/2007 | Success scope | Why do we need finally in try? |
| 03/15/2007 | Errors in the scope guard | Why do we need finally in try? |
| 03/15/2007 | Re: Exceptional Syntax | Why do we need finally in try? |
| 03/15/2007 | open, try... finally close | Why do we need finally in try? |
| 12/14/2006 | Success typing | Practical Type Inference Based on Success Typings |
| 12/21/2006 | Observational Determinism for Concurrent Program Security | Concurrency and dominators |
| 12/13/2006 | Decent static analysis tools | Java Open Review Project |
| 12/14/2006 | Unknown agent gets hold of hazardous item | Java Open Review Project |
| 12/11/2006 | Change the list? | Optimal map API |
| 12/11/2006 | "Community extensible" | YubNub for Programming Language Research |
| 12/11/2006 | PLRE link | YubNub for Programming Language Research |
| 12/12/2006 | No need to apologize | YubNub for Programming Language Research |
| 12/10/2006 | Continuations and freeing the stack | Continuations and freeing the stack |
| 12/07/2006 | eskimo: experimenting with skeletons in the shared address model. | eskimo: experimenting with skeletons in the shared address model. |
| 12/07/2006 | Date format in the forum | Date format in the forum |
| 12/07/2006 | Re: Good point | Date format in the forum |
| 12/05/2006 | Screw the semantics | C++ has indeed become too "expert friendly" |
| 12/05/2006 | I don't think you will win | C++ has indeed become too "expert friendly" |
| 11/30/2006 | How to formulate a type | Mechanized Metatheory Model-Checking |
| 11/30/2006 | Theory of programming languages | The Future of LtU |
| 11/30/2006 | to discuss PLs informed by theory | The Future of LtU |
| 11/24/2006 | blazer | Programming Language Research Search Engine |
| 11/17/2006 | Combination | Abstractly typed languages |
| 11/17/2006 | How about relying on depth for ordering | Abstractly typed languages |
| 11/10/2006 | Dodo | Dodo |
| 11/11/2006 | Parser | Dodo |
| 11/12/2006 | Thank you for the | Dodo |
| 11/13/2006 | Unfortunately I won't be | Dodo |
| 11/15/2006 | Well I take it for granted | Dodo |
| 07/14/2007 | Re: dangling else | Dodo |
| 07/20/2008 | Found a parser | Dodo |
| 11/11/2006 | Mixins | Dodo |
| 11/13/2006 | Dodo qualifiers | Dodo |
| 11/13/2006 | I hate loops | Dodo |
| 11/14/2006 | Map, filter, fold | Dodo |
| 11/14/2006 | Not concatenation | Dodo |
| 11/14/2006 | I am not sure why you use | Dodo |
| 11/17/2006 | Continuations | Dodo |
| 11/20/2006 | Continuation passing style | Dodo |
| 11/22/2006 | Programming with continuations | Dodo |
| 11/22/2006 | call/cc versus CPS | Dodo |
| 11/19/2006 | Algebraic data type | Dodo |
| 01/04/2007 | Capabilities vs I/O | Dodo |
| 07/13/2007 | Associative functions and variable number of arguments | Dodo |
| 07/14/2007 | That settles it then. Thank | Dodo |
| 07/14/2007 | Associativity | Dodo |
| 07/15/2007 | HaskellWiki | Dodo |
| 07/16/2007 | In short, yes - it loses far | Dodo |
| 07/16/2007 | Use a different initialiser | Dodo |
| 07/17/2007 | Syntax concerns | Dodo |
| 07/18/2007 | Yes. It is more like Java | Dodo |
| 05/14/2008 | Type conversion and variance | Dodo |
| 07/14/2008 | Dodo code samples | Dodo |
| 07/21/2008 | Clever use of semantics | muSE - an embeddable scheme dialect |
| 12/06/2006 | Desirable language properties | unchecked exceptions are like runtime type checking? |
| 12/07/2006 | Parametric polymorphism vs generic types | unchecked exceptions are like runtime type checking? |
| 12/08/2006 | Method overloading | unchecked exceptions are like runtime type checking? |
| 12/06/2006 | dynamic input | unchecked exceptions are like runtime type checking? |
| 12/06/2006 | Not only user input | unchecked exceptions are like runtime type checking? |
| 04/13/2008 | Update about newLISP | Lisp Lovers, how would you fix Lisp or bring it up to date? |
| 04/13/2008 | While we are on syntax | Lisp Lovers, how would you fix Lisp or bring it up to date? |
| 04/14/2008 | R6RS does seem to address | Lisp Lovers, how would you fix Lisp or bring it up to date? |
| 04/28/2008 | Simple resumption is no enough | Common Lisp Exception Handling |
| 10/07/2011 | Lenses... | The Weird World of Bi-Directional Programming |
| 01/18/2007 | Embedded | What do you believe about Programming Languages (that you can't prove (yet))? |
| 01/19/2007 | Intellectual masturbation devices | What do you believe about Programming Languages (that you can't prove (yet))? |
| 04/22/2008 | Syntactic sugar | Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) |
| 07/15/2008 | Similar to a CPS notation? | Let's make a programming language! |
| 07/16/2008 | I did not write any paper | Let's make a programming language! |
| 09/09/2008 | we've all agreed | Let's make a programming language! |
| 07/23/2008 | Both equal as lambda expressions | Exploiting parser ambiguity |
| 04/12/2008 | Anyone has been following newLISP? | newLisp: A better Lisp/Scheme Fusion... |
| 11/18/2006 | Java sandwich | Understanding continuations |
| 11/18/2006 | Not quite right... | Understanding continuations |
| 11/20/2006 | Re: Continuations don't repeat | Understanding continuations |
| 11/21/2006 | Is it just me or is it | Understanding continuations |
| 11/22/2006 | Scheme call/cc | Understanding continuations |
| 11/22/2006 | Re: Is it just me or is it | Understanding continuations |
| 11/22/2006 | Add a "throw-away" continuation | Understanding continuations |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |