Posts By: dbfaken
| Date | Post | Topic |
| 07/14/2010 | Foundation first | App Inventor: Programming for non-programmers... again |
| 06/18/2010 | Possible change | More iPhone PL lockdown... Goodbye Scratch! |
| 10/17/2008 | "Lack of Static Type-Checking" slide (#19) | Two stories |
| 02/27/2008 | not previously discussed? | Foundations for Structured Programming with GADTs |
| 01/23/2008 | Functional reflection | How useful is reflection, anyway? |
| 01/24/2008 | Scheme <-> Haskell | The Design and Implementation of Typed Scheme |
| 01/24/2008 | Scheme in liskell | The Design and Implementation of Typed Scheme |
| 11/28/2007 | "We don't need no stinking modules!" | A survey and discussion of taming effects |
| 10/19/2007 | ErlOCaml | ErlOCaml |
| 10/19/2007 | Artificial Complexity of current programming systems | Learning Programming with Erlang |
| 10/03/2007 | Can we get this in R6RS? | OMeta: an Object-Oriented Language for Pattern Matching |
| 09/20/2007 | online version | Decayed Memoization |
| 03/12/2007 | "Beautiful Debugging" | Beautiful Code: Leading Programmers Explain How They Think |
| 03/08/2007 | Blending static and dynamic typing | Blending static and dynamic typing |
| 03/07/2007 | Metalua | Metalua |
| 02/19/2007 | perspective | Lisp webcomic |
| 02/05/2007 | Pseudotime and concurrency | Steps Toward The Reinvention of Programming |
| 01/23/2007 | There has been some | Total Functional Programming |
| 01/24/2007 | Yes, but immediately after | Total Functional Programming |
| 01/25/2007 | Note that, mathematically, | Total Functional Programming |
| 02/06/2007 | Games with FP | Why people don't use functional programming? |
| 01/09/2007 | Interlanguage Migration: From Scripts to Programs | Interlanguage Migration: From Scripts to Programs |
| 01/02/2007 | is there a difference from | Lambda The Ultimate comes to SecondLife |
| 12/22/2006 | brevity | A Usability question: Too much typing? |
| 12/21/2006 | Math-style notation | The Role of Composition in Computer Programming |
| 12/06/2006 | "Folding"/FP traversal over trees | "Folding"/FP traversal over trees |
| 12/06/2006 | Phoenix V2 | "Folding"/FP traversal over trees |
| 12/06/2006 | Zippers in C++? | "Folding"/FP traversal over trees |
| 12/06/2006 | separation of control, structural recursion vs. loops vs. HOFs | "Folding"/FP traversal over trees |
| 12/07/2006 | mapReduce | "Folding"/FP traversal over trees |
| 11/19/2006 | example? | OOP language extension |
| 11/15/2006 | Haskell -> Javascript converter, kind of | Haskell -> Javascript converter, kind of |
| 11/19/2006 | Emergent "design" | Functional programming and software engineering |
| 10/26/2006 | Growing interest in Smalltalk? | Growing interest in Smalltalk? |
| 10/27/2006 | old smalltalkers | Growing interest in Smalltalk? |
| 10/27/2006 | value-add | Growing interest in Smalltalk? |
| 10/16/2006 | No analysis necessary? | Good Ideas, Through the Looking Glass |
| 09/26/2006 | ICFP proceedings / Scheme workshop | ICFP proceedings / Scheme workshop |
| 09/12/2006 | prototype version? | Decomposing lambda - the Kernel language |
| 05/31/2006 | logic programming | The Weird World of Bi-Directional Programming |
| 06/08/2006 | type inference in smalltalk | Buried Treasure - No Fluff Just Stuff |
| 06/01/2006 | ML and Scheme .. and Lua | Buried Treasure - No Fluff Just Stuff |
| 06/08/2006 | on the contrary.. | Buried Treasure - No Fluff Just Stuff |
| 05/23/2006 | a href="..." | Orca chosen as default Syllable scripting language |
| 05/15/2006 | Perhaps we should have | The Problem With Threads |
| 05/15/2006 | Null references | Non-null references? |
| 05/10/2006 | design patterns | Open data types and open functions |
| 05/11/2006 | "problem"s | Open data types and open functions |
| 05/02/2006 | Importance of the type-system | A Language-Based Approach to Unifying Events and Threads |
| 04/20/2006 | "Down with Lambda-Lifting" | "Down with Lambda-Lifting" |
| 04/06/2006 | FP support in Python | Python 2.5a1 released |
| 03/29/2006 | constant folding for typechecking | Extremely static language? |
| 03/29/2006 | Contracts as typechecking | Extremely static language? |
| 03/08/2006 | not native Scheme | ACL2 in DrScheme |
| 03/02/2006 | Am I missing something... | The Theory of Classification - A Course on OO Type Systems |
| 02/18/2006 | Types as an organizing principle | Gilad Is Right |
| 02/18/2006 | Universal types | Gilad Is Right |
| 02/02/2006 | "Lenient" evaluation | The Next Mainstream Programming Languages |
| 02/06/2006 | "magic stack GC" versus live-object GC | The Next Mainstream Programming Languages |
| 02/03/2006 | 'as' / types <-> values | Packaging Data And Methods |
| 02/07/2006 | more than one type, without types | Packaging Data And Methods |
| 02/03/2006 | publishing ST changesets | Packaging Data And Methods |
| 01/20/2006 | "Equal Rights for Functional Objects" implemented? | Referentially Transparent Scheme |
| 01/30/2006 | free copy available? | Lisp is sin |
| 01/13/2006 | multiple-CPU support | The new old or The "Return" to Concurrency |
| 12/30/2005 | FP-for-multiprocessor references? | Guy Steele on Language Design |
| 01/02/2006 | clarification | Guy Steele on Language Design |
| 03/21/2006 | Referential Transparency | Linear types for aliased resources |
| 10/06/2005 | concat w/fold-right | Scoping based on control flow graph |
| 10/06/2005 | or, another option.. | Scoping based on control flow graph |
| 02/08/2006 | Any recent developments? | Scoping based on control flow graph |
| 10/05/2005 | MrFlow | Static type inference & late binding? |
| 10/04/2005 | function-call space overhead | "The Anatomy of a Loop" |
| 09/28/2005 | OpenDylan | ICFP Programming Contest 2005 Results |
| 09/26/2005 | note also.. | Continuations library for Java |
| 08/31/2005 | Other windowing bindings | Yearning for a practical scheme |
| 08/30/2005 | Is it just me, or are the Lis | Tim Bray on Ruby |
| 08/16/2005 | Large imperative code --> functional | Large imperative code --> functional |
| 08/16/2005 | more state components | Large imperative code --> functional |
| 08/16/2005 | display lists vs. "primitives" | Large imperative code --> functional |
| 08/22/2005 | examples? | Large imperative code --> functional |
| 08/16/2005 | 'prev in thread', 'next in thread', list of follow-ups | Forum usability |
| 08/12/2005 | Invariants/Contracts vs. types | Invariants/Contracts vs. types |
| 08/10/2005 | "Higher-Order" intermediate language? | Concatenative Language Kont |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |