Lambda the Ultimate

type	title	author	last post
Forum topic	On the (Alleged) Value of Proof for Assurance Goodbye to you, too by Steven Obua Goodbye by Steven Obua > I'm starting to wonder if by Steven Obua The existence of a thm is by Steven Obua You can redefine things and by Steven Obua Now, that's just stretching by Steven Obua I think we are talking about by Steven Obua With all due respect, Sam is by Steven Obua No, by its main components I by Steven Obua First: COQ is a great tool. by Steven Obua ...	shap	2016-11-24 01:04
Forum topic	Have tracing JIT compilers won? I agree. I am just wondering by Steven Obua Is "byte code" dead ? by Steven Obua	Peter Michaux	2015-05-26 21:09
Story	Why Did M.I.T. Switch from Scheme to Python? There is no such language by Steven Obua	Leon P Smith	2013-09-12 17:06
Forum topic	Wittgenstein versus Turing on Inconsistency Robustness These specifications are by Steven Obua	Hewitt	2012-03-05 22:15
Forum topic	iPhone PL lockdown Somebody on Hacker News by Steven Obua It's not that dramatic by Steven Obua	Sean McDirmid	2011-12-24 05:49
Forum topic	Create Your Own Programming Language (book) It is a joke of course by Steven Obua	Manuel J. Simoni	2011-08-23 14:45
Forum topic	The this argument in dynamic programming languages with OO and first-class functions You should like Babel-17 by Steven Obua 'this' is an interesting by Steven Obua	Tom Primožič	2011-08-22 19:36
Forum topic	Is it possible to write code that works the very first time? Testing is always a good by Steven Obua	M Riccobene	2011-08-10 11:43
Forum topic	Babel-17 v0.3 is out Babel-17 v0.3.1 is out by Steven Obua	Steven Obua	2011-07-21 23:06
Forum topic	does your language need a memory model? It depends by Steven Obua	el-vadimo	2011-03-22 03:31
Forum topic	I've run out of programming languages to study I can recommend my language by Steven Obua	Josh Griggs	2011-02-27 03:20
Story	The Semicolon Wars That's my point: If you by Steven Obua It is much easier to define by Steven Obua A good way to judge the by Steven Obua At least Standard ML has by Steven Obua I definitely envision by Steven Obua That's why you should ship by Steven Obua	James Iry	2011-02-20 15:00
Forum topic	Points in the Pattern Matching Design Space Complete Functional Synthesis by Steven Obua	Jules Jacobs	2011-01-26 21:50
Forum topic	guy steele on how (not) to think of parallel programming What I mean is: In by Steven Obua "Best solution" was an by Steven Obua My view on this is that by Steven Obua Accumulator by Steven Obua	Thomas Lord	2011-01-25 05:56
Forum topic	The AST Typing Problem I think you have to by Steven Obua I have done no measurements by Steven Obua I would suggest to use Scala by Steven Obua	shap	2011-01-19 03:15
Forum topic	Linear types, anyone? Well, I don't get it. I have by Steven Obua Reading the above, I just do by Steven Obua	Ehud Lamm	2011-01-14 06:48
Story	Guido: Language Design Is Not Just Solving Puzzles It is rather the other way by Steven Obua That discussion is somewhat by Steven Obua Minimal design is not really by Steven Obua I took a stab at this whole by Steven Obua	Ehud Lamm	2011-01-05 17:06
Forum topic	Request for feedback: Epoch Programming Language OpenCL looks very by Steven Obua	Mike Lewis	2011-01-04 00:25
Story	Haskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit I found this rather funny as by Steven Obua	Ehud Lamm	2010-12-29 19:26
Forum topic	The Myths of Object-Orientation Kill Bill much ? by Steven Obua You get around the by Steven Obua I don't see any problem with by Steven Obua I vote for referential by Steven Obua	el-vadimo	2010-12-21 17:28
Story	Semi-implicit batched remote code execution as staging I really like that idea of by Steven Obua I totally agree that there by Steven Obua "just reducing roundtrips" by Steven Obua Yeah, there will be by Steven Obua I guess a fair comparison of by Steven Obua How does this approach by Steven Obua	Manuel J. Simoni	2010-12-17 00:17
Forum topic	Babel-17 v0.2 spec is out Douglas, I think your by Steven Obua Yes, val is for by Steven Obua There are no functions of no by Steven Obua Babel-17 v0.21 is out. by Steven Obua Anonymous no-arg functions by Steven Obua No static types by Steven Obua Function arguments by Steven Obua Of course a term rewriting by Steven Obua The reason "no 1-tuples" works well in Pure ... by Steven Obua 1-tuples by Steven Obua ...	Steven Obua	2010-12-11 00:22
Forum topic	First-class environments. Discuss. ;) Also Clojure by Steven Obua hyper-abstract + half-baked notions by Steven Obua Scala is actually all about by Steven Obua I think we misunderstood by Steven Obua The thread you are pointing by Steven Obua Template Haskell is not by Steven Obua Lazy Evaluation by Steven Obua	Manuel J. Simoni	2010-11-18 13:31
Story	It's been ten years! Happy birthday LTU by Steven Obua	Ehud Lamm	2010-08-11 08:07
Forum topic	Overlapping Instances + Functional Dependencies Unsound? I am little bit puzzled what by Steven Obua	shap	2010-08-08 15:11
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