recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Type Theories I understand the main by sciomako Type theory and FP by Zsolt Szalai Good points by Paul Snively Thanks by Will Benton I must respectfully disagree in part by Paul Snively A more general suggestion by Will Benton Formalizing by Thomas Schilling TAPL by Ehud Lamm	sciomako	2007-08-17 06:56
Forum topic	type theory about programming language? You're right that this isn't by natecull Desirability of Firewall by Brandon Bloom yes+no by raould rank-0 intersection type system by Keean Schupke Depends how much it knows by Matt M what could be checked by Keean Schupke Impurity wasn't my point by Matt M Impure program search by dmbarbour Answer Set Programming by Keean Schupke Proof search ~ pure term search by gasche ...	Rys McCusker	2014-05-21 23:10
Forum topic	Type Theory Glossary It seems like the two by John Shutt What about the difference by Sean McDirmid nLab... by Blaisorblade Alternatively, by John Shutt Jargon traps by chrisoliver I would love for this to be by Sean McDirmid Survey papers by Matt M Trinitarianism by Ross Angle Crowd-sourcing by gasche	naasking	2015-05-09 12:14
Forum topic	Type theory question... Misled by whom? by Charles Stewart Reference by vc Online PostScript file by Ronny Wichers Schreur Terminology by vc Distinction by Charles Stewart Confusing by vc Sources by Charles Stewart Types by vc Fair enough by Charles Stewart sums and products by vc ...	Matt Hellige	2006-02-23 22:07
Story	Type-Based Optimization for Regular Patterns	Ehud Lamm	2004-07-08 12:02
Story	Type-checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance First link is now broken. by naasking It's simpler to claim high by pkhuong Multiple dispatch in C++ by Mathias Gaunard The whole point of this kind by Jules Jacobs Embracing the ambiguity using coherence proofs by gasche Once again... by munificent	Manuel J. Simoni	2012-03-01 16:27
Forum topic	type-checking programs with unknown types HM + type dynamic by Chung-chieh Shan Thank you by Adrian Quark Complete Type Inference by Derek Elkins Whole point of WSDL by Adrian Quark Not a good example by Sjoerd Visscher	Adrian Quark	2008-06-30 07:18
Story	Type-Checking Zero Knowledge Thank you for the reference by Catalin Hritcu Interesting, but... by William D. Neumann	Paul Snively	2008-12-05 14:52
Story	Type-Level Computation Using Narrowing in Omega	Niels Hoogeveen	2007-02-08 22:41
Forum topic	Type-Safe Casts Parameterizing a type makes by cdiggins Need the table to hold multiple types. by Kannan Goundan	cdiggins	2007-05-08 07:01
first page previous page next page last page