Lambda the Ultimate

type	title	author	last post
Forum topic	Interesting new paper from T. Sweeney and others type:type semantics by Tim Sweeney Typechecking factorials by Tim Sweeney Types as Multiple Values by Tim Sweeney Proofs as Programs by Tim Sweeney	jasonwatkinspdx	2018-01-22 05:09
Story	Combining lazy and eager evaluation of terms Y, etc. by Tim Sweeney	Ehud Lamm	2015-03-14 06:12
Story	Gilad Is Right Names and slots by Tim Sweeney No by Tim Sweeney	Erik Meijer	2014-03-23 13:38
Story	Why Did M.I.T. Switch from Scheme to Python? Unbelievable by Tim Sweeney	Leon P Smith	2013-09-12 17:06
Forum topic	Cost of provably-correct code Big Theorems by Tim Sweeney	Ehud Lamm	2013-07-06 19:56
Forum topic	Nesting of quasi-quotation It's ambiguous by Tim Sweeney	Jules Jacobs	2013-05-08 03:50
Story	Oleg: An argument against call/cc call/cc as an effect by Tim Sweeney	bashyal	2012-09-13 17:06
Story	The YNot Project Steps to Practicality by Tim Sweeney	Paul Snively	2012-08-17 23:32
Story	The Weird World of Bi-Directional Programming Excellent presentation by Tim Sweeney	Ehud Lamm	2011-10-07 21:43
Forum topic	Middle History of Logic Programming The victory of logic programming by Tim Sweeney	Hewitt	2011-06-28 02:49
Story	Invertible Syntax Descriptions: Unifying Parsing and Pretty Printing Partial logic language features by Tim Sweeney Wanted: Pointful Syntax by Tim Sweeney	James Iry	2011-02-05 00:39
Story	Scala Team Wins ERC Grant Evidence by Tim Sweeney Towards nice parallelism by Tim Sweeney Solution? by Tim Sweeney	Ehud Lamm	2011-01-18 05:47
Story	Generics: The Importance of Wildcards Wow by Tim Sweeney	Ehud Lamm	2011-01-14 15:36
Forum topic	The Myths of Object-Orientation Big Object Base Class by Tim Sweeney Identity, State, Persistence... by Tim Sweeney Not Philosophy by Tim Sweeney The Essence of Object Orientation by Tim Sweeney	el-vadimo	2010-12-21 17:28
Forum topic	expressivity of "idiomatic C++" Relying on libraries by Tim Sweeney	el-vadimo	2010-11-10 22:56
Forum topic	Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) Proof-Carrying Code by Tim Sweeney Type erasure requires totality by Tim Sweeney General recursion by Tim Sweeney Can you imagine your typical by Tim Sweeney Dependent types by Tim Sweeney	Greg Buchholz	2010-10-22 21:48
Story	Joe Duffy: A (brief) retrospective on transactional memory What a mess by Tim Sweeney	Z-Bo	2010-09-09 12:58
Story	Type Classes as Objects and Implicits Partial evaluation is evitable by Tim Sweeney MetaOCaml by Tim Sweeney Staging and dependent types by Tim Sweeney Implicits by Tim Sweeney	Paul Snively	2010-08-26 06:09
Forum topic	Overlapping Instances + Functional Dependencies Unsound? My Understanding by Tim Sweeney	shap	2010-08-08 15:11
Story	Scribble: Closing the Book on Ad Hoc Documentation Tools Nice! by Tim Sweeney	Manuel J. Simoni	2010-07-23 23:54
Story	Functional Pearl: Species and Functors and Types, Oh My! Co-functors by Tim Sweeney deriving Functor by Tim Sweeney Species and Functors by Tim Sweeney	Matt Hellige	2010-07-05 09:38
Story	Intel Concurrent Collections for Haskell Why? by Tim Sweeney	Ehud Lamm	2010-06-28 22:01
Forum topic	Should let be generalized? Top-level vs other by Tim Sweeney	Douglas McClean	2010-03-12 21:18
Forum topic	NaNs and reflexivity It's true by Tim Sweeney	Bertrand_Meyer	2010-02-16 14:50
Forum topic	The Next Mainstream Programming Languages Tim's idea of adding more by Tim Sweeney Why virtual classes? by Tim Sweeney Garbage collection by Tim Sweeney	Per Vognsen	2010-01-24 13:32
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