Posts By: falcon
| Date | Post | Topic |
| 10/07/2009 | similar talk on infoq | Interview - Rich Hickey: Inside Clojure |
| 08/02/2009 | minor nitpick | O'Caml Structure Editor Toolkit |
| 05/20/2009 | MSDN docs | F# tip toes into the mainstream? |
| 04/18/2009 | 2009 Lang.NET | 2009 Lang.NET |
| 04/17/2009 | How to ensure safety when millions of users inject scripts into a running system? | How to ensure safety when millions of users inject scripts into a running system? |
| 04/18/2009 | Lang.NET 2009 | How to ensure safety when millions of users inject scripts into a running system? |
| 03/13/2009 | Petzold's CODE is also fantastic | A Tiny Computer |
| 01/11/2009 | Kodu video game | Kodu video game |
| 01/06/2009 | Automatically Generating the Back End of a Compiler Using Declarative Machine Descriptions | Automatically Generating the Back End of a Compiler Using Declarative Machine Descriptions |
| 12/28/2008 | clojure and javafx | 2008 In Review - What Happened with Programming Languages? |
| 12/04/2008 | Live programming environments | Live programming environments |
| 12/04/2008 | Thank's for the background | Live programming environments |
| 11/14/2008 | Microsoft PDC "Language" Talks | Microsoft PDC "Language" Talks |
| 11/17/2008 | contracts vs types | Microsoft PDC "Language" Talks |
| 10/28/2008 | behind pay wall | Declarative layout and/or UI languages? |
| 10/29/2008 | Thanks! | Declarative layout and/or UI languages? |
| 09/05/2008 | Fascinating subject! | Stock exchanges: language design aspect |
| 09/07/2008 | Language as a user interface | Stock exchanges: language design aspect |
| 07/23/2008 | Nitro (a recent PhD dissertation) | Systems programming in languages other than C? |
| 06/18/2008 | Wrong forum | Forex trading with functional programming |
| 06/02/2008 | what is the difference between contracts and types? | Types Considered Harmful |
| 05/13/2008 | on the fly code changes | HOPL-III: A History of Erlang |
| 02/06/2008 | time as a first class value? | time as a first class value? |
| 02/06/2008 | great links | time as a first class value? |
| 01/09/2008 | lambdas? | Prediction for 2008 |
| 11/12/2007 | the link | CSLI lecture notes made freely available |
| 10/21/2007 | Microsoft and PLT | Microsoft and PLT |
| 10/19/2007 | databases and PLT | The End of an Architectural Era (It's Time for a Complete Rewrite) |
| 10/19/2007 | Forth? | The End of an Architectural Era (It's Time for a Complete Rewrite) |
| 10/18/2007 | sugar | grammars as a shared executable specification for language processing tools |
| 09/17/2007 | make it typed...for LtU | On creating an ad hoc assembly interpreter to aid studying |
| 09/16/2007 | and a book... | Online video course on monads |
| 09/13/2007 | Citrus | DivaScheme |
| 09/06/2007 | is it functional? | Q: Modularizing SQL? |
| 09/03/2007 | interesting comment on the linked page | Rob Pike on Concurrency and Message passing in Newsqueak |
| 08/24/2007 | scala type inference | An Accidental Simula User, Luca Cardelli |
| 08/09/2007 | Meta-Compilation of Language Abstractions | Guaranteed Optimization |
| 06/12/2007 | zippers and previous mentions | Derivatives of Regular Expressions |
| 05/09/2007 | massive confusion | F3 is now openjfx |
| 06/14/2007 | dynamic! | Dynamic interactivity in Mathematica 6 |
| 04/16/2007 | Easylanguage: domain specific language for trading stocks | Easylanguage: domain specific language for trading stocks |
| 12/26/2007 | Another stock-market DSL | Easylanguage: domain specific language for trading stocks |
| 03/13/2007 | title change? | Intel Research PL Seminar Series |
| 02/27/2007 | fold and map | MapReduce |
| 02/28/2007 | interactive help | MapReduce |
| 02/28/2007 | no messenger access most of the day | MapReduce |
| 02/23/2007 | distributed processes? | Actors that Unify Threads and Events |
| 02/22/2007 | guy steele's keynote | DanFest 2004 videos online |
| 02/11/2007 | Still pretty active | Reactive Programming |
| 02/15/2007 | is it? | Reactive Programming |
| 02/15/2007 | how does sql solve it? | Reactive Programming |
| 02/16/2007 | thanks | Reactive Programming |
| 02/07/2007 | monadic operations? | Open Quark (CAL language) available under BSD-style license |
| 02/01/2007 | visual programming | brainstorming dataflow language visualizations |
| 01/24/2007 | dataflow | F3: New statically typed scripting language for java |
| 01/14/2007 | very good | Berkeley Webcast Courses |
| 01/06/2007 | interesting book | Simon Peyton Jones: Beautiful concurrency |
| 01/07/2007 | motivation for monads? | Simon Peyton Jones: Beautiful concurrency |
| 01/03/2007 | how about IRC? | Lambda The Ultimate comes to SecondLife |
| 12/26/2006 | Genetic Algorithms vs Genetic Programming? | GAs v. GPs |
| 12/14/2006 | proving properties in java? | Java Open Review Project |
| 12/08/2006 | On the Unusual Effectiveness of Logic in Computer Science | Natural Deduction Reading for Beginners |
| 12/01/2006 | explanation? | Stephen Wolfram forecasts the future |
| 11/30/2006 | lambda math | Cheat Sheet |
| 11/17/2006 | good question | F3 - Functional GUI Development for Java |
| 12/05/2006 | so... | F3 - Functional GUI Development for Java |
| 10/27/2006 | not in stock? | Practical OCaml |
| 10/13/2006 | valuable docs | Flapjax - Functional Reactive Ajax |
| 09/30/2006 | Fjavac? | Which Java compiler for a student/research project? |
| 09/21/2006 | book link | Lectures on the Curry-Howard Isomorphism |
| 09/21/2006 | some more relevant discussion | PeakStream - a multi-core stream processing model |
| 08/29/2006 | correct link: | Joe Armstrong's Blog |
| 08/23/2006 | generating interpreters, IDEs, etc., from simple specifications? | generating interpreters, IDEs, etc., from simple specifications? |
| 08/23/2006 | follow up question | generating interpreters, IDEs, etc., from simple specifications? |
| 08/23/2006 | Meta Programming System | generating interpreters, IDEs, etc., from simple specifications? |
| 08/13/2006 | some hints | Lambda Calculus In Java |
| 04/11/2007 | Updated | Revisiting Google's MapReduce |
| 07/28/2006 | congrats! | LtU turns six! |
| 06/30/2006 | Introduction to Concurrent Programming with Stackless Python | Introduction to Concurrent Programming with Stackless Python |
| 11/03/2006 | FRP at Lambda Calculus level? | Introduction to Concurrent Programming with Stackless Python |
| 06/10/2006 | visual programming | Human Factors Research On Programming Language Syntax |
| 06/05/2006 | coincidence! | Scrap your Nameplate |
| 06/01/2006 | triggers or MVC? | The Weird World of Bi-Directional Programming |
| 05/29/2006 | I second the Hlist papers | First Class Values, Types as values within a Programming Language |
| 05/26/2006 | Great references! | Constraint Programming |
| 05/27/2006 | incompleteness of propagation? | Constraint Programming |
| 05/14/2006 | ruby vs python | ruby vs python |
| 05/16/2006 | DSL? | ruby vs python |
| 05/01/2006 | how can PLT experts help improve the web? | how can PLT experts help improve the web? |
| 05/04/2006 | Codd | What do you believe about Programming Languages (that you can't prove (yet))? |
| 04/13/2006 | yampa and spread sheets? | Functional Programming Has Reached The Masses; It's Called Visual Basic |
| 04/03/2006 | release early, release often? | Disruptive PLT, 4 years later |
| 03/31/2006 | not easy to use | Uniform Proofs as a Foundation for Logic Programming |
| 04/02/2006 | if you build it they will come | Uniform Proofs as a Foundation for Logic Programming |
| 03/27/2006 | logic/constraint/relational programming? | logic/constraint/relational programming? |
| 10/23/2006 | FRP internals | I "got" imperative programming throught data binding |
| 10/25/2006 | forward chaining different from FRP? | I "got" imperative programming throught data binding |
| 10/25/2006 | docs? | I "got" imperative programming throught data binding |
| 03/15/2006 | Programming: 50, 100 years from now | Programming: 50, 100 years from now |
| 03/16/2006 | and future PLT research? | Programming: 50, 100 years from now |
| 03/22/2006 | partly interesting | Programming: 50, 100 years from now |
| 12/06/2006 | i'd like to revive this question... | Virtual Machines, Language Runtimes, and the Future of Objective C |
| 12/29/2006 | "runtime" | Virtual Machines, Language Runtimes, and the Future of Objective C |
| 03/07/2006 | Strongly typed quantities in Java | Strongly typed quantities in Java |
| 03/07/2006 | yikes, code between less than and greater than sign lost! | Strongly typed quantities in Java |
| 03/06/2006 | AQuery | Life and Times of Anders Hejlsberg |
| 02/14/2006 | very cool | Haskell video lectures online |
| 02/15/2006 | Berkeley's online courses | Haskell video lectures online |
| 02/13/2006 | intervals and monte carlo calculations? | Interval Datatype |
| 02/03/2006 | must...learn....haskell.... | Combinators for contracts |
| 02/14/2006 | great | Combinators for contracts |
| 02/03/2006 | A 'pop culture' book that ties all this together? | Lambda the Ultimate Set Comprehension |
| 02/03/2006 | only last 100 years? | Lambda the Ultimate Set Comprehension |
| 05/17/2006 | Comprehensive Mathematics for Computer Scientists | Lambda the Ultimate Set Comprehension |
| 01/23/2006 | groupBy in list comprehension? | Wadler's Blog: Penn, PADL, POPL, and Plan-X |
| 01/18/2006 | generic programming for java coders | Spring School on Datatype-Generic Programming 2006 |
| 01/18/2006 | polymorphic vs. polytypic | Spring School on Datatype-Generic Programming 2006 |
| 01/20/2006 | thanks | Spring School on Datatype-Generic Programming 2006 |
| 01/12/2006 | Functional libraries for Java | Functional libraries for Java |
| 12/30/2005 | monitors, coroutines and 'real threads' | Guy Steele on Language Design |
| 12/29/2005 | GPGPU | Accelerator: simplified programming of graphics processing units for general-purpose uses via data-parallelism |
| 12/30/2005 | GPU trend | Accelerator: simplified programming of graphics processing units for general-purpose uses via data-parallelism |
| 01/03/2006 | instruction set theory? | Accelerator: simplified programming of graphics processing units for general-purpose uses via data-parallelism |
| 12/01/2005 | link | New languages for OS level programming? |
| 11/11/2005 | Algebra Of Programming (Bird, De Moor) | Algebra Of Programming (Bird, De Moor) |
| 11/13/2005 | abstract? | Algebra Of Programming (Bird, De Moor) |
| 11/14/2005 | Comprehending Queries! | Algebra Of Programming (Bird, De Moor) |
| 10/24/2005 | lists important because of proof by induction? | Why Lists? |
| 10/29/2005 | lisp lists == python lists?? | Why Lists? |
| 10/24/2005 | Incremental algorithm help | Incremental algorithm help |
| 10/25/2005 | thanks | Incremental algorithm help |
| 10/26/2005 | thanks for the great reference! | Incremental algorithm help |
| 10/20/2005 | Bruce Tate: Technologies that may challenge Java | Bruce Tate: Technologies that may challenge Java |
| 10/20/2005 | used for nano-threads? | Bruce Tate: Technologies that may challenge Java |
| 10/19/2005 | my thoughts exactly | Best default sequence? |
| 10/14/2005 | similar to CTM? | New GUI paradigm |
| 09/17/2005 | int Chomp(this string s) | Nemerle and C# 3.0 |
| 09/14/2005 | looks interesting to me | Visual Basic and LINQ |
| 12/03/2005 | release cancelled? | Twenty-First Century Compilers |
| 09/07/2005 | monads? | Persistent functional databases |
| 09/09/2005 | Thesis Proposal Nitro: A low-level functional programming langua | System programming using FP |
| 08/30/2005 | wiki type | A section on Books |
| 08/16/2005 | slashcode? | Forum usability |
| 08/20/2005 | another one | Forum usability |
| 08/12/2005 | GUI PL | Syntax Design |
| 08/12/2005 | low level vs. high level primitives | Syntax Design |
| 08/08/2005 | Simpler representation of operational semantics? | Simpler representation of operational semantics? |
| 08/09/2005 | google search! | Simpler representation of operational semantics? |
| 08/16/2005 | action semantics | Simpler representation of operational semantics? |
| 08/06/2005 | IDEs and average programmers | Objective scientific proof of OOP's validity? Don't need no stinkun' proof. |
| 08/02/2005 | futures? | The Simplicity of Concurrency |
| 07/31/2005 | relational language | An interview with Chris Date |
| 07/31/2005 | comprehending queries | An interview with Chris Date |
| 07/28/2005 | new york area? | CTM tour during the week of Nov. 7 |
| 07/28/2005 | congrats and a suggestion | Happy Birthday, dear Lambda |
| 07/29/2005 | newbie... | Happy Birthday, dear Lambda |
| 07/09/2005 | I downloaded Alice just last night | CTM |
| 07/09/2005 | good work! | CTM |
| 07/10/2005 | ocaml abilities | CTM |
| 07/10/2005 | Oz | CTM |
| 07/10/2005 | jocaml! | CTM |
| 07/11/2005 | region allocation! | CTM |
| 06/30/2005 | "typed" files OR xml OR meta information for delim. files. | "typed" files OR xml OR meta information for delim. files. |
| 07/04/2005 | perhaps a general format | "typed" files OR xml OR meta information for delim. files. |
| 06/18/2005 | next version | Embedded Languages in Java |
| 06/08/2005 | lecture | Congrats in order |
| 06/07/2005 | Data locality and data structures | Data locality and data structures |
| 06/07/2005 | I would have agreed with you | Data locality and data structures |
| 06/14/2005 | update | Data locality and data structures |
| 06/15/2005 | online book | Basic(er) Simple(r) Type Theory(?) |
| 05/27/2005 | Pure bigraphs: structure and dynamics (by Robin Milner) | Pure bigraphs: structure and dynamics (by Robin Milner) |
| 05/27/2005 | posted multiple times? | Pure bigraphs: structure and dynamics (by Robin Milner) |
| 05/26/2005 | Pure bigraphs: structure and dynamics (by Robin Milner) | Pure bigraphs: structure and dynamics (by Robin Milner) |
| 05/26/2005 | Pure bigraphs: structure and dynamics (by Robin Milner) | Pure bigraphs: structure and dynamics (by Robin Milner) |
| 05/26/2005 | very interesting! | Context Free: Grammars as Graphics |
| 05/20/2005 | Generic/Gimple vs. LLVM | LLVM 1.5 has been released! |
| 05/20/2005 | re: Generic/Gimple vs. LLVM | LLVM 1.5 has been released! |
| 05/21/2005 | gcc ssa more general than C | LLVM 1.5 has been released! |
| 05/16/2005 | Resources related to logic? | Resources related to logic? |
| 05/16/2005 | found another one | Resources related to logic? |
| 05/13/2005 | Advanced Types in Qi | Advanced Types in Qi |
| 05/10/2005 | just in time | More sites like Lambda |
| 05/05/2005 | wish list! | Let's make a programming language! |
| 05/06/2005 | why not c+? | Let's make a programming language! |
| 05/06/2005 | fig.org/gord doesn't seem to work | Let's make a programming language! |
| 04/26/2005 | Expressivity of lisp/scheme but speed of assembly/C/C++ | Expressivity of lisp/scheme but speed of assembly/C/C++ |
| 04/26/2005 | slow implementations | Expressivity of lisp/scheme but speed of assembly/C/C++ |
| 04/26/2005 | As Fast As C | Expressivity of lisp/scheme but speed of assembly/C/C++ |
| 04/26/2005 | importance of performance | Expressivity of lisp/scheme but speed of assembly/C/C++ |
| 04/26/2005 | slightly different thread | Expressivity of lisp/scheme but speed of assembly/C/C++ |
| 05/03/2005 | interesting | Expressivity of lisp/scheme but speed of assembly/C/C++ |
| 05/03/2005 | syntax | Expressivity of lisp/scheme but speed of assembly/C/C++ |
| 04/19/2005 | books and more books | How much better is the second edition of "Essentials of Programming Languages"? |
| 04/18/2005 | abuse | How widespread are inhouse DSLs? |
| 04/14/2005 | great paper! | Turing Extender Language (TXL) |
| 04/04/2005 | Mechanics of designing and implementing a language | Mechanics of designing and implementing a language |
| 04/05/2005 | wow, I ordered that book last week | Mechanics of designing and implementing a language |
| 04/05/2005 | Essentials of Programming Languages | Mechanics of designing and implementing a language |
| 04/05/2005 | interesting papers | Mechanics of designing and implementing a language |
| 04/05/2005 | full circle | Mechanics of designing and implementing a language |
| 05/02/2005 | map function | Mechanics of designing and implementing a language |
| 04/06/2005 | great suggestions | Mechanics of designing and implementing a language |
| 04/06/2005 | tutorial D | Mechanics of designing and implementing a language |
| 04/06/2005 | documentation | Mechanics of designing and implementing a language |
| 04/06/2005 | parsing language | Mechanics of designing and implementing a language |
| 04/07/2005 | here's a simple question about scheme's extensibility | Mechanics of designing and implementing a language |
| 04/08/2005 | wow, so many LISPs and SCHEMEs | Mechanics of designing and implementing a language |
| 04/08/2005 | great pointer! | Mechanics of designing and implementing a language |
| 04/18/2005 | most basic ingredients for a language | Mechanics of designing and implementing a language |
| 04/18/2005 | CTM suggestion | Mechanics of designing and implementing a language |
| 10/03/2005 | +/ same as fold(+,0) ? | The fate of reduce() in Python 3000 |
| 10/21/2005 | interesting point, graphic languages? | the Chinese natual language |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |