]>okmij.org okmij.org en-us 21600 HSXML->RSS 5 May 2012 12:00:00 GMT http://okmij.org/ftp/README.html Preventing memoization in (AI) search problems Ibid. http://okmij.org/ftp/Haskell/index.html#memo-off http://okmij.org/ftp/Haskell/index.html#memo-off 5 May 2012 12:00:00 GMT Why a program in CPS specializes better Ibid. http://okmij.org/ftp/Computation/Generative.html#bti http://okmij.org/ftp/Computation/Generative.html#bti 5 May 2012 12:00:00 GMT Beyond Church encoding: Boehm-Berarducci isomorphism of algebraic data types and polymorphic lambda-terms Ibid. http://okmij.org/ftp/tagless-final/course/Boehm-Berarducci.html http://okmij.org/ftp/tagless-final/course/Boehm-Berarducci.html 5 Apr 2012 12:00:00 GMT Combining Monadic Regions and Iteratees Ibid. http://okmij.org/ftp/Streams.html#regions http://okmij.org/ftp/Streams.html#regions 5 Apr 2012 12:00:00 GMT Delimited continuations do dynamic-wind Ibid. http://okmij.org/ftp/continuations/implementations.html#dynamic-wind http://okmij.org/ftp/continuations/implementations.html#dynamic-wind 4 Mar 2012 12:00:00 GMT Model checking of Haskell Functional Dependencies Ibid. http://okmij.org/ftp/Haskell/TypeClass.html#FD-check http://okmij.org/ftp/Haskell/TypeClass.html#FD-check 4 Mar 2012 12:00:00 GMT Programming as collaborative reference Ibid. http://okmij.org/ftp/Computation/index.html#collaborative-PL http://okmij.org/ftp/Computation/index.html#collaborative-PL 4 Feb 2012 12:00:00 GMT Composing stream producers Ibid. http://okmij.org/ftp/Streams.html#compose http://okmij.org/ftp/Streams.html#compose 4 Feb 2012 12:00:00 GMT Hiding parameterized monad: shift/reset in a seemingly direct-style in Haskell Ibid. http://okmij.org/ftp/continuations/implementations.html#sr-direct http://okmij.org/ftp/continuations/implementations.html#sr-direct 4 Feb 2012 12:00:00 GMT Objections to overlapping instances Ibid. http://okmij.org/ftp/Haskell/typeEQ.html#anti-over http://okmij.org/ftp/Haskell/typeEQ.html#anti-over 1 Jan 2012 12:00:00 GMT Type-level type introspection, equality and matching Ibid. http://okmij.org/ftp/Haskell/typeEQ.html#TTypeable http://okmij.org/ftp/Haskell/typeEQ.html#TTypeable 1 Jan 2012 12:00:00 GMT Overcoming Overlapping Ibid. http://okmij.org/ftp/Haskell/typeEQ.html#without-over http://okmij.org/ftp/Haskell/typeEQ.html#without-over 1 Jan 2012 12:00:00 GMT IO monad realized in 1965 Ibid. http://okmij.org/ftp/Computation/IO-monad-history.html http://okmij.org/ftp/Computation/IO-monad-history.html 1 Jan 2012 12:00:00 GMT Syntax-semantics interface and the non-trivial computation of meaning Ibid. http://okmij.org/ftp/gengo/index.html#applicative http://okmij.org/ftp/gengo/index.html#applicative 1 Jan 2012 12:00:00 GMT Purely Functional Lazy Non-deterministic Programming: An extended, journal version of the paper Ibid. http://okmij.org/ftp/Computation/monads.html#lazy-sharing-nondet http://okmij.org/ftp/Computation/monads.html#lazy-sharing-nondet 1 Jan 2012 12:00:00 GMT Shifting the Stage: Staging with Delimited Control: An extended, journal version of the paper Ibid. http://okmij.org/ftp/Computation/Generative.html#circle-shift http://okmij.org/ftp/Computation/Generative.html#circle-shift 1 Jan 2012 12:00:00 GMT Tagless-Staged: a step toward MetaHaskell Ibid. http://okmij.org/ftp/Computation/Generative.html#meta-haskell http://okmij.org/ftp/Computation/Generative.html#meta-haskell 4 Dec 2011 12:00:00 GMT Computational Effects across Generated Binders Ibid. http://okmij.org/ftp/Computation/Generative.html#xbind http://okmij.org/ftp/Computation/Generative.html#xbind 4 Dec 2011 12:00:00 GMT What is lexical scope and how to enforce it Ibid. http://okmij.org/ftp/Computation/Generative.html#future-scope http://okmij.org/ftp/Computation/Generative.html#future-scope 4 Dec 2011 12:00:00 GMT A new version of the HList library Ibid. http://okmij.org/ftp/Haskell/types.html#HList http://okmij.org/ftp/Haskell/types.html#HList 4 Dec 2011 12:00:00 GMT Delimited control and breadth-first, depth-first, and iterative deepening search Ibid. http://okmij.org/ftp/continuations/index.html#reify-search http://okmij.org/ftp/continuations/index.html#reify-search 4 Nov 2011 12:00:00 GMT How to reify fresh type variables? Ibid. http://okmij.org/ftp/Computation/index.html#type-gensym http://okmij.org/ftp/Computation/index.html#type-gensym 4 Nov 2011 12:00:00 GMT The depth of a type Ibid. http://okmij.org/ftp/Haskell/generics.html#type-depth http://okmij.org/ftp/Haskell/generics.html#type-depth 4 Nov 2011 12:00:00 GMT Introduction to programming with shift and reset: Tutorial session of the Continuation Workshop 2011 Ibid. http://okmij.org/ftp/continuations/index.html#tutorial http://okmij.org/ftp/continuations/index.html#tutorial 1 Oct 2011 12:00:00 GMT Type Equalities, Disequalities, and Overlapping Instances Ibid. http://okmij.org/ftp/Haskell/typeEQ.html http://okmij.org/ftp/Haskell/typeEQ.html 1 Oct 2011 12:00:00 GMT Implementing Explicit and Finding Implicit Sharing in Embedded DSLs Ibid. http://okmij.org/ftp/tagless-final/sharing/sharing.html http://okmij.org/ftp/tagless-final/sharing/sharing.html 8 Sep 2011 12:00:00 GMT Explicit sharing across several expressions Ibid. http://okmij.org/ftp/tagless-final/sharing/sharing.html#ex13 http://okmij.org/ftp/tagless-final/sharing/sharing.html#ex13 8 Sep 2011 12:00:00 GMT Proving False with impredicativity, injectivity, and type case analysis Ibid. http://okmij.org/ftp/Haskell/impredicativity-bites.html http://okmij.org/ftp/Haskell/impredicativity-bites.html 5 Aug 2011 12:00:00 GMT Tracking dynamic values in types Ibid. http://okmij.org/ftp/Haskell/regions.html#dynlock http://okmij.org/ftp/Haskell/regions.html#dynlock 5 Aug 2011 12:00:00 GMT Delimited continuations with effect typing: A parsimonious way of showing that the captured delimited continuation is pure and hence answer-type polymorphic Ibid. http://okmij.org/ftp/continuations/implementations.html#genuine-shift http://okmij.org/ftp/continuations/implementations.html#genuine-shift 5 Aug 2011 12:00:00 GMT