Lambda the Ultimate

type	title	author	last post
Forum topic	Understanding continuations What (call/cc call/cc) is and isn't by Oleg	Keith Devens	2006-12-06 23:43
Forum topic	Proofs that do things Haskell can do some of the proofs itself by Oleg	genneth	2006-11-28 11:36
Story	Lightweight Static Capabilitites (II) Syntactic approach to type soundness, in Twelf by Oleg	Ehud Lamm	2006-09-05 01:52
Forum topic	First Class Values, Types as values within a Programming Language Extensible unions as negation of extensible records by Oleg	Bruce Rennie	2006-07-20 00:50
Forum topic	How are GADTs useful in practical programming? Eliminating Multiple-Array Bound Checking through Non-dependent by Oleg Lightweight dependent types by Oleg	Klaus Ostermann	2006-06-21 13:31
Forum topic	Relevance of Curry-Howard CPS and Glivenko theorem by Oleg	Klaus Ostermann	2006-06-12 13:36
Story	Native delimited continuations in (byte-code) OCaml Dynamic binding (and threads) in OCaml by Oleg Private and shared dynamic bindings by Oleg Dynamic binding by Oleg	Ehud Lamm	2006-04-12 22:38
Forum topic	Scoping based on control flow graph Iteration via delimited continuations by Oleg	rici	2006-02-08 19:55
Forum topic	What is a Proposition? See Stanford Encyclopedia of Philosophy by Oleg	andrew cooke	2006-02-03 17:04
Forum topic	Towards the best collection traversal interface Re: complaints by Oleg Another article by Oleg	Neil Madden	2006-01-18 23:47
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
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