Lambda the Ultimate

type	title	author	last post
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
Story	Gradual Typing for Functional Languages Yep! by Paul Snively Simplify by Paul Snively The Value for Me... by Paul Snively More Work To Do by Paul Snively	Paul Snively	2006-09-04 13:48
Forum topic	Multi-Stage Languages Agreed! by Paul Snively	cdiggins	2006-09-01 19:59
Story	Concoqtion: Mixing Indexed Types and Hindley-Milner Type Inference Concoqtion Paper Moved by Paul Snively	Paul Snively	2006-08-30 17:55
Forum topic	Advantages of Soft Typing Next Steps? by Paul Snively More on Type-Indexed Values in ML by Paul Snively Very Nice! by Paul Snively Lots of Work to Do! by Paul Snively Convergence by Paul Snively Granting Everything Above... by Paul Snively Still Not Convinced by Paul Snively Covered in Full Solution by Paul Snively First Comment by Paul Snively Interesting Point! by Paul Snively ...	Curtis W	2006-08-29 22:21
Story	The Daikon Invariant Detector	Paul Snively	2006-08-28 02:55
Forum topic	Google Web Toolkit Meta-Linguistic Abstraction as Compatibility-Code Encapsulation by Paul Snively	Jess Austin	2006-08-20 22:10
Forum topic	automatic theorem proving There I Go Again! by Paul Snively Right Again :-) by Paul Snively Oops! by Paul Snively You're On the Right Track! by Paul Snively I'm Sure It Is! by Paul Snively Yep! by Paul Snively Basically Right by Paul Snively	Curtis W	2006-08-09 14:01
Forum topic	Overloading : Why do some languages leave it out? The Mathematics Space by Paul Snively	cdiggins	2006-08-08 21:28
Story	eWeek: Sun Digging Deep for Dynamic Language Support Yep by Paul Snively	Ehud Lamm	2006-08-05 07:02
Story	LtU turns six! Second by Paul Snively	Ehud Lamm	2006-07-30 13:20
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