Lambda the Ultimate

type	title	author	last post
Forum topic	request for namespace binding service terminology termination for mobile code by dmbarbour total functional denial of service by dmbarbour resource budget that can be by dmbarbour mobile code by dmbarbour Service Life Cycle, Typestate, AmOP, etc. by dmbarbour	Rys McCusker	2014-07-21 19:12
Forum topic	Parser error handling without exceptions Parser combinators by dmbarbour	andrewzboard	2014-07-21 02:49
Forum topic	Is Rx FRP? For graphics regardless of by dmbarbour Human language, thought, and by dmbarbour computer herbalism by dmbarbour OOP is misleading by dmbarbour 'Poetic' is not a property by dmbarbour avoiding is not 'abstracting over' by dmbarbour Kamp's theorem by dmbarbour what you refer to as event I by dmbarbour discrete state change by dmbarbour State change by dmbarbour ...	Sean McDirmid	2014-07-08 18:02
Forum topic	Ambiguous language namespaces de gustibus by dmbarbour Publicity gained from by dmbarbour maker movement by dmbarbour	Sean McDirmid	2014-07-04 03:31
Forum topic	Artificial Intelligence relational databases & logic programming by dmbarbour weighted solutions and composition by dmbarbour combinatorial explosion by dmbarbour protip: there is no AI by dmbarbour induction and deduction by dmbarbour	Ivan V.	2014-06-25 12:51
Forum topic	Rank-0 Intersection Type System if first class by dmbarbour uniformity by dmbarbour The very notion of by dmbarbour	Keean Schupke	2014-06-15 11:52
Forum topic	states in stateless machine reactive ≠ stateless by dmbarbour Ur programming language is not ABC by dmbarbour monotonic state by dmbarbour To me 'state' describes by dmbarbour functions of history, pipelines, and htm by dmbarbour leveraging non-determinism by dmbarbour	Ivan V.	2014-06-06 22:12
Forum topic	Self-assembling Type-directed Dataflows eyeball scale by dmbarbour Fine-grained types by dmbarbour Topic-based by dmbarbour	raould	2014-06-04 18:13
Forum topic	Announcing Lang.NEXT 2014 - Registration is Free and Now Open Type theory describes a wide by dmbarbour I suspect a reference to by dmbarbour ladder of abstraction by dmbarbour If Haskell is lifting by dmbarbour One Improvement by dmbarbour engineering principles by dmbarbour A monad is a trivial by dmbarbour Something better by dmbarbour	Charles Torre	2014-06-04 00:59
Forum topic	Symbol visibility (public, private, protected, etc.) it is very much sane... from by dmbarbour export control, too by dmbarbour aggregate complexity by dmbarbour binding without symbols by dmbarbour Information Hiding by dmbarbour	Talin	2014-05-31 05:02
Forum topic	Those pesky higher-rank types. Or how to type \f x y. (f x, f y) Dude by dmbarbour that would imply the by dmbarbour	marco	2014-05-26 17:22
Forum topic	Removing User Interface Complexity, or Why React is Awesome Approximation by piecewise-nice functions by dmbarbour consider this function by dmbarbour wiring just falls out by dmbarbour continuous state by dmbarbour zero crossings by dmbarbour continuous time is okay by dmbarbour Counterpoint by dmbarbour Low vs. High level representations by dmbarbour not retained mode by dmbarbour virtual DOM by dmbarbour ...	Sean McDirmid	2014-05-23 15:12
Forum topic	Executable comments Computable Comments, Tangible Comments by dmbarbour	Sean McDirmid	2014-05-22 23:23
Forum topic	type theory about programming language? Impure program search by dmbarbour any mathematical model of by dmbarbour	Rys McCusker	2014-05-21 23:10
Forum topic	Sectioning a chain of operators and dot as reverse application I was thinking D might have by dmbarbour x.foo(y) = foo(x,y) by dmbarbour	Matt M	2014-05-12 18:17
Forum topic	Value-level programming ML specific by dmbarbour terminology by dmbarbour Mixed feelings by dmbarbour	Vladimir Slepnev	2014-05-08 19:51
Forum topic	LtU now supports Mathjax This sentence is false. by dmbarbour	Anton van Straaten	2014-05-05 14:47
Forum topic	Alternatives to ADL? Many languages fit the by dmbarbour Fourth option by dmbarbour	Talin	2014-05-02 21:27
Forum topic	Giant list of visual PLs Do you really think screen by dmbarbour We'll see. I imagine speech by dmbarbour UI real estate in the future by dmbarbour	Manuel J. Simoni	2014-05-02 16:09
Forum topic	Introduction to processes (Tony Hoare's CSP processes) deterministic process models by dmbarbour	hbrandl	2014-04-29 21:48
Forum topic	Aha moment From 2002 by dmbarbour	Ehud Lamm	2014-04-29 06:07
Forum topic	Inquiry into the nature of software complexity. There are ways to precisely by dmbarbour opaque with respect to the dimension under study by dmbarbour re AI by dmbarbour messes and markets by dmbarbour absolute or relative? by dmbarbour Looking around at the market by dmbarbour	bryanedds	2014-04-24 20:30
Forum topic	Diseases in Code Falsifiability by dmbarbour *** * ** ***** by dmbarbour	bryanedds	2014-04-23 15:23
Story	.NET Compiler Platform ("Roslyn") Slate by dmbarbour notoriously hard to debug, by dmbarbour by converting control flow by dmbarbour what do you gain by that by dmbarbour N-1 or N+1 of N features by dmbarbour OMeta is a library that has by dmbarbour Parsers should be argued from toolset, not hosting paradigm by dmbarbour Parser combinators by dmbarbour traits, dci by dmbarbour Pattern Matching by dmbarbour ...	Ehud Lamm	2014-04-22 23:53
Forum topic	Detected contradictions in large information systems That is only the case if 'P' by dmbarbour	Hewitt	2014-04-22 11:45
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