Lambda the Ultimate

type	title	author	last post
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
Forum topic	Rank-0 Intersection Type System Type Inference in Logic by Keean Schupke Type Inference Algorithm on GitHub by Keean Schupke Practical Engineering by Keean Schupke Assuming Uniformity. by Keean Schupke Soundness by Keean Schupke Compositional Explanation of Types by Keean Schupke HM Proof Incomplete by Keean Schupke Not Trivial by Keean Schupke Got to start somewhere. by Keean Schupke Shifting by Keean Schupke ...	Keean Schupke	2014-06-15 11:52
Forum topic	Notation for debugging type derivations. Small Difference by Keean Schupke Both. by Keean Schupke Looks good. by Keean Schupke Prolog Style by Keean Schupke Twelf by Keean Schupke Type derivation as a proof of type. by Keean Schupke Okay for small derivations by Keean Schupke	Keean Schupke	2014-06-06 19:04
Forum topic	Self-assembling Type-directed Dataflows every connection by Keean Schupke Prolog Again by Keean Schupke	raould	2014-06-04 18:13
Forum topic	Announcing Lang.NEXT 2014 - Registration is Free and Now Open Informal definitions by Keean Schupke Indeed by Keean Schupke Dissapointing. by Keean Schupke Common Semantics by Keean Schupke Type Discussions by Keean Schupke Looks to agree with what I said by Keean Schupke Function types by Keean Schupke Agree in part by Keean Schupke Are ML function types wrong? by Keean Schupke Types as theorems, Values as proof by Keean Schupke ...	Charles Torre	2014-06-04 00:59
Forum topic	Symbol visibility (public, private, protected, etc.) Modelling and Upstream by Keean Schupke Hiding Implementation Details by Keean Schupke	Talin	2014-05-31 05:02
Story	Fifty Years of BASIC, the Programming Language That Made Computers Personal Favourite BASIC macine by Keean Schupke	bashyal	2014-05-30 20:21
Forum topic	Those pesky higher-rank types. Or how to type \f x y. (f x, f y) block copy by Keean Schupke Inheriting Impurity by Keean Schupke First Class Polymorphism. by Keean Schupke Getchar is a value in Haskell by Keean Schupke Strictness by Keean Schupke Closed and negation by Keean Schupke nullary functions are vaues by Keean Schupke Lazy Impurity by Keean Schupke Sounds about right by Keean Schupke memoisation by Keean Schupke ...	marco	2014-05-26 17:22
Forum topic	type theory about programming language? rank-0 intersection type system by Keean Schupke what could be checked by Keean Schupke Answer Set Programming by Keean Schupke proofs are programs. by Keean Schupke They can be by Keean Schupke Binary Logic by Keean Schupke Wittgenstein by Keean Schupke Programming by Keean Schupke Grune by Keean Schupke Maths vs Engineering. by Keean Schupke ...	Rys McCusker	2014-05-21 23:10
Forum topic	Safe interior references in the presence of mutation More than generalisation by Keean Schupke	Jules Jacobs	2014-05-20 20:26
Forum topic	Using real arithmetic to eliminate bounds checking? not really by Keean Schupke Registers by Keean Schupke SAT and SMT by Keean Schupke Modulo N by Keean Schupke	Vladimir Slepnev	2014-05-14 22:01
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