Lambda the Ultimate

type	title	author	last post
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
Forum topic	Pragmatic declarative event abstraction Overly Imperative by Tim Sweeney	Sean McDirmid	2009-12-05 02:56
Forum topic	Seeking broad survey of wide range of concurrency idioms Practical concurrency idioms by Tim Sweeney	scottmcl	2009-11-06 19:57
Story	SequenceL - declarative computation on nonscalars Conflicts with overloading by Tim Sweeney	Allan McInnes	2009-11-03 12:28
Story	Patrick Logan on Software Transaction Memory Bloat by Tim Sweeney Can you help me understand by Tim Sweeney STM nervousness by Tim Sweeney	Ehud Lamm	2009-10-26 21:48
Story	The End of the GPU Roadmap Vector Haskell? by Tim Sweeney Compiling to OpenCL by Tim Sweeney	Noel	2009-10-23 10:03
Forum topic	Monadic Constraint Programming Monadic Constraint Programming by Tim Sweeney	Greg Buchholz	2009-06-04 03:15
Forum topic	What is the dual of { } ? Any by Tim Sweeney	Kay Schluehr	2009-02-12 08:58
Forum topic	Ruling out nonsensical data type definitions C++ void by Tim Sweeney Analogy by Tim Sweeney Useful by Tim Sweeney	Douglas McClean	2009-02-03 22:54
Story	On the Strength of Proof-Irrelevant Type Theories Prop vs Type by Tim Sweeney	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.) Encapsulation and parametricity by Tim Sweeney Static aparametricity by Tim Sweeney ? is not a functor by Tim Sweeney Updated by Tim Sweeney Why this is a bad idea by Tim Sweeney	scottmcl	2009-01-11 22:50
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