Posts By: e
Date | Post | Topic |
03/23/2012 | Shared vocabulary elusive, declarative languages | How to Generate (Hard) Real-Time Code from Declarative Programming Languages? |
03/23/2012 | Statechart compiler | How to Generate (Hard) Real-Time Code from Declarative Programming Languages? |
08/27/2010 | Compiler Design | Theoretical Computer Science StackExchange Beta now open |
02/22/2010 | can assume garbage collection | A few billion lines of code later: using static analysis to find bugs in the real world |
12/04/2009 | Re: don't believe 'semantic TCO' has ever been implemented | Why Object-Oriented Languages Need Tail Calls |
11/18/2009 | re Lisp Machine reboot | Go or Unladen Swallow? |
10/28/2009 | Massively Parallel Real Time | Seeking broad survey of wide range of concurrency idioms |
08/05/2009 | Hierarchical StateCharts | seeking help: approaches to model based development? |
08/08/2009 | not good for implementation? | seeking help: approaches to model based development? |
06/30/2009 | Lua Alien | Modern dynamic linking infrastructure for PLT |
05/27/2009 | Gems | Forth Dimensions |
03/12/2009 | Forth CREATE DOES> | Linear Logic and Permutation Stacks--The Forth Shall Be First |
01/21/2009 | multiple return values | Introducing Dawn - yet another new language |
01/13/2009 | Decimal | What Are The Resolved Debates in General Purpose Language Design? |
10/23/2009 | Lazy Analysis | The Genuine Sieve of Eratosthenes |
10/24/2009 | Where are the strict non-imperative languages? | The Genuine Sieve of Eratosthenes |
10/25/2009 | Strict version of Sieve of Eratosthenes | The Genuine Sieve of Eratosthenes |
11/06/2008 | not overwhelmingly complicated | A tutorial on implemeting type inference? |
07/31/2008 | future events? | Beyond FRP: physics-inspired programming abstractions? |
06/02/2008 | CAS, Swarm, Artificial Life | Computational Thinking |
03/10/2008 | makeheaders | C - header files |
03/10/2008 | bias | Excel as a different programming paradigm |
02/28/2008 | essentially eliminating "null pointer exception" errors | Is null needed? |
02/26/2008 | F# | Chris Okasaki on Indentation Syntax |
01/24/2008 | Termite? | Embedded concurrent FPish languages? |
11/20/2007 | now with inheritance! | Examples of large-scale functional language projects |
09/21/2007 | hard real time | Uniqueness Types Instead STM |
05/02/2007 | Paracell | Is Integer wrapping an exceptional condition? |
04/03/2007 | Wait Free Synchronization | Good parallel algorithms books? |
02/20/2007 | frink | Dimensional analysis typing |
02/22/2007 | VisualState semantics and implementation | Automata-Based Programming |
01/26/2009 | Push based scheduling | Functional anti-memoization |
05/26/2005 | see Shivers's dissertation &c | Data flow analysis on functional Language |
05/05/2005 | What a great opportunity | Why do they program in C++? |
01/27/2005 | Re: Lisp Machine | Langauges and Hardware... |
06/24/2008 | refs | Getting Started |
LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |