user | Lambda the Ultimate

user

view
track

type	title	author	last post
Story	Wirth Symposium The most stable resolution by dmbarbour Interesting. by John Shutt Concrete Languages by dmbarbour With lower barriers, more users become producers by Dave They just got bought for by Sean McDirmid Cost and price are not dual by dmbarbour re: cost/price by Thomas Lord re: For tooling by Thomas Lord Cost is not Price by dmbarbour For tooling, you are only by Sean McDirmid ...	Luke Gorrie	2014-03-04 20:32
Forum topic	Syntax for reification of types Thanks for sharing by cdiggins > Does your language have by cdiggins Good questions by cdiggins Does your language have an by Chris Warburton "Has-type" operator by Chris Warburton Being stored in a variable, by Matt M	cdiggins	2014-03-04 19:20
Forum topic	Query Languages for doing NLP	nabreit	2014-03-04 06:57
Story	Jeeves References by gasche Any specific references I by Ehud Lamm Differential privacy by Sam Tobin-Hochstadt I think is possible to do by Ehud Lamm Information flow and differential privacy by jeanyang I should have said something by Ehud Lamm Jeeves, AOP, and Privacy Enforcement by jeanyang	Ehud Lamm	2014-03-02 16:02
Forum topic	Inheritance is the Base Class of Evil invoking the ghosts of BitC by raould Disagree by Sean Parent You are interpreting each by Jules Jacobs Blinkered by Ben L. Titzer Should probably wind up this sub-thread. by Rys McCusker Ah... by Charles Torre You probably forgot to close by Ehud Lamm I don't follow by Charles Torre Not any more you don't! by Ehud Lamm Tag soup by Ross Angle ...	Charles Torre	2014-02-26 22:16
Forum topic	Inconsistency Robustness in Foundations Clarification by Keean Schupke Unclear by Hewitt Seems Possible by Keean Schupke Eval messages with types by Hewitt Combine the interpreter with a type-case by Keean Schupke A programming language without types is hopeless in practice by Hewitt Prolog is untyped by Keean Schupke Implementing Eval messages requires type Any by Hewitt Implementing Interpreters by Keean Schupke Syntactic stratification is unworkable for Computer Science by Hewitt ...	Hewitt	2014-02-26 20:00
Forum topic	Wolfram Language Smalltalk/Lisp? by pjmlp Wow by Roly Perera Prolog programs by Y Very impressive demo. Thanks by dmbarbour Demo video by Chris Warburton To Wolfram's credit, this by Sean McDirmid a guess by Thomas Lord ...to be able to treat code by Roly Perera Symbolic Computation by dmbarbour	Sean McDirmid	2014-02-26 09:48
Forum topic	Hopscotch Dragon box by spdegabrielle So far not much success with by Ehud Lamm The screenshots on the by Glen Anderson I agree. I tried Daisy it is by Ehud Lamm I see, thanks. DragonBox by Ehud Lamm I wouldn't bother with by Glen Anderson Thanks. So, for a 4 YO, I by Ehud Lamm I've just installed it along by Glen Anderson	Ehud Lamm	2014-02-25 13:29
Forum topic	Automatically learning grammars from text ADIOS algorithm by nabreit Not solvable in general. by Andrew Moss Updates on my attempts at grammar induction by nabreit NP complete problem with approximations by marco literature pointer(?): Gold's theorm by Thomas Lord	nabreit	2014-02-25 04:38
Forum topic	Disallow shadowing? flow based programming by raould Tags are useful. For by dmbarbour Tagging definitions with domain-specific names by gasche Heuristic Techniques by dmbarbour Indeed by gasche Or fuzzier type systems by Sean McDirmid Type-driven smart glue by gasche the mapping step is implicit by dmbarbour the usual suspects by Rys McCusker If you could convert a map by Matt M ...	Y	2014-02-25 02:06
first page previous page next page last page