Posts By: Carlos Scheidegger
Date | Post | Topic |
04/23/2012 | Expresssion scope | Why and How People Use R |
04/23/2012 | A bit like macros, exactly | Why and How People Use R |
02/17/2011 | I don't know | Extending Syntax from Within a Language |
01/11/2011 | Sorry if this appears blunt, but... | Scala Team Wins ERC Grant |
01/11/2011 | Intel is about to ship tens | Scala Team Wins ERC Grant |
12/02/2010 | I won't be snarky | Haskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit |
09/21/2010 | Sorry to disappoint, but you're wrong, off-topic, | The Halting Problem on Turing Machines |
09/15/2010 | Reify GADT constructions? | GADTs in a dynamically type-checked language? |
04/15/2010 | The kids are alright | More iPhone PL lockdown... Goodbye Scratch! |
04/09/2010 | Yeah, but what is an "interpreter", really? | iPhone PL lockdown |
04/13/2010 | Checking vs finding... | Specifying Solvers? |
02/03/2010 | HipHop: Facebook runs compiled PHP on its servers | HipHop: Facebook runs compiled PHP on its servers |
01/16/2010 | Steven Reiss' S6 | Discoverability, Language Features, and the First Step Toward Composition |
01/04/2010 | Things are changing | The AI Systems of Left 4 Dead |
09/01/2009 | Apple "adds closures to C" in Mac OS X 10.6 | Apple "adds closures to C" in Mac OS X 10.6 |
10/06/2008 | call/cc, STM | Worlds: Controlling the Scope of Side Effects |
09/11/2008 | [admin] Slight typo on link | Coinductive proof principles for stochastic processes |
12/17/2007 | For example, a GUI library | CUFP write-up |
12/04/2007 | n-categories? | Parametric datatype-genericity |
03/20/2007 | John Backus has passed away | John Backus has passed away |
03/21/2007 | Thanks for the fixes! | John Backus has passed away |
02/28/2007 | Worse is Better | Ed Felten: Why Understanding Programs is Hard |
02/20/2007 | Free theorems? | Automata-Based Programming |
08/10/2006 | The undefinedness idiom | Revisiting Google's MapReduce |
06/19/2006 | Print routine | First Class Values, Types as values within a Programming Language |
05/08/2009 | Multideveloper apps are harder to debug | ruby vs python |
01/21/2006 | I disagree | Lisp is sin |
10/30/2005 | Because they're the most natural? | Why Lists? |
04/30/2005 | Offtopic, but.. | The Fortress Language Spec v0.618 |
12/23/2004 | Business world and short-sightedness | Reading SICP for fun and profit |
12/26/2004 | N groups | Reading SICP for fun and profit |
12/20/2004 | Condolences | Absence |
12/16/2004 | From the paper | Killer Props for Computer Scientist! |
11/18/2004 | Does this predictability argu | Switch statement design |
10/21/2004 | OpenGL: CM-in-one-chip | MapReduce - functional programming in the REAL World |
09/25/2004 | Thank god I'm not the only one | The Language of Biology |
09/24/2004 | Cg and NVIDIA | Sh |
08/28/2004 | Haskell to the rescue? | Multidimensional arrays |
08/16/2004 | QuickCheck | New Paul Graham thing... |
08/17/2004 | On reimplementing the checkee as a checker | New Paul Graham thing... |
09/27/2004 | But we've had Monads for a ve | Explaining monads |
04/22/2004 | Re: VC++ Security Checks at Runtime and Compile Time | VC++ Security Checks at Runtime and Compile Time |
04/15/2004 | Re: Poplog | Poplog |
04/16/2004 | Re: Poplog | Poplog |
04/18/2004 | Re: Poplog | Poplog |
01/03/2004 | Re: Continuations (and call/cc) in Haskell | Continuations (and call/cc) in Haskell |
01/05/2004 | Re: Continuations (and call/cc) in Haskell | Continuations (and call/cc) in Haskell |
12/22/2003 | Re: BrookGPU | BrookGPU |
12/22/2003 | Re: BrookGPU | BrookGPU |
08/11/2003 | Re: Udell: Test before you leap into development | Udell: Test before you leap into development |
LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |