Lambda the Ultimate

type	title	author	last post
Forum topic	Optimisation by repeated beta- and eta-reduction Finite Limits by Keean Schupke	L Spice	2014-09-22 01:00
Story	Scala woes? Yes I got it upsidedown by Keean Schupke Kind of the opposite by Keean Schupke Heterogeneous Lists by Keean Schupke Quick Example by Keean Schupke OOHaskell Paper by Keean Schupke example by Keean Schupke Tortology by Keean Schupke subsumption by Keean Schupke soundness by Keean Schupke OO and imperative by Keean Schupke ...	Ehud Lamm	2014-09-20 21:18
Forum topic	Who Needs Garbage Collection? Ada Problems by Keean Schupke Not started yet by Keean Schupke Citation needed by Keean Schupke Low Level by Keean Schupke Ada access objects by Keean Schupke no counting by Keean Schupke Very Useful by Keean Schupke Seems different by Keean Schupke You got me. by Keean Schupke Do you? by Keean Schupke ...	Keean Schupke	2014-09-20 06:41
Forum topic	Patent on "safe" transitive immutability for object types — prior art? Not in the UK or Europe by Keean Schupke Better to respond with your position. by Keean Schupke Preventing escape of mutability by Keean Schupke Contracts? by Keean Schupke Do not read the patent. by Keean Schupke	Blaisorblade	2014-09-11 18:18
Forum topic	Function Types and Dylan 2016 Optimise Function Objects by Keean Schupke	Greg Buchholz	2014-08-28 23:21
Forum topic	Typographic Programming Languages Keywords by Keean Schupke Vim syntax highlighting by Keean Schupke	Sean McDirmid	2014-08-28 12:39
Story	Cost semantics for functional languages Provable upper bounds by Keean Schupke proof by existence. by Keean Schupke predictability of sweep timing. by Keean Schupke Seems a bit vague. by Keean Schupke Interesting. by Keean Schupke Reasoning about bits and bytes by Keean Schupke	gasche	2014-08-21 22:00
Story	Apple Introduces Swift proper integers by Keean Schupke F* by Keean Schupke relevant to previous answer by Keean Schupke Question about unification by Keean Schupke Nice by Keean Schupke Overflow divide by zero by Keean Schupke Equivelence by Keean Schupke Good for Parallel by Keean Schupke Publish/Subscribe by Keean Schupke Assumes you want to recover by Keean Schupke ...	bashyal	2014-08-21 17:54
Forum topic	out of memory seL4 or TAL by Keean Schupke Max Memory Bounds by Keean Schupke Not Necessarily Slower by Keean Schupke Limiting? by Keean Schupke Cache-Oblivious is a metric by Keean Schupke cache oblivious ordering. by Keean Schupke Rings and Things by Keean Schupke Transactions, Ask-Early and Checkpointing. by Keean Schupke	Rys McCusker	2014-08-17 09:54
Forum topic	A theory of data parallel computing sequential consistency by Keean Schupke Doesn't matter by Keean Schupke Sounds the same by Keean Schupke Sequential Semantics by Keean Schupke Might Be. by Keean Schupke Leslie Lamport by Keean Schupke	Victor Eijkhout	2014-08-14 22:16
Forum topic	Call by Meaning Faster Processing + Probabilistic Approach by Keean Schupke Prolog + Meaning Annotations? by Keean Schupke	Sean McDirmid	2014-08-13 21:44
Forum topic	Expressing Natural Deduction in Logic Languages Conjunctive Clause Heads by Keean Schupke	Keean Schupke	2014-08-06 07:42
Forum topic	GPU for GC Mobile App by Keean Schupke UI in Web-browser. by Keean Schupke Memory control is harder with CG by Keean Schupke Structure by Keean Schupke Non-blocking copying possible in hardware by Keean Schupke It's Slower by Keean Schupke	raould	2014-08-06 03:12
Story	Interactive scientific computing; of pythonic parts and goldilocks languages Two Syntaxes Better? by Keean Schupke Android NDK by Keean Schupke Nobody forces Python devs to use C by Keean Schupke Constraints by Keean Schupke Necessary division, but may be possible in one language by Keean Schupke	gasche	2014-07-24 16:28
Forum topic	Do Logic Languages Need Negation? Proving Heyting Algebra is Distributive by Keean Schupke Different Discussion by Keean Schupke Logic Variables vs Non-Deterministic Functions by Keean Schupke Confused by Keean Schupke Curry Howard by Keean Schupke value notation over performance by Keean Schupke Dependent Types by Keean Schupke I don't disagree by Keean Schupke Lack of types by Keean Schupke Curry a failure? by Keean Schupke ...	Keean Schupke	2014-07-22 17:47
Forum topic	What's in a name? Seems flawed by Keean Schupke Namespace is a synthetic concept by Keean Schupke Google is not a person by Keean Schupke No Global by Keean Schupke _ by Keean Schupke Interesting by Keean Schupke Functions and objects. by Keean Schupke locally unique by Keean Schupke All hashes are names. by Keean Schupke better examples by Keean Schupke	Sean McDirmid	2014-07-22 03:28
Forum topic	Slots as reifications of OOP method names Passing Slots by Keean Schupke Signals and Slots by Keean Schupke DCI by Keean Schupke Nested Visitors by Keean Schupke multi methods by Keean Schupke	Joaquín M López Muñoz	2014-07-21 21:44
Forum topic	request for namespace binding service terminology Small API tweek by Keean Schupke Database modifications by Keean Schupke Prolog by Keean Schupke	Rys McCusker	2014-07-21 19:12
Forum topic	Parser error handling without exceptions Backtracking by Keean Schupke	andrewzboard	2014-07-21 02:49
Forum topic	'Mindless coding': following proof steps makes algorithms easy Does it feel like plumbing because you're using the wrong tools? by Keean Schupke	raould	2014-07-15 23:30
Forum topic	Dynamic Hindley-Milner? A Precise Type Is A Value by Keean Schupke	Sean McDirmid	2014-07-08 08:42
Forum topic	Gradual Instantiation Does Scala ever reach machine language level? by Keean Schupke	David Minor	2014-07-06 17:37
Forum topic	Compositional let bindings Generalising HM by Keean Schupke Timing Type Inference by Keean Schupke It's on GitHub by Keean Schupke What it did and what it will do. by Keean Schupke Solved it. by Keean Schupke Type Graph by Keean Schupke Homotomy Type Theory by Keean Schupke No type variables left. by Keean Schupke Shorter Example by Keean Schupke Just Notation by Keean Schupke ...	Keean Schupke	2014-07-05 15:36
Forum topic	Ambiguous language namespaces PL Naming Patterns by Keean Schupke	Sean McDirmid	2014-07-04 03:31
Forum topic	Artificial Intelligence Attribute Grammars by Keean Schupke Trinitarianism by Keean Schupke Symbolic by Keean Schupke	Ivan V.	2014-06-25 12:51
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