Lambda the Ultimate

type	title	author	last post
Story	Functional building blocks as concurrency patterns Synchronous dataflow programming by Matthieu Sozeau	Peter Van Roy	2008-12-03 22:14
Forum topic	Subtyping + overloading Semantics by Matthieu Sozeau I don't see what's weird here. by Matthieu Sozeau Different inference problems by Matthieu Sozeau	Alex Rubinsteyn	2008-11-24 20:24
Forum topic	Total functional language self interpreter? Which example? by Matthieu Sozeau I stand corrected by Matthieu Sozeau An overgeneralization by Matthieu Sozeau This has to do with Goedel by Matthieu Sozeau	jason stumpf	2008-11-24 15:43
Forum topic	Question concerning parameterization over literals Dependently typed languages by Matthieu Sozeau	shap	2008-11-10 22:40
Forum topic	Summary of Dependently Typed Systems? Why is there no proper dependent pattern-matching in Coq by Matthieu Sozeau	jim burton	2008-10-27 12:42
Forum topic	Course on Interactive Computer Theorem Proving Based on Coq Coq documentation and proof management support by Matthieu Sozeau	Paul Snively	2008-10-23 11:10
Forum topic	F in System F My guess by Matthieu Sozeau	christopher	2008-10-21 03:45
Forum topic	Workshop on Probabilistic Programming in December Modelling probabilistic programs by Matthieu Sozeau	Daniel Roy	2008-09-28 21:38
Forum topic	Typing a function which includes its axioms? Just do it! by Matthieu Sozeau	Bryan Turner	2008-09-17 22:35
Forum topic	Applied Type System vs. Epigram Epigram/DML/ATS/Coq by Matthieu Sozeau	naasking	2008-09-16 06:44
Forum topic	Is null needed? Lucid interpreter by Matthieu Sozeau	BigZaphod	2008-08-09 00:52
Forum topic	Type classes and type generator restrictions As another functor by Matthieu Sozeau	Douglas McClean	2008-07-28 09:02
Forum topic	Breaking region nesting in type-and-effect systems? Hope this helps by Matthieu Sozeau	naasking	2008-06-24 17:03
Story	The YNot Project Subtyping by Matthieu Sozeau	Paul Snively	2008-05-28 16:22
Story	Algebra of programming using dependent types Refinement by Matthieu Sozeau	Matt Hellige	2008-04-16 07:27
Forum topic	Rewriting rules for deducing properties of functions Not too hard.. to be useful by Matthieu Sozeau Two problems by Matthieu Sozeau	cdiggins	2008-04-07 13:25
Forum topic	Lanugages with built-in rules/tests? Classes and modules by Matthieu Sozeau Same with typeclasses instead of modules by Matthieu Sozeau	raould	2008-02-11 17:01
Forum topic	Type-safe printf using delimited continuations, in Coq soon is... by Matthieu Sozeau Coq version by Matthieu Sozeau Russell status by Matthieu Sozeau	Matthieu Sozeau	2008-01-24 14:36
Forum topic	Induction of variadic functions, functions over tuples, etc. Getting rid of the natural by Matthieu Sozeau Getting rid of the natural by Matthieu Sozeau	shoe	2008-01-23 08:03
Forum topic	Extending HM type inference -- would this be possible? Or even desirable? Refinement by Matthieu Sozeau	Ingo Wechsung	2007-09-16 13:28
Forum topic	Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) Sized types to the rescue by Matthieu Sozeau Practical matters by Matthieu Sozeau Strong Normalization is a bliss by Matthieu Sozeau	Greg Buchholz	2007-07-13 19:27
Forum topic	Why is there not a PL with a mathematical type system? Which Telescopes ? by Matthieu Sozeau What's reality ? by Matthieu Sozeau PVS and Coq by Matthieu Sozeau Type theory vs Set theory by Matthieu Sozeau	gueven	2007-04-25 14:14
Story	A Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language Yes it is when you want certification. by Matthieu Sozeau Typed tactics by Matthieu Sozeau Elegant Programming Languages by Matthieu Sozeau	Paul Snively	2007-03-28 14:31
Story	Concoqtion: Indexed Types Now! Duality with extraction by Matthieu Sozeau	Paul Snively	2007-03-13 15:11
Story	Using Category Theory to Design Implicit Conversions and Generic Operators Commutation proof by Matthieu Sozeau Inaccessible by Matthieu Sozeau	neelk	2007-02-24 14:49
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