Lambda the Ultimate

type	title	author	last post
Forum topic	excitement in language research? Two Cents by Paul Snively	adamarthurryan	2006-12-13 08:50
Forum topic	Extremely static language? Where Types and Semantics Collide by Paul Snively Examples? by Paul Snively Good Thing, Too! by Paul Snively I Think This is Understood... by Paul Snively Thanks for Clarifying by Paul Snively Excellent Question! by Paul Snively Please Be Serious by Paul Snively	viergroupie	2006-12-09 01:28
Forum topic	Why type systems are interesting - part II I Was Speaking With Tongue Firmly in Cheek... by Paul Snively More Than What is Required by Paul Snively The Next Thing You Know... by Paul Snively Proofs at Different Times by Paul Snively King's Indian Reversed by Paul Snively OK, I can't resist... by Paul Snively Disknowns by Paul Snively Interesting by Paul Snively My Favorite So Far Is... by Paul Snively Sliders Are Fascinating! by Paul Snively ...	Ehud Lamm	2006-12-08 01:38
Forum topic	"Folding"/FP traversal over trees TBD by Paul Snively Sounds Like Oleg Again by Paul Snively	dbfaken	2006-12-07 14:53
Forum topic	C++ has indeed become too "expert friendly" Beat Me To It by Paul Snively Beat Me To It by Paul Snively	Isaac Gouy	2006-12-07 14:01
Forum topic	Practical Laziness Sounds Like Cyclic Lambda Calculi by Paul Snively	jimdesu	2006-12-04 23:47
Story	Future of software design? Of course... by Paul Snively If You Haven't Already... by Paul Snively	Peter Van Roy	2006-11-21 20:18
Forum topic	Functional programming and software engineering Speaking of Tradition... by Paul Snively Indeed! by Paul Snively Is This the One... by Paul Snively	Kay Schluehr	2006-11-20 17:36
Story	Code Generation Network One More Time, With Feeling by Paul Snively	Ehud Lamm	2006-11-18 19:17
Story	Second Life Faces Threat to its Virtual Economy My Reaction as Well by Paul Snively Opinion by Paul Snively Good Point! by Paul Snively Exactly! [n/m] by Paul Snively Partially True by Paul Snively Wouldn't be a Threat... by Paul Snively Argument, in the Semi-Formal Sense by Paul Snively Oops by Paul Snively	Paul Snively	2006-11-18 09:04
Story	Practical OCaml My Summary of O'Caml... by Paul Snively Should Have Linked! by Paul Snively I Wouldn't Go Quite As Far... by Paul Snively	Matt Hellige	2006-11-14 13:41
Forum topic	Want to learn something new Or You Can Generate Your VHDL From... by Paul Snively Indeed! by Paul Snively Contentious Point by Paul Snively Also... by Paul Snively Which Book? by Paul Snively One More Thing... by Paul Snively SML Also Has... by Paul Snively	pureza	2006-11-12 19:49
Story	A Very Modal Model of a Modern, Major, General Type System Heh by Paul Snively	Ehud Lamm	2006-11-08 20:17
Forum topic	Code generation vs. dynamic/introspective languages No Conflict by Paul Snively	raould	2006-11-05 21:03
Story	Sage: A Programming Language With Hybrid Type-Checking Good Question! by Paul Snively	Paul Snively	2006-11-02 17:52
Forum topic	ESC not just for Java any more Hello, Joe! by Paul Snively	Jim Apple	2006-10-23 17:09
Forum topic	Business Objects Quark - Haskell meets Java H.264 by Paul Snively QuickTime by Paul Snively	BenMoseley	2006-10-19 07:20
Forum topic	The US Torture Bill as C code Mostly Right... by Paul Snively Perhaps... by Paul Snively Interesting Point... by Paul Snively I'm With Koray by Paul Snively Heh by Paul Snively OK, I'll Bite... by Paul Snively	Ehud Lamm	2006-10-15 11:09
Story	Tim Bray: Dynamic-Language IDEs Righto by Paul Snively Correct by Paul Snively Reminder by Paul Snively Eh, I Dunno by Paul Snively Interesting Point by Paul Snively	Ehud Lamm	2006-10-04 11:37
Story	A type-correct, stack-safe, provably correct, expression compiler in Epigram Specifics by Paul Snively Right On! by Paul Snively Key Point by Paul Snively	Niels Hoogeveen	2006-10-02 18:13
Forum topic	Closures for Java or money back JML and Scala by Paul Snively Hmmm... by Paul Snively Good Points! by Paul Snively Almost Right by Paul Snively	el-vadimo	2006-09-23 19:16
Forum topic	PeakStream - a multi-core stream processing model StreamIt by Paul Snively	Davor Cubranic	2006-09-21 17:04
Forum topic	AppleScript - a story worth telling I'll Field This One... by Paul Snively Nice Job! by Paul Snively Not Much to Add by Paul Snively	Isaac Gouy	2006-09-19 18:54
Story	SecPAL: Design and Semantics of a Decentralized Authorization Language Soutei by Paul Snively	Ehud Lamm	2006-09-17 03:54
Forum topic	Neophyte question: detecting deadlock, livelock, races etc. Obviously, I Can Only Say... by Paul Snively	raould	2006-09-15 16:26
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