Lambda the Ultimate

type	title	author	last post
Forum topic	Conjunction types Haskell already has union types by Oleg	jimdesu	2005-12-05 16:21
Forum topic	Dependent types: literature, implementations and limitations ? Dependent type encodings in Haskell or ML by Oleg	David Teller	2005-11-24 11:55
Forum topic	Probabilistic languages for kids? Re: Probabilistic Language and monads by Oleg Language with random variables, and the Monte Carlo monad by Oleg	Ehud Lamm	2005-10-10 00:05
Story	Generic implementation of all four *F* operators: from control0 to shift Re: Unfathomable? by Oleg	Ehud Lamm	2005-09-27 22:59
Story	Haskell's overlooked object system How well Haskell98 can encode objects by Oleg	Ehud Lamm	2005-09-22 21:54
Forum topic	Lazy linear algebra Lazy matrices and streams by Oleg	Ehud Lamm	2005-07-26 12:19
Forum topic	Dead Languages O'Haskell alive successor: Reactive Objects by Oleg	Jim Apple	2005-07-11 11:14
Forum topic	Call for Papers: ACM Symposium on Dynamic Languages Implicit type conversions in Scheme and Haskell by Oleg	rwuyts	2005-05-17 17:28
Story	Relating FFTW and Split-Radix SPIRAL signal-processing code generation system by Oleg The number of multiplications by Oleg	Ehud Lamm	2005-05-14 18:17
Story	A Methodology for Generating Verified Combinatorial Circuits More references by Oleg They are not the same. Difficulties of the FFT generation by Oleg	Ehud Lamm	2005-05-14 04:05
Story	Computer generates verifiable mathematics proof How to Believe a Machine-Checked Proof by Oleg	Ehud Lamm	2005-04-27 10:44
Story	How to remove a dynamic prompt: static and dynamic delimited continuation operators are equally expressible The context C[] is more complex than it appears by Oleg	Ehud Lamm	2005-04-03 13:54
Story	Skribe 1.2b released A similar project: SXML by Oleg	Dave Herman	2004-11-22 02:51
Forum topic	Faking it (even better) Haskell and objects by Oleg	Greg Buchholz	2004-09-15 23:09
Story	Higher-order module system of ML is actually possible in Haskell Sharing by specification and taming the parameter explosion by Oleg	Ehud Lamm	2004-09-15 03:16
Forum topic	Tail of Nil and Its Type Exception-free programming in Haskell98 by Oleg	Andris Birkmanis	2004-08-08 23:21
Forum topic	Database Theory and Type systems/Programming Languages. Strongly-typed databases by Oleg	Matt Estes	2004-07-23 19:38
Forum topic	Is "type" a fundamental intrinsic property of values? Dimensional (units) type in Haskell by Oleg	Neil Madden	2004-07-01 00:11
Story	Code Generation Netwrok Refs about macros and program generation by Oleg	Ehud Lamm	2004-06-27 14:04
first page previous page next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation