Lambda the Ultimate Weblog Topics
Last Updated 02/04/2011

Posts By: Josef Svenningsson

  Date    Post    Topic  
09/08/2010Based on my observations I would tend to agreeIs Transactional Programming Actually Easier?
05/26/2010Andre Santos thesisTypes/Ordering of canonical FP compiler transforms and optimizations?
04/02/2009Interesting optimizationA Computer-Generated Proof that P=NP
04/15/2008Security is relative, but still meaningfulThe irreducible physicality of security properties
01/10/2008I will chicken out and sayPrediction for 2008
10/12/2007ErlangExamples of large-scale functional language projects
08/19/2007I think these kind ofCompiling with Continuations, Continued
08/20/2007The way they implementedCompiling with Continuations, Continued
05/04/2007That paper just blew my mindTowards efficient, typed LR parsers
03/09/2007Focus on the wrong thingStatic Typing for a Faulty Lambda Calculus
02/15/2007I agreeLightweight Fusion by Fixed Point Promotion
02/06/2007On TerminationTermination Checking with Types
12/24/2006Promising workData Parallel Haskell: a status report
12/08/2006An important paper indeed[Redux] A Syntactic Approach to Type Soundness (1992)
11/24/2006Some random reflectionsGrammar Visualization
06/21/2006Amen, brother!Rules for Developing Safety-Critical Code
05/10/2006Proof carrying codeComputer Science Looks for a Remake
05/10/2006Proof, correctness and pay-as-you-goComputer Science Looks for a Remake
05/12/2006SwapDesigning a Type Notation for a Stack Based Functional Language
05/03/2006Your favourite editor/IDEYour favourite editor/IDE
05/02/2006A slightly OT questionProofs are Programs: 19th Century Logic and 21st Century Computing
05/02/2006ThanksProofs are Programs: 19th Century Logic and 21st Century Computing
05/04/2006Computers LtdProofs are Programs: 19th Century Logic and 21st Century Computing
05/02/2006Hmmm...Proofs are Programs: 19th Century Logic and 21st Century Computing
05/04/2006InformaticsProofs are Programs: 19th Century Logic and 21st Century Computing
05/03/2006SoftwareProofs are Programs: 19th Century Logic and 21st Century Computing
05/04/2006The root of the problemProofs are Programs: 19th Century Logic and 21st Century Computing
05/05/2006You're absolutely rightProofs are Programs: 19th Century Logic and 21st Century Computing
04/04/2006Everything-is-a proofPurity in PLT
03/30/2006This paper comes after CMTTransactional Memory with data invariants (draft sequel to the STM-Haskell paper)
03/21/2006Using continuations in Web applications is patentedUsing continuations in Web applications is patented
03/02/2006Cool paper!A Tail-Recursive Machine with Stack Inspection
06/21/2006Deriving combinator libraries a la John HughesHow are GADTs useful in practical programming?
01/23/2006Windows XPChoice of OS of LtU readers
01/10/2006The problem is not XMLTim Bray: Don't Invent XML Languages
12/15/2005Linear TypesDjinn, a theorem prover in Haskell, for Haskell.
10/26/2005Incremental AlgorithmsIncremental algorithm help
10/20/2005Not very relevant to LtUMultigame A Very High Level Language for Describing Board Games
10/12/2005More MicrosoftFormal methods used in developing "profitable" software
07/27/2005Functional/non-functional and strict/lazyThe Complexity Zoo
06/30/2005inclusion polymorphism and parametric polymorphism for dummiesGenerics are a mistake?
06/28/2005Cayenne -> AgdaDead Languages
06/23/2005Write a programHow To Read a Paper
06/27/2005No exception! Use constructive logicHow To Read a Paper
06/19/2005Nice to see some applicationAccurate step counting
05/29/2005BDDsShort examples of complex use of state?
05/30/2005Applicative Languages ARE inefficient.Short examples of complex use of state?
05/30/2005On interpreting theoretical results.Short examples of complex use of state?
05/27/2005A good page for finding pointData flow analysis on functional Language
05/21/2005QuickCheckParameterized Unit Tests
05/20/2005Tail-call JVMs can exist!Tail recursion
05/10/2005Covered beforeWhy Dependent Types Matter
04/21/2005Wrong headlineComputer generates verifiable mathematics proof
04/15/2005A pointerGarbage collecting computations
03/18/2005Power Point?Grady Booch: AOSD keynote
03/15/2005A rather obscure exampleEmbedding one language in another
03/07/2005Phil Wadler's blogPhil Wadler's blog
02/02/2005ScaryGCC Wiki
01/27/2005More, More!Langauges and Hardware...
01/18/2005Advanced Topics in Types and Programming LanguagesAdvanced Topics in Types and Programming Languages
12/02/2004Langugages or librariesDownwardly Scalable Languages
11/13/2004Seems backwardsGiving Bugs the Boot
11/09/2004Language comparisonLanguage comparison experiment
10/21/2004Constraint programmingPlaying the Minesweeper with Constraints (MOZ 2004)
10/06/2004Die rolling?Probabilistic languages for kids?
10/08/2005Context Free Design GrammarsProbabilistic languages for kids?

LtU Topic Index Sorted by Date LtU Topic Index Sorted by Topic LtU Index of Post Authors Zipped LtU Archive


Chris Rathman/ Chris.Rathman@tx.rr.com