]> okmij.org en-us 21600 HSXML->RSS 4 Sep 2010 12:00:00 GMT http://okmij.org/ftp/README.html The library delimcc of delimited control now supports native code OCaml on 32- and 64-bit Linux and FreeBSD OCaml 3.12.0 platforms http://okmij.org/ftp/continuations/implementations.html#caml-shift http://okmij.org/ftp/continuations/implementations.html#caml-shift 4 Sep 2010 12:00:00 GMT Three new monad transformers for multi-prompt delimited control in Haskell http://okmij.org/ftp/continuations/implementations.html#CC-monads http://okmij.org/ftp/continuations/implementations.html#CC-monads 4 Sep 2010 12:00:00 GMT Translucent applicative functors in Haskell http://okmij.org/ftp/Haskell/types.html#translucent-functor http://okmij.org/ftp/Haskell/types.html#translucent-functor 1 Aug 2010 12:00:00 GMT ML-style modules with type sharing by name in Haskell http://okmij.org/ftp/Haskell/types.html#fibration http://okmij.org/ftp/Haskell/types.html#fibration 1 Aug 2010 12:00:00 GMT Type-directed memoization in ML http://okmij.org/ftp/ML/ML.html#memo http://okmij.org/ftp/ML/ML.html#memo 1 Aug 2010 12:00:00 GMT Lambda: the ultimate syntax-semantics interface http://okmij.org/ftp/gengo/NASSLLI10/ http://okmij.org/ftp/gengo/NASSLLI10/ 4 Jul 2010 12:00:00 GMT Many ways to the fix-point combinator besides the value recursion http://okmij.org/ftp/Haskell/types.html#fix http://okmij.org/ftp/Haskell/types.html#fix 4 Jul 2010 12:00:00 GMT In defense of <code>UndecidableInstances</code> http://okmij.org/ftp/Haskell/types.html#undecidable-inst-defense http://okmij.org/ftp/Haskell/types.html#undecidable-inst-defense 4 Jul 2010 12:00:00 GMT Dynamic epistemic logic puzzles http://okmij.org/ftp/Algorithms.html#dyn-epistemology http://okmij.org/ftp/Algorithms.html#dyn-epistemology 4 Jul 2010 12:00:00 GMT Soutei, a logic-based trust-management system is now hosted on SourceForge http://okmij.org/ftp/Prolog/index.html#Soutei http://okmij.org/ftp/Prolog/index.html#Soutei 4 Jul 2010 12:00:00 GMT Linear and affine lambda-calculi http://okmij.org/ftp/tagless-final/course/course.html#linear http://okmij.org/ftp/tagless-final/course/course.html#linear 7 Jun 2010 12:00:00 GMT Eigen-variables: variables or constants? http://okmij.org/ftp/formalizations/inductive-definitions.html#eigenvariables http://okmij.org/ftp/formalizations/inductive-definitions.html#eigenvariables 7 Jun 2010 12:00:00 GMT Delimited Control in OCaml, Abstractly and Concretely: System description http://okmij.org/ftp/continuations/implementations.html#delimcc-paper http://okmij.org/ftp/continuations/implementations.html#delimcc-paper 7 May 2010 12:00:00 GMT shift as a green fork(2): solving puzzles using non-determinism http://okmij.org/ftp/continuations/green-fork.html http://okmij.org/ftp/continuations/green-fork.html 7 May 2010 12:00:00 GMT Ordinary and one-pass CPS transformation http://okmij.org/ftp/tagless-final/course/course.html#CPS http://okmij.org/ftp/tagless-final/course/course.html#CPS 7 May 2010 12:00:00 GMT Typed tagless-final interpretations: Lecture notes http://okmij.org/ftp/tagless-final/course/course.html http://okmij.org/ftp/tagless-final/course/course.html 4 Apr 2010 12:00:00 GMT A new version of the typed tagless-final type-checker and the above-the-board, assuredly safe implementation of <code>Data.Typeable</code>, in the tagless-final style. http://okmij.org/ftp/tagless-final/course/course.html#type-checking http://okmij.org/ftp/tagless-final/course/course.html#type-checking 4 Apr 2010 12:00:00 GMT Type-directed partial evaluation in the tagless-final style http://okmij.org/ftp/tagless-final/course/course.html#TDPE http://okmij.org/ftp/tagless-final/course/course.html#TDPE 4 Apr 2010 12:00:00 GMT Parametric polymorphism over a type class http://okmij.org/ftp/Computation/extra-polymorphism.html#class-quantification http://okmij.org/ftp/Computation/extra-polymorphism.html#class-quantification 5 Mar 2010 12:00:00 GMT The initial release of BER MetaOCaml: a streamlined version of MetaOCaml http://okmij.org/ftp/ML/ML.html#ber-metaocaml http://okmij.org/ftp/ML/ML.html#ber-metaocaml 5 Mar 2010 12:00:00 GMT Parameterizing expressions by the evaluation order http://okmij.org/ftp/tagless-final/tagless-typed.html#call-by-any http://okmij.org/ftp/tagless-final/tagless-typed.html#call-by-any 5 Mar 2010 12:00:00 GMT Inductive proofs in logical frameworks and logic programming http://okmij.org/ftp/formalizations/inductive-definitions.html http://okmij.org/ftp/formalizations/inductive-definitions.html 5 Feb 2010 12:00:00 GMT ENKITEI: Interactive proof system for natural deduction with inductive definitions http://okmij.org/ftp/formalizations/inductive-definitions.html#enkitei-prolog http://okmij.org/ftp/formalizations/inductive-definitions.html#enkitei-prolog 5 Feb 2010 12:00:00 GMT Sorted list benchmark problem: laziness and importance sampling within very large search space http://okmij.org/ftp/kakuritu/index.html#sorted http://okmij.org/ftp/kakuritu/index.html#sorted 5 Feb 2010 12:00:00 GMT Iteratee IO: safe, practical, declarative input processing <br> Added a reference to the updated `documentation', the annotated talk given on December 17, 2009 at the CST research colloquium, Department of Information and Computing Sciences, Utrecht University, NL. http://okmij.org/ftp/Streams.html#iteratee http://okmij.org/ftp/Streams.html#iteratee 1 Jan 2010 12:00:00 GMT A CPS version of the iteratee library The types of enumerators and enumeratees are the simplest here. http://okmij.org/ftp/Streams.html#design http://okmij.org/ftp/Streams.html#design 1 Jan 2010 12:00:00 GMT Extensible interpreters -- an alternative to monad transformers http://okmij.org/ftp/Computation/monads.html#ExtensibleDS http://okmij.org/ftp/Computation/monads.html#ExtensibleDS 1 Jan 2010 12:00:00 GMT Montagovian semantics and Scala programming http://okmij.org/ftp/gengo/index.html#Scala-trace http://okmij.org/ftp/gengo/index.html#Scala-trace 1 Jan 2010 12:00:00 GMT Computational Abstract Grammars: Quantifier scope ambiguities and verbal ellipsis http://okmij.org/ftp/gengo/index.html#CAG http://okmij.org/ftp/gengo/index.html#CAG 1 Jan 2010 12:00:00 GMT Dynamic Logic in Abstract Categorial Grammars: Discourse Anaphora and Scoping Islands http://okmij.org/ftp/gengo/index.html#CAG-anaphora http://okmij.org/ftp/gengo/index.html#CAG-anaphora 1 Jan 2010 12:00:00 GMT Bounded-Rational Theory of Mind for Conversational Implicature http://okmij.org/ftp/kakuritu/index.html#bounded-rationality http://okmij.org/ftp/kakuritu/index.html#bounded-rationality 1 Jan 2010 12:00:00 GMT Differentiating Parsers http://okmij.org/ftp/continuations/differentiating-parsers.html http://okmij.org/ftp/continuations/differentiating-parsers.html 5 Dec 2009 12:00:00 GMT Version 2.0 of the Iteratee library, with restartable exceptions and enumeratees http://okmij.org/ftp/Streams.html http://okmij.org/ftp/Streams.html 5 Dec 2009 12:00:00 GMT A new version of the <code>delimcc</code> library: Native delimited continuations in (byte-code) OCaml <br> The new version has much clearer code, which is about 10% faster, taking less memory. http://okmij.org/ftp/continuations/implementations.html http://okmij.org/ftp/continuations/implementations.html 1 Nov 2009 12:00:00 GMT Multi-prompt delimited control in R5RS Scheme, a version of <code>delimcc</code> in Scheme. The specialization of the code yields a new implementation of the ordinary shift/reset in R5RS Scheme, which is memory efficient even if the underlying call/cc copies the whole stack. http://okmij.org/ftp/continuations/implementations.html#delimcc-scheme http://okmij.org/ftp/continuations/implementations.html#delimcc-scheme 1 Nov 2009 12:00:00 GMT Higher-order polymorphic selection, another example of the unusual polymorphism that can be trivially implemented. http://okmij.org/ftp/Computation/extra-polymorphism.html#ho-poly-sel http://okmij.org/ftp/Computation/extra-polymorphism.html#ho-poly-sel 1 Nov 2009 12:00:00 GMT Constructive Law of Excluded Middle http://okmij.org/ftp/Computation/lem.html http://okmij.org/ftp/Computation/lem.html 4 Oct 2009 12:00:00 GMT Purely Functional Lazy Non-deterministic Programming: Added executable small-step semantics based on an alternative, constructive set of laws http://okmij.org/ftp/Computation/monads.html#lazy-sharing-nondet http://okmij.org/ftp/Computation/monads.html#lazy-sharing-nondet 4 Oct 2009 12:00:00 GMT Polyvariadic functions and keyword arguments: pattern-matching on the type of the context <br> A new web page collecting old content, with a new introduction and a new entry on type-indexed arguments http://okmij.org/ftp/Haskell/polyvariadic.html http://okmij.org/ftp/Haskell/polyvariadic.html 4 Oct 2009 12:00:00 GMT Normalizing loop bodies by evaluation http://okmij.org/ftp/lift-reduce/lift-reduce.html http://okmij.org/ftp/lift-reduce/lift-reduce.html 7 Sep 2009 12:00:00 GMT Functional un|unparsing: Deriving implementations of the typed printf and scanf from their specification http://okmij.org/ftp/typed-formatting/FPrintScan.html#derivation http://okmij.org/ftp/typed-formatting/FPrintScan.html#derivation 7 Sep 2009 12:00:00 GMT Purely Functional Lazy Non-deterministic Programming http://okmij.org/ftp/Computation/monads.html http://okmij.org/ftp/Computation/monads.html 7 Sep 2009 12:00:00 GMT Haskell with only one typeclass http://okmij.org/ftp/Haskell/types.html#Haskell1 http://okmij.org/ftp/Haskell/types.html#Haskell1 1 Aug 2009 12:00:00 GMT GADT in OCaml http://okmij.org/ftp/ML/ML.html#GADT http://okmij.org/ftp/ML/ML.html#GADT 1 Aug 2009 12:00:00 GMT Deriving a very shallow embedding of a probabilistic DSL http://okmij.org/ftp/kakuritu/index.html#derivation http://okmij.org/ftp/kakuritu/index.html#derivation 1 Aug 2009 12:00:00 GMT