Lambda the Ultimate Weblog Topics
Last Updated 07/17/2012

Posts By: Per Vognsen

  Date    Post    Topic  
10/06/2008WorldsWorlds: Controlling the Scope of Side Effects
10/06/2008Worlds and MonadsWorlds: Controlling the Scope of Side Effects
06/08/2007Ray tracingPartial evaluation applied to high speed lighting preview
03/19/2007SureAn Intensional Type Theory: Motivation and Cut-Elimination
12/08/2006TAPLNatural Deduction Reading for Beginners
12/04/2006Solutions, and another puzzleProgramming (language) puzzles
12/05/2006MobilesProgramming (language) puzzles
12/03/2006Abstract MachinesSK Calculus not Consider SeKsy?
11/18/2006R6RSDe-Scheming MIT?
11/01/2006Moggi's view of computational monadsBest Introduction To Monads For Newbies (& Especially Imparative Minds) I'v Ever Read!!!
10/25/2006Kernel language approachDelevoping a new language...
10/17/2006Scheme's BEGINBlock-scope
09/24/2006Implementation techniquesWhat Makes Erlang Processes Tick?
09/23/2006ThoughtsSSA + Type Inference = "Compile time" dynamic typing, "runtime" static typing?
09/23/2006ContextSSA + Type Inference = "Compile time" dynamic typing, "runtime" static typing?
09/09/2006Rewriting Haskell StringsRewriting Haskell Strings
09/10/2006Specifics?Misc News
09/05/2006DecidabilitySmall Value Set Types
09/06/2006ThanksSmall Value Set Types
08/26/2006Test suiteunchecked exceptions are like runtime type checking?
08/25/2006Cachewhat are the differences between erlang process and pthread threads?
08/23/2006Prolog, etcgenerating interpreters, IDEs, etc., from simple specifications?
08/23/2006Verbositygenerating interpreters, IDEs, etc., from simple specifications?
09/23/2006ScalaClosures for Java or money back
08/21/2006Non-local control transferClosures for Java or money back
08/26/2006Non-local transferClosures for Java or money back
08/18/2006ioDecomposing lambda - the Kernel language
08/28/2006Nice hackLisp Lovers, how would you fix Lisp or bring it up to date?
08/05/2006RefactoringThe Killer Application for Concatenative Languages
07/30/2006A way to do it in PythonPolymorphic replacement
07/31/2006Other tricksPolymorphic replacement
07/16/2006ProtocolsA Core Calculus for Scala Type Checking
07/08/2006ExerciseDSLs and operator associativity/precedence
07/26/2006UM implementation2006 ICFP Programming Contest registration opens
06/11/2006Transitive closure, searchingInform 7: A relational DSL for interactive fiction with natural language syntax
06/05/2006Great paperSage: A Programming Language With Hybrid Type-Checking
06/02/2006GreenletsTrying to get embedded python co-routines to work
05/08/2006Efficiency of coroutine switchingWhat do you believe about Programming Languages (that you can't prove (yet))?
08/21/2006Crazy ideaFolding neither Left nor Right (or how to avoid overspecifying the solution to a problem)
08/23/2006FoldrFolding neither Left nor Right (or how to avoid overspecifying the solution to a problem)
03/15/2006Dynamical system analogyWhen is one thing equal to some other thing?
03/16/2006Dynamical systemsWhen is one thing equal to some other thing?
03/01/2006MIT SchemeTail call elimination decorator in Python
02/27/2006Automatic vectorizationCompiler Technology for Scalable Architectures
02/02/2006The Next Mainstream Programming LanguagesThe Next Mainstream Programming Languages
02/06/2006Region inferenceThe Next Mainstream Programming Languages
02/02/2006Hot-spotsThe Next Mainstream Programming Languages
02/05/2006Sufficient performanceThe Next Mainstream Programming Languages
02/02/2006RAIIThe Next Mainstream Programming Languages
02/03/2006A* search, message-passingThe Next Mainstream Programming Languages
02/05/2006Well-ordering, ACLambda the Ultimate Set Comprehension
02/06/2006ACLambda the Ultimate Set Comprehension
01/29/2006Native compilationPyPy
01/29/2006QuuxPyPy
01/27/2006Verilog conversionMyHDL
01/19/2006ErrReferentially Transparent Scheme
01/20/2006SureReferentially Transparent Scheme
12/16/2005SelfVirtual machine implementation and dynamic languages
12/15/2005C as its own meta-languageThe MetaC Language
12/11/2005CPSCPS without GC?
11/24/2005AssemblyCode Reading
11/08/2005PuzzledType Nomenclature
11/09/2005MoofType Nomenclature
11/05/2005SpecificsHow does Lisp do that?!?
11/06/2005Characters Vs GlyphsProgramming Language Names
11/07/2005LET-style binding via SELECT and ASSlashdot asks: "how would you improve SQL?"
11/04/2005Block macroElegant Method of binding a function variable
11/04/2005Dr SchemeElegant Method of binding a function variable
10/30/2005"Forcing"Does Visual Studio Rot the Mind?
11/01/2005Refactoring in the presence of hygienic macrosDoes Visual Studio Rot the Mind?
11/04/2005ReflectionOOPSLA 2005 Reports
11/04/2005Static checking of types with complex specificationsOOPSLA 2005 Reports
11/04/2005It's arguably poor coding styOOPSLA 2005 Reports
10/24/2005(d). they can be manipulatedWhy Lists?
10/25/2005AliasingWhy Lists?
10/25/2005Reference countingWhy Lists?
10/25/2005ErrWhy Lists?
10/25/2005AppendingWhy Lists?
10/24/2005ListsWhy Lists?
10/24/2005AbstractionWhy Lists?
10/25/2005Functional iteratorsWhy Lists?
10/24/2005InductionWhy Lists?
10/22/2005Multiple assignmentBruce Tate: Technologies that may challenge Java
10/25/2005IDEsBruce Tate: Technologies that may challenge Java
10/21/2005Clear interpretationMultigame A Very High Level Language for Describing Board Games
10/19/2005CDR codingBest default sequence?
10/21/2005LINQBest default sequence?
10/21/2005UML and ORMBest default sequence?
10/21/2005Data modellingBest default sequence?
10/21/2005OTBest default sequence?
08/21/2006GCObject Oriented Programming + Referential Transparency
10/18/2005ZippersObject Oriented Programming + Referential Transparency
11/01/2006Definitely not RTObject Oriented Programming + Referential Transparency
10/17/2005Error handling disciplineTerritorial Exception Handling
10/17/2005ExceptionsTerritorial Exception Handling
10/14/2005Don't think soNew GUI paradigm
10/13/2005Mandatory subject lines considered harmfulExpressions vs Statements
10/14/2005LispExpressions vs Statements
10/14/2005StrangeExpressions vs Statements
10/18/2005Error reportingExpressions vs Statements
10/15/2005The n+1 problemFormal methods for O/R mapping
10/15/2005Domain modelFormal methods for O/R mapping
10/16/2005Domain modelFormal methods for O/R mapping
10/16/2005Tengo una maleta blancaFormal methods for O/R mapping
10/16/2005TediousFormal methods for O/R mapping
10/16/2005Network modelFormal methods for O/R mapping
10/16/2005JoinsFormal methods for O/R mapping
10/16/2005JoinsFormal methods for O/R mapping
10/16/2005StrawmanFormal methods for O/R mapping
10/16/20053Formal methods for O/R mapping
10/10/2005S-expressionsMacros/Syntax vs. AST manipulation
10/13/2005Lambda calculusMacros/Syntax vs. AST manipulation
10/14/2005The alpha conversion bluesMacros/Syntax vs. AST manipulation
10/09/2005Related paper previously postedThe Church-Turing Thesis: Breaking the Myth
07/13/2006Some ideasZipper-based file server/OS
02/08/2006ZippageScoping based on control flow graph
10/03/2005Skipping tokensQuestion: Graceful error recovery during parsing
10/05/2005Tail recursion"The Anatomy of a Loop"
09/30/2005Compile-time polymorphismInvokedynamic
09/30/2005ActiveRecordInvokedynamic
09/30/2005Round twoInvokedynamic
10/02/2005VMsInvokedynamic
09/22/2005ErrDon Box: Scheme Is Love
09/22/2005GrahamDon Box: Scheme Is Love
09/22/2005HrmGood languages with simple grammar
09/05/2005How to implement a fast interGuido van Rossum: Building an Open Source Project and Community
10/05/2005Propositions aren't programsInvariants/Contracts vs. types
08/04/2005A Lisp to JavaScript Compiler in 100 LinesA Lisp to JavaScript Compiler in 100 Lines
08/04/2005Well...A Lisp to JavaScript Compiler in 100 Lines
08/04/2005Unification and BacktrackingMercury Vs Prolog
08/04/2005Sure, but I can think of entiMercury Vs Prolog
09/29/2005ClarificationA Java/Python hybrid?
08/03/2005Sloppy definitionsAn interview with Chris Date
09/06/2005ClarificationThe Language Machine - a toolkit for language and grammar
05/28/2005Holy engineering complexity, Batman!Judy Stores
05/29/2005HrmJudy Stores
04/22/2005A different kind of approach to automatic theorem-provingComputer generates verifiable mathematics proof
09/16/2005Commentsexpressivity of "idiomatic C++"
09/27/2005Python versionexpressivity of "idiomatic C++"
09/27/2005Well...expressivity of "idiomatic C++"
09/27/2005Yesexpressivity of "idiomatic C++"
03/23/2005Thoughts on VM designUCPy: Reverse Engineering Python
03/23/2005ClarificationUCPy: Reverse Engineering Python
03/23/2005Semi-catchUCPy: Reverse Engineering Python
03/23/2005Yes, I think that the dynamicUCPy: Reverse Engineering Python
03/23/2005It might be useful to have thUCPy: Reverse Engineering Python
09/05/2006Types and stateTransparent Persistence
09/05/2006Memoization and unsafePerformIOTransparent Persistence
09/06/2006ST monadTransparent Persistence
09/07/2006runSTTransparent Persistence
08/18/2006Similar approachTransparent Persistence
10/07/2005Peephole optimizationIan Bicking: The challenge of metaprogramming
10/24/2005Kinestheticthe Chinese natual language
08/22/2006Shared memorynewLisp: A better Lisp/Scheme Fusion...
09/12/2004"Could you elaborate about ONApple Flunks First Grade Math
09/12/2004"Note that for addition and sApple Flunks First Grade Math
10/18/2005DelegatesFunctional programming in Java
07/23/2004Generating Functions From Outer SpaceOld computer science and technical books worth searching for
07/23/2004Confused about somethingOld computer science and technical books worth searching for
07/23/2004Non-correspondence, part deuxOld computer science and technical books worth searching for

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