Lambda the Ultimate

type	title	author	last post
Forum topic	Multiple Dispatch in Practice I think this is not quite true. by shap	Isaac Gouy	2008-10-25 15:28
Forum topic	Course on Interactive Computer Theorem Proving Based on Coq They are, but... by shap Umm. by shap This was needed by shap	Paul Snively	2008-10-23 11:10
Forum topic	To CPS or not to CPS As near as I can tell, the by shap	marco	2008-10-10 13:29
Forum topic	Help with Mixfix in Bison? Not quite... by shap Representation matters by shap Every convenience syntax by shap An attempt at a response by shap I understand, and coming by shap Can you articulate what by shap Probably not by shap Thanks, Philippa, I'll look by shap My impression is that this by shap Quite the contrary by shap	shap	2008-10-09 16:00
Story	MISRA C++:2008 Regarding MISRA by shap	Chris Rathman	2008-10-01 22:19
Forum topic	Can function pointers be "fixed" Confusing function pointers and function labels by shap	disnesquick	2008-09-30 20:55
Forum topic	Help with N-Ary functions? Subtyping? by shap Thanks. That is very by shap Nasty issue by shap This is the heart of the question at hand. by shap Pair consing is not list consing by shap Thanks by shap	shap	2008-09-30 11:13
Forum topic	Typing a function which includes its axioms? Related LTU discussion by shap	Bryan Turner	2008-09-17 22:35
Forum topic	Let's make a programming language! This suggests a paper by shap	Achilleas Margaritis	2008-09-12 09:21
Forum topic	Sound and Complete Type Inference in BitC I have asked Swaroop to respond, but... by shap Partial responses... by shap	shap	2008-09-09 18:29
Forum topic	Can Lambda do things like arrays and matrixs? If so how? This is a somewhat malformed question by shap	happycow	2008-09-09 16:15
Forum topic	What makes backreferences impossible in a DFA regular expressions evaluator? The fact that it "performs by shap	Brandon Niemczyk	2008-09-04 11:52
Forum topic	output language for new statically typed language? Modules are deep structure by shap When we started... by shap Go to LLVM IR by shap	AtariFan	2008-08-29 17:20
Forum topic	Haskell for AI? Indeed. Consider the by shap Common origins by shap	solamim	2008-08-27 08:46
Forum topic	Is null needed? Except that they aren't the same.. by shap Misses the point. by shap Quick responses by shap Abandonment was planned from day zero by shap Interesting hypothesis by shap Optimizations and constant factors by shap Why completely useless. by shap No, there aren't. by shap Not a requirement by shap	BigZaphod	2008-08-09 00:52
Forum topic	A Question Concerning Effect Types Good counterexample by shap My post wasn't clear. by shap	shap	2008-08-06 15:01
Forum topic	Practical Bits of Making a Compiler for a New Language This doesn't smell right by shap I am missing something obvious by shap bitcc --noalloc by shap But those smaller data by shap Well, since it works... by shap In a stack-based by shap I think the main issue is by shap Why would a compiler by shap Unfortunately not by shap Loops not superfluous by shap ...	Eli Sennesh	2008-08-05 22:36
Forum topic	Systems programming in languages other than C? Just an update on this by shap Unfortunately not by shap That symlink won't work. We by shap Issues with Cyclone by shap Preparing a release this week. by shap BitC? by shap	Gregory Propf	2008-08-05 19:58
Forum topic	FP in D 2.0 The problem with monads is by shap	raould	2008-07-25 20:49
Forum topic	Parser Generators Supporting Astral Characters If you find such a beastie, by shap We had to deal with this in BitC by shap	JamesJustinHarrell	2008-07-22 02:33
Story	The irreducible physicality of security properties Security is an answer, not a question by shap Unenforceable policies by shap Side channels are orthogonal by shap	Charles Stewart	2008-05-18 14:42
Forum topic	Static Typing and Expressivity Implementation, not language by shap	nobodysbusiness	2008-05-02 15:58
Forum topic	Lisp Lovers, how would you fix Lisp or bring it up to date? Replace it with BitC? by shap	Ben Atkin	2008-04-29 03:20
Forum topic	2nd Revision of "Thoughts about the Best Introductory Language" Nah.. by shap	shlomif	2008-04-27 01:41
Forum topic	Higher-Order Programming without Closures? BitC doesn't lift this way. by shap Eventually, but not soon by shap Various optimizations by shap	naasking	2008-04-27 01:18
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