Lambda the Ultimate

type	title	author	last post
Forum topic	Strongly-Typed Language Support for Internet-Scale Information Sources: F# Type Providers What is *really* needed to by dmbarbour Code Distribution, not Type Providers by dmbarbour	Charles Torre	2012-10-15 18:32
Forum topic	DRAKON-Erlang: Visual Functional Programming Abstraction is language by dmbarbour Deep Syntactic Properties by dmbarbour Structural Reasoning by dmbarbour You referred to declarative by dmbarbour If there are no limits on by dmbarbour Many worlds by dmbarbour The declarative expression by dmbarbour The extent to which a by dmbarbour Enable lines in a data flow by dmbarbour Make me a lie by dmbarbour ...	Stepan Mitkin	2012-10-12 08:32
Forum topic	P = NP question Given DFA, D, that directly by dmbarbour Information is physical by dmbarbour Mathematics are many and by dmbarbour We're not talking about the by dmbarbour Pushing complexity outside a by dmbarbour How is that relevant? Carter by dmbarbour Where do you account for by dmbarbour	Carter Cheng	2012-10-10 22:26
Forum topic	How to type polymorphic variants with open generic functions? It's probably good to by dmbarbour Maybe reframe the question by dmbarbour	Manuel J. Simoni	2012-10-09 04:23
Forum topic	In defense of semicolon I agree with that. by dmbarbour Feature Buffet by dmbarbour Orders of magnitude by dmbarbour Syntax not Dismissed by dmbarbour Innovation in Mainstream by dmbarbour invisible and transient ... by dmbarbour	Sean McDirmid	2012-10-08 22:32
Forum topic	The programming language of crash test dummies. Maybe Logo or Emacs Lisp by dmbarbour Dude, he's obviously talking by dmbarbour	Ray Dillinger	2012-10-05 17:18
Story	Informed dissent: William Cook contra Bob Harper on OOP C++ has plenty of that. by dmbarbour	Ehud Lamm	2012-09-29 09:12
Forum topic	Designing a languge — what theory is a must? Typestate or Null Object by dmbarbour	pgregory	2012-09-28 19:01
Forum topic	Proof formats Linear logic could, for by dmbarbour I think you're doing a lot by dmbarbour	hbrandl	2012-09-27 14:47
Forum topic	Are scalars "just" degenerate matrices? Parsing by dmbarbour Scalars to Identity Matrix by dmbarbour I've often thought it would by dmbarbour	Douglas McClean	2012-09-22 21:38
Forum topic	How much power should programmers have? Behaviors and Strategies by dmbarbour Programs are not by dmbarbour Ends and Means by dmbarbour There are many by dmbarbour Crypto-fascist by dmbarbour Agree by dmbarbour	Ray Dillinger	2012-09-19 03:12
Forum topic	Alien worlds, values, and you can't touch this Very nice. I might need to by dmbarbour Frequency by dmbarbour Batching by dmbarbour Progammer's Time by dmbarbour Even between lightweight by dmbarbour Partition Types by dmbarbour	Sean McDirmid	2012-09-11 13:15
Forum topic	IDE design for immediate feedback Look into F* (Fstar) from by dmbarbour	David Wagner	2012-09-04 09:14
Forum topic	Enso: William Cook's new programming model Excellent. Front page. by dmbarbour Lock-based implementation not relevant by dmbarbour A Language of Micro Databases by dmbarbour Scalable models are compositional by dmbarbour Re: Transactions at scale by dmbarbour Imperative cycles by dmbarbour Cyclic Graphs by dmbarbour	Rafael	2012-08-29 17:46
Story	Parsing: The Solved Problem That Isn't Stateful Semantics by dmbarbour Allowances and constraints by dmbarbour The state in my example is by dmbarbour Art of the State by dmbarbour May not Should by dmbarbour Countering some Skepticisms by dmbarbour Parse as a Stable Model by dmbarbour Expressive Power by dmbarbour	James Iry	2012-08-26 09:11
Forum topic	Why prolog is by far the best, most productive, easiest programming language AI Complete by dmbarbour Schemas Matter by dmbarbour Languages as Databases by dmbarbour Assume agent F is confined by dmbarbour Reactive Demand Programming by dmbarbour That programming language by dmbarbour 'Pure' Prolog? by dmbarbour Re:flection by dmbarbour Semantic Web by dmbarbour RE: TRS for Logic by dmbarbour ...	marshallp	2012-08-23 03:24
Forum topic	Crafting a toy language for learning purposes Logo by dmbarbour Kahn Academy by dmbarbour	helltone	2012-08-21 17:39
Forum topic	The Economist: Language and Computers: Why language isn't computer code I doubt they're fuzzy in the by dmbarbour Fuzzy waza problem domain by dmbarbour Re: performance adaptive collections by dmbarbour Statistical Mud by dmbarbour Why Language Could Be Computer Code by dmbarbour	kms	2012-08-11 20:37
Forum topic	Language Implementation 101 Sure, there can be many by dmbarbour Opportunity Costs by dmbarbour Slippery Sloped Staging? by dmbarbour Library First by dmbarbour Approaching parsing as a by dmbarbour Growing the Heap by dmbarbour Starting at a Higher Level by dmbarbour Spike by dmbarbour	qznc	2012-08-09 07:37
Forum topic	Immediate mode GUIs As developers, one of our by dmbarbour User Model State by dmbarbour The association between by dmbarbour Widget Identity by dmbarbour The usual difficulty with by dmbarbour	Sean McDirmid	2012-07-27 04:18
Forum topic	OO type systems and BNFs Enso or OMeta. by dmbarbour	Sean McDirmid	2012-07-20 19:36
Forum topic	Evolved Turing neural networks - Unorganized machines and the brain Configuring the Genome by dmbarbour Supervised by dmbarbour	Cyril	2012-07-14 11:08
Forum topic	Why languages and not systems? I certainly didn't get into by dmbarbour I agree strongly. PL is very by dmbarbour Not all things are possible by dmbarbour	giuseppemag	2012-07-13 11:39
Forum topic	Erik Meijer started a discussion on Domain Specific Languages Static analysis can be staged, too by dmbarbour Expressiveness, as described by dmbarbour Embedding a DSL is by dmbarbour manipulating some level of by dmbarbour External DSLs on the other by dmbarbour	w7cook	2012-07-13 00:52
Forum topic	Why are exceptions not described as 'purely functional'? No need for continuation by dmbarbour Hacking the language by dmbarbour Exceptions are not (usually) syntactic shorthand by dmbarbour No Exceptions by dmbarbour Continuations by dmbarbour I'm assuming you don't have by dmbarbour Conditions with pure functions by dmbarbour Maybe Just Either Left, Right or Nothing by dmbarbour	bryanedds	2012-07-11 15:05
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