Lambda the Ultimate

type	title	author	last post
Story	Cost semantics for functional languages Blelloch does discuss the by dmbarbour Seems a bit cherry-picked by dmbarbour Sorting algorithms are by dmbarbour	gasche	2014-08-21 22:00
Story	Apple Introduces Swift albatross shaped boat anchors by dmbarbour	bashyal	2014-08-21 17:54
Forum topic	out of memory what languages are such that by dmbarbour resilient software by dmbarbour yes we can by dmbarbour for a cache of reasonable (but unknown) size by dmbarbour easily decomposed by dmbarbour blame and partial failure by dmbarbour	Rys McCusker	2014-08-17 09:54
Story	Safely Composable Type-Specific Languages Embedded Literal Objects by dmbarbour	Allan McInnes	2014-08-13 18:09
Forum topic	Reactive Programming FRP for distributed by dmbarbour Formal Process Control by dmbarbour Signals, event streams, or by dmbarbour Disposable Signals by dmbarbour Ah. by dmbarbour Extra Error Channel by dmbarbour Ordered Choice, Finalization and Disposal by dmbarbour Disposed Signals, Last Value, Information Carrying Failures by dmbarbour Signal constructors by dmbarbour Recomputing by dmbarbour ...	J Storrs Hall	2014-08-06 03:32
Forum topic	GPU for GC many worse problems by dmbarbour Dividing the heap by dmbarbour	raould	2014-08-06 03:12
Story	seL4: Formal Verification of an Operating-System Kernel Dichotomy of Practice by dmbarbour Yeah, it's a false dichotomy by dmbarbour Ideally, specifications by dmbarbour Great Strides and Initial Specifications by dmbarbour Ignore client's spec and substitute your own by dmbarbour Reliability by dmbarbour Specification by dmbarbour Boolean Reliability? by dmbarbour Non-distinction by dmbarbour Formal Specs and Productivity by dmbarbour ...	James Iry	2014-07-29 07:19
Forum topic	Do Logic Languages Need Negation? Search by dmbarbour Datalog by dmbarbour	Keean Schupke	2014-07-22 17:47
Forum topic	What's in a name? using hashes as names by dmbarbour Again, you quote "fetch the by dmbarbour Evaluation is a by dmbarbour Homeopathic naming by dmbarbour A hash value is close in by dmbarbour Newell's definition of names by dmbarbour A hash can be used as a by dmbarbour a hash is never a name by dmbarbour Names aren't hashes. by dmbarbour	Sean McDirmid	2014-07-22 03:28
Forum topic	Slots as reifications of OOP method names in a normal language you by dmbarbour Keeping track of the stack by dmbarbour Stack based languages with by dmbarbour Autocomplete HCI by dmbarbour DCI by dmbarbour	Joaquín M López Muñoz	2014-07-21 21:44
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
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