Lambda the Ultimate

type	title	author	last post
Forum topic	More information about Albatross Contradictions by Keean Schupke Pre and Post Conditions by Keean Schupke Rule no. 1 by Keean Schupke Self Implication by Keean Schupke	hbrandl	2015-05-29 13:47
Forum topic	From Programming Language Design (PLD) to Programmer Experience Design (PXD) Like This: by Keean Schupke Hidden Types by Keean Schupke Just an Example by Keean Schupke Missing the Point by Keean Schupke Wrong Kind Of Shared Pointer and Regions by Keean Schupke Shared Pointers and Poor Emulations of Prolog by Keean Schupke People are different by Keean Schupke With Backtracking by Keean Schupke Large expressions by Keean Schupke Fast, Lazy Tokenisation and Nice Error Reports. by Keean Schupke ...	Sean McDirmid	2015-05-20 12:15
Story	Eve: the development diary of a programming environment aimed at non-programmers Bad user interfaces. by Keean Schupke	gasche	2015-05-18 20:56
Forum topic	The Programming Language Wars: Questions and Responsibilities for the Programming Language Community Single UI thread fine for gestures. by Keean Schupke Missing the Point by Keean Schupke GPU virtualisation by Keean Schupke Thread Safe by Keean Schupke MFC by Keean Schupke Common Practice by Keean Schupke Single UI Thread by Keean Schupke	Phil Miess	2015-05-18 14:25
Forum topic	Nanopass Compiler Framework Language Grammar Extension. by Keean Schupke Thats Okay by Keean Schupke What's your point? by Keean Schupke Boilerplate Heavy by Keean Schupke a collection of many small passes by Keean Schupke Grammar Checking With Type Inference by Keean Schupke Grammar Specification by Keean Schupke Nanopass in Prolog by Keean Schupke	Bryan Turner	2015-05-13 22:28
Forum topic	Five Paradigm Shifts in Programming Language Design and their Realization in Viron, a Dataflow Programming Environment Perfect Optimiser by Keean Schupke Mechanical Proof Checking and Meaning by Experimentation by Keean Schupke Base Axioms by Keean Schupke Definitions by Keean Schupke Not Computable = Imprecise by Keean Schupke	Sean McDirmid	2015-05-10 16:17
Forum topic	What makes LtU more or less enjoyable? Front Page = Home Page by Keean Schupke Papers, Source Code and Discussion. by Keean Schupke	gasche	2015-05-07 06:03
Forum topic	Controversy over the definition of "Logic Program" SAT Solving Logic Programs by Keean Schupke Selecting Nodes by Keean Schupke Iterative Deepening by Keean Schupke Search and Negation Elimination by Keean Schupke	Hewitt	2015-05-03 22:07
Forum topic	Church's fundamental paradox: "Is there such a thing as logic?" Formal Definition of Logic by Keean Schupke	Hewitt	2015-05-01 15:21
Forum topic	C++ Parser Combinator Library You can't (easily) do that by Keean Schupke Prioritised Choice by Keean Schupke Intended Abiguity by Keean Schupke Right Associative Operator Support in Prolog Example Parser by Keean Schupke Generating Tables. by Keean Schupke Diagnostics by Keean Schupke Interesting by Keean Schupke Ambiguities by Keean Schupke - by Keean Schupke Is it good enough. by Keean Schupke ...	Keean Schupke	2015-05-01 13:29
Forum topic	Type Differentials Implementation Details by Keean Schupke Universally Quantified Type Systems. by Keean Schupke	Talin	2015-04-25 15:02
Forum topic	how many lines of code can civilization support? I not sure I get the problem by Keean Schupke Logic in the type system by Keean Schupke Emphasis by Keean Schupke State and Macros by Keean Schupke Mutable objects and intermediate types. by Keean Schupke Longer learning curve supports my argument. by Keean Schupke Question Framing by Keean Schupke Understandability Details by Keean Schupke Imperative more understandable by Keean Schupke Not Impossible by Keean Schupke ...	Thomas Lord	2015-04-09 22:07
Story	The Next Stage of Staging Better Staging by Keean Schupke Profile Guided Optimization by Keean Schupke changing subject by Keean Schupke Correctness by Keean Schupke Performance by Keean Schupke Elaborating on Elaboration. by Keean Schupke Incompatible type system. by Keean Schupke Elaboration by Keean Schupke Type Checking by Keean Schupke Verification after leaving the factory is useless by Keean Schupke ...	naasking	2015-04-07 14:58
Forum topic	Constraint typing, subtyping, and separate compilation I probably misunderstood by Keean Schupke Back to topic by Keean Schupke My Bad. by Keean Schupke Changing Types by Keean Schupke OOHaskell by Keean Schupke Typeclass = Interface. by Keean Schupke Substitutability. by Keean Schupke What More? by Keean Schupke I Disagree (sort of). by Keean Schupke Subtyping of Containers by Keean Schupke ...	Sean McDirmid	2015-03-12 22:35
Forum topic	general patterns in PL persistence schemes? Durability of Real Storage by Keean Schupke Immutable copying by Keean Schupke Persistent Data Only by Keean Schupke Databases Again by Keean Schupke Partly by Keean Schupke Web Applications by Keean Schupke Indexing by Keean Schupke Isolation by Keean Schupke All my documents at once? by Keean Schupke Production Systems by Keean Schupke ...	Rys McCusker	2015-02-24 02:23
Forum topic	Making implicits less powerful? Templates vs Compilers by Keean Schupke How do you handle... by Keean Schupke C++ under control for now. by Keean Schupke Polymorphic Recursion by Keean Schupke Lets try again. by Keean Schupke Not Sure. by Keean Schupke I Agree by Keean Schupke How vs What by Keean Schupke Dependent types seem problematic by Keean Schupke	Vladimir Slepnev	2015-02-20 16:07
Forum topic	Negation in Logic Languages MiniKanren by Keean Schupke Not equal easier than negation by Keean Schupke Proof vs Disproof by Keean Schupke Admissible by Keean Schupke In General by Keean Schupke Complement is not Negation by Keean Schupke Negation is the problem. by Keean Schupke Proof and Disproof by Keean Schupke typos by Keean Schupke split by Keean Schupke ...	Keean Schupke	2015-02-19 17:21
Forum topic	symbols and loosely coupled concurrent apps part II Green Thread Performance by Keean Schupke Usual Approach by Keean Schupke Implementation of Async IO by Keean Schupke Existing Libraries Usable? by Keean Schupke New async IO wrapper? by Keean Schupke Trampolining by Keean Schupke	Rys McCusker	2015-02-10 22:23
Forum topic	Some notes on Rust, the language. Elements of Programming by Keean Schupke Misleading Title by Keean Schupke Once something has become a mess, its very hard to tidy again by Keean Schupke Citations by Keean Schupke Design Type System First by Keean Schupke Types a not proofs by Keean Schupke Really? by Keean Schupke Most code is still in C by Keean Schupke Ownership and Referencing by Keean Schupke	John Nagle	2015-02-09 07:25
Forum topic	How can languages help us in terms of achieving correct program design? Not Wrong by Keean Schupke Miscommunication by Keean Schupke - by Keean Schupke proofs at runtime by Keean Schupke imagined problem by Keean Schupke no infinities at runtime by Keean Schupke Proofs are Relevant by Keean Schupke strong compile time language by Keean Schupke Macro Assemblers by Keean Schupke Sounds good by Keean Schupke ...	bryanedds	2015-02-02 17:56
Forum topic	How can middle school algebra help with domain specific languages? Algorithms by Keean Schupke Consistency, Orthogonality and Simplicity by Keean Schupke	shahbaz	2015-01-21 17:18
Forum topic	Language combining relational algebra and domain algebra SQL queries and schemas are declarative by Keean Schupke Declarative is good. by Keean Schupke Completeness vs Consistency? by Keean Schupke Underestimate SQL? by Keean Schupke SQL by Keean Schupke Relational Algebra by Keean Schupke	davidb	2015-01-12 17:37
Forum topic	managing closed worlds of symbols via alpha-renaming in loosely coupled concurrent apps Locking Memory by Keean Schupke shm_open by Keean Schupke VFS vs Shared Memory by Keean Schupke Thorn is fine by Keean Schupke Terms by Keean Schupke Both replies were okay with me by Keean Schupke Message Passing by Keean Schupke Efficiency by Keean Schupke Variables. by Keean Schupke Analysis by Keean Schupke ...	Rys McCusker	2015-01-10 00:45
Forum topic	Function arity with currying and call-by-push-value side effects by Keean Schupke	Blaisorblade	2015-01-05 16:09
Forum topic	How can be a interpreter faster than C (aka: kdb+) Type-Classes and Unboxed Types by Keean Schupke Agree, Interesting Discussion by Keean Schupke Lexically Visible by Keean Schupke Type Inference by Keean Schupke Interfaces and Concepts. by Keean Schupke Concept Checking by Keean Schupke More general than type classes by Keean Schupke Same Thing? by Keean Schupke Lack of Organisation by Keean Schupke Template Parameters Define a Type by Keean Schupke ...	mamcx	2014-12-31 14:26
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