4 blog reactions to lambda-the-ultimate.org/node/2525

Dependent Classes ECMAScript Edition 4 and Backwards Compatibility Natural Deduction for Intuitionistic Non-Commutative Linear Logic

Missing _environ while compiling 6.8.1 on Leopard Web Application Sessions GHC 6.8.1 on Mac OS X 10.5 (Leopard) FP design Dependent Classes

give the user the ability to define LaTeX macros in terms of OCaml code. Once defined, a OCaml macro becomes indistinguishable from any other LaTeX macro. OCamlTeX thereby combines LaTeX’s typesetting power with OCaml’s programmability. Dependent Classes, by Vaidas Gasiunas, Mira Mezini, and Klaus Ostermann. “This paper presents dependent classes, a generalization of virtual classes that expresses similar semantics by parameterization rather than by nesting. This increases expressivity of class

give the user the ability to define LaTeX macros in terms of OCaml code. Once defined, a OCaml macro becomes indistinguishable from any other LaTeX macro. OCamlTeX thereby combines LaTeX’s typesetting power with OCaml’s programmability. Dependent Classes, by Vaidas Gasiunas, Mira Mezini, and Klaus Ostermann. “This paper presents dependent classes, a generalization of virtual classes that expresses similar semantics by parameterization rather than by nesting. This increases expressivity of class