Lambda the Ultimate

type	title	author	last post
Forum topic	Logic programming based GUI framework The one we've used is pretty by lmeyerov A lot of stuff here... I do by lmeyerov	Tegiri Nenashi	2010-07-30 22:01
Story	The Future of C# Beat in a temporal sense, by lmeyerov Even in the commercial by lmeyerov	Manuel J. Simoni	2010-07-29 21:28
Forum topic	The Rust Language sharing invariants on shared memory ftw by lmeyerov Sounds like I need to reread by lmeyerov With regards to your edit, by lmeyerov I don't think domains are by lmeyerov Thus far, I am unaware of by lmeyerov	Noel	2010-07-27 23:17
Forum topic	Is lambda calculus a logic? Lambda calculus is generally by lmeyerov	Patrick Browne	2010-07-23 21:42
Story	Why Undergraduates Should Learn the Principles of Programming Languages No. by lmeyerov Is PLT really fundamental by lmeyerov Huh? C++ was already by lmeyerov Math skills don't sell. This by lmeyerov	Z-Bo	2010-07-15 09:08
Story	State of the art C compiler optimization tricks Fixed and added more by lmeyerov And really, that's why a by lmeyerov	Leon P Smith	2010-07-10 20:34
Forum topic	Uncle Bob's talk at RailsConf 2010 ... but you need to divide by lmeyerov	Marc Hamann	2010-07-07 20:43
Story	SIGPLAN's first Programming Languages Software Award goes to LLVM Perhaps worth mentioning by lmeyerov	bashyal	2010-07-06 19:16
Forum topic	Traceable Data Types for Self-Adjusting Computation	lmeyerov	2010-07-04 01:22
Story	More iPhone PL lockdown... Goodbye Scratch! I could have expanded this by lmeyerov That's fine if your laptop by lmeyerov	Matt Hellige	2010-06-18 14:34
Forum topic	some critiques of the Semat initiative devil in the details by lmeyerov I'd say it's the reverse. by lmeyerov engineering is a process - or - so what? by lmeyerov	el-vadimo	2010-06-16 09:30
Story	The Resurgence of Parallelism Trolling? by lmeyerov (put reply in wrong spot) by lmeyerov	Allan McInnes	2010-06-09 17:59
Forum topic	"Critical code studies" So I'd say that yes, by lmeyerov I agree with some of this, by lmeyerov I found the presentation by lmeyerov seem deeply confused or by lmeyerov	Travis Brown	2010-05-19 18:29
Forum topic	Computing complexity It's like SAT -- hard, but by lmeyerov	giuseppemag	2010-05-11 20:38
Forum topic	Is there a site to discuss some issues on abstract interpretation? You're right -- AI is a very by lmeyerov Abstract interpretation is a by lmeyerov	zell08v	2010-05-08 19:32
Forum topic	Universal Temporal Concurrent Constraint Programming You might also find Dedelus by lmeyerov	dmbarbour	2010-05-08 17:17
Story	The Structure of Authority: Why security is not a separable concern Like bugs, testing can only by lmeyerov For starters, I'd like to by lmeyerov and it survived 10 years of by lmeyerov evaluation not design document by lmeyerov EROS doesn't use cooperative by lmeyerov Indeed, this is similar how by lmeyerov I wasn't referring to DoS to by lmeyerov There are other forms of by lmeyerov	naasking	2010-05-07 21:39
Forum topic	HipHop: Facebook runs compiled PHP on its servers I thought the idea for by lmeyerov	Carlos Scheidegger	2010-05-07 12:03
Forum topic	SEC interested in formalising contracts ... in Python That's an example but not by lmeyerov It's just sufficient to by lmeyerov Your post suggests the only by lmeyerov Why not stick with RISC? by lmeyerov I'm not arguing against a by lmeyerov What's the goal? by lmeyerov	Noel	2010-05-06 12:56
Forum topic	Add "unit time delay (D)" operator to functional language with random signals instead of random vars There are two basic by lmeyerov	Andries	2010-04-29 12:20
Story	A few billion lines of code later: using static analysis to find bugs in the real world I'm definitely taking this by lmeyerov Not explicitly stated in the by lmeyerov	Allan McInnes	2010-04-23 11:28
Forum topic	Ideas for a PL-oriented honors thesis Having adapted and written a by lmeyerov What I think I see is a by lmeyerov But granted, a javascript by lmeyerov Totally doable, go for it! by lmeyerov	Shrutarshi Basu	2010-04-17 14:10
Forum topic	splitting the program into formalizable vs. non-formalizable parts? I didn't mean to get into by lmeyerov The connection has been more by lmeyerov	raould	2010-04-17 03:48
Forum topic	Reactive Extensions for .NET released this week Funny -- my interpretation by lmeyerov ... so I guess IObservable by lmeyerov I can't find the by lmeyerov Is this what you mean by by lmeyerov Why must the pull be by lmeyerov I was trying to figure that by lmeyerov Push, pull, and collections by lmeyerov I think we're in agreement by lmeyerov A few things. I'll mostly by lmeyerov	Wolf Logan	2010-03-18 15:28
Forum topic	large-scale programming systems inspired by ecological and market systems Most software does not need by lmeyerov	Ray Dillinger	2010-03-07 07:13
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