Lambda the Ultimate

type	title	author	last post
Forum topic	On the (Alleged) Value of Proof for Assurance Another take? by Matthieu Sozeau	shap	2016-11-24 01:04
Story	Using Category Theory to Design Implicit Conversions and Generic Operators Commutation proof by Matthieu Sozeau Inaccessible by Matthieu Sozeau	neelk	2014-02-18 10:50
Forum topic	Workshop on Probabilistic Programming in December Modelling probabilistic programs by Matthieu Sozeau	Daniel Roy	2013-01-23 15:36
Story	The YNot Project Subtyping by Matthieu Sozeau	Paul Snively	2012-08-17 23:32
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	2010-10-22 21:48
Story	An intuitionistic logic that proves Markov's principle The connection with Noam Zeilberger's work... by Matthieu Sozeau	neelk	2010-07-07 08:23
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	2009-06-27 13:57
Forum topic	The deBrujin Criterion and the "LCF Approach". Dependent type theories and LCF by Matthieu Sozeau	Jason Dusek	2009-04-29 22:57
Forum topic	Microsoft PDC "Language" Talks Precisely by Matthieu Sozeau Misunderstanding by Matthieu Sozeau Nope by Matthieu Sozeau	shahbaz	2009-02-12 12:16
Forum topic	Non-standard type theories for FP HOL by Matthieu Sozeau	marco	2009-01-25 03:59
Forum topic	Question concerning parameterization over literals Dependently typed languages by Matthieu Sozeau	shap	2009-01-23 19:27
Story	On the Strength of Proof-Irrelevant Type Theories A few reasons by Matthieu Sozeau	James Iry	2009-01-16 12:10
Forum topic	Any problems with true union types if all values are tagged? (like in a dynamically typed system, Lisp, etc.) Refinement types by Matthieu Sozeau	scottmcl	2009-01-11 22:50
Forum topic	"Determinism" of types? Inhabited by Matthieu Sozeau	ellisk	2009-01-06 17:36
Forum topic	The Lambda Cube & Some Programming Languages Phase distinctions by Matthieu Sozeau	Jason Dusek	2008-12-31 17:31
Story	Functional building blocks as concurrency patterns Synchronous dataflow programming by Matthieu Sozeau	Peter Van Roy	2008-12-05 15:58
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	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	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
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