Lambda the Ultimate

type	title	author	last post
Forum topic	Programming Languages as Mathematical Representations Problems with maths by Keean Schupke Imperative Algorithms by Keean Schupke Turing by Keean Schupke	mfidelman	2016-09-03 23:25
Forum topic	Viability of a static type system (like ML) for a relational language? Sufficiency by Keean Schupke Cross join is enough by Keean Schupke Unique column names. by Keean Schupke Rename and Explicitness by Keean Schupke Natural joins are unnecessary, cross join is better by Keean Schupke More Explicit by Keean Schupke Typing Relational Algebra in Haskell by Keean Schupke Joins by Keean Schupke Archiology by Keean Schupke Hlist by Keean Schupke	mamcx	2016-08-29 22:50
Forum topic	language handling of memory and other resource failures Multiple processors by Keean Schupke Time as a resource by Keean Schupke Close down and continue by Keean Schupke Checkpoints by Keean Schupke Pre-allocation and checkpoints by Keean Schupke	Rys McCusker	2016-08-27 18:57
Forum topic	Is there a language with the ability to write arbitrary type functions? Trait Objects by Keean Schupke Rust Traits by Keean Schupke Hypothesis by Keean Schupke Modules in Logic? by Keean Schupke Clauses are type classes by Keean Schupke Generics by Keean Schupke Haskell and Rust by Keean Schupke Types as Graphs by Keean Schupke	davidb	2016-08-24 18:18
Story	Automatic type inference via partial evaluation Inference First by Keean Schupke	Ehud Lamm	2016-08-15 15:40
Forum topic	Microscript Dijkstra by Keean Schupke Common features by Keean Schupke Optimal Performance by Keean Schupke Stackless by Keean Schupke cooperative is faster by Keean Schupke Stacked lifetimes by Keean Schupke Resize by Keean Schupke AST Rewriting by Keean Schupke Similar Ideas by Keean Schupke	Ivan V.	2016-08-08 22:31
Forum topic	how to design PL support for effects emerging from parallel non-determinism? Program Metadata not Types by Keean Schupke Reasoning about functional correctness by Keean Schupke You need a logical sink by Keean Schupke Monadic Effects by Keean Schupke Metaprogramming Model by Keean Schupke System Level Programming by Keean Schupke Ready for use? by Keean Schupke Performance by Keean Schupke Actor Programming by Keean Schupke Network Routing by Keean Schupke ...	Rys McCusker	2016-07-15 20:51
Forum topic	WebAssembly Concurrency by Keean Schupke OS and Stacks by Keean Schupke Indeed. by Keean Schupke Trivial Optimisation by Keean Schupke Assumptions about concurrency. by Keean Schupke Short Answer? by Keean Schupke Blaise Pascal by Keean Schupke Recounting vs mark/sweep. by Keean Schupke Manual Memory Management by Keean Schupke Consensus by Keean Schupke ...	Ivan V.	2016-06-24 17:31
Forum topic	Recursive types OCaml type checking is clever by Keean Schupke Rational Trees by Keean Schupke Rational Trees by Keean Schupke Unification by Keean Schupke equi-recursive in 'C' by Keean Schupke Recursive Inference by Keean Schupke OCaml by Keean Schupke Principal types by Keean Schupke Canonical by Keean Schupke Rational Trees by Keean Schupke ...	skaller	2016-06-17 06:02
Forum topic	Theory of syntax extensions: does it exist? Starting by Keean Schupke Useful by Keean Schupke Sequence, alternation and repetition. by Keean Schupke	johnwcowan	2016-05-30 10:47
Forum topic	STEPS Toward the Reinvention of Programming, 2012 Final Report That is useful by Keean Schupke Start with proofs. by Keean Schupke Wirth by Keean Schupke Why should programmers ever see containers? by Keean Schupke Algorithms not containers by Keean Schupke Inverse problem by Keean Schupke Looks interesting by Keean Schupke Depends on the algorithm. by Keean Schupke	Greg Buchholz	2016-05-26 05:14
Forum topic	Was there a language with an explicit call stack? Big pages by Keean Schupke Zeroed pages by Keean Schupke Memory mapping aside. by Keean Schupke Stackless Concurrency by Keean Schupke Go by Keean Schupke Amusing Roof Space? by Keean Schupke Side Effects by Keean Schupke	Alex Shpilkin	2016-05-13 11:57
Forum topic	PL's hotness challenge Neural networks are not a panacea. by Keean Schupke	Sean McDirmid	2016-05-10 06:04
Forum topic	Don't use "Yield" for co-routines; instead use "Postpone" The Book by Keean Schupke By changing the definition? by Keean Schupke The Consumer by Keean Schupke Not parallel then? by Keean Schupke Time is not the only resource by Keean Schupke Serialisation by Keean Schupke Realisability by Keean Schupke Serialisation is unavoidable by Keean Schupke FutureList and Concurrency by Keean Schupke Implementation by Keean Schupke ...	Hewitt	2016-05-09 12:03
Story	SERIES Only in simple cases. by Keean Schupke	Luke Gorrie	2016-05-05 06:50
Forum topic	Best successor to Scheme? No Macros by Keean Schupke Function arguments must be expressions by Keean Schupke Optional named function arguments. by Keean Schupke Not templates by Keean Schupke Type traits and function traits by Keean Schupke JIT Compiler by Keean Schupke	raould	2016-05-03 06:31
Forum topic	Remora: An Array-Oriented Language with Static Rank Polymorphism Recovering Efficiency by Keean Schupke Access patterns by Keean Schupke Similar Ideas by Keean Schupke Concepts by Keean Schupke Static Sizes by Keean Schupke Add overloading by Keean Schupke Map for Iterators by Keean Schupke Explicit Lifting by Keean Schupke Coordinate Structures by Keean Schupke Cache Efficiency by Keean Schupke	raould	2016-04-24 16:35
Forum topic	Binary Representation - Is it something to rise above? PRNGs by Keean Schupke Naturals not infinite by Keean Schupke I will have a hard time... by Keean Schupke Definitions by Keean Schupke Real Reals by Keean Schupke Abstraction vs Implementation by Keean Schupke Rust does overflow checks. by Keean Schupke Wrapping Addition on Byte Arrays. by Keean Schupke The Blob by Keean Schupke Number Theory and Encryption by Keean Schupke ...	Ray Dillinger	2016-04-24 02:14
Forum topic	Elements of Programming in Rust	Keean Schupke	2016-04-22 08:39
Forum topic	Formalization and programming language design -- explained to all Variance. by Keean Schupke Interfaces without subtyping by Keean Schupke No Difference Then by Keean Schupke Backtracking. by Keean Schupke Lazy Type System by Keean Schupke How to solve by Keean Schupke GADT Syntax by Keean Schupke Lifting Values To Type Level by Keean Schupke Example with Requirement Propagation by Keean Schupke Assignment by Keean Schupke ...	gasche	2016-04-01 05:40
Forum topic	Earl Grey; the story of a new programming language Keyboards by Keean Schupke Operator symbols by Keean Schupke Named brackets are necessarily verbose by Keean Schupke XML by Keean Schupke Too many symbols by Keean Schupke Standardised Precedence by Keean Schupke	Greg Buchholz	2016-03-31 23:37
Forum topic	¿How can a dynamically typed language not actively prevent static checking? Not sure. by Keean Schupke Parametric vs Universally Quantified. by Keean Schupke Non extensible by Keean Schupke Different paths. by Keean Schupke I'm a programmer too. by Keean Schupke From mathematics to generic programming. by Keean Schupke Modules and Implicits by Keean Schupke Parameterisation vs Specialisation by Keean Schupke Sort Specialisation by Keean Schupke Elements of Programming by Keean Schupke ...	raould	2016-03-31 23:06
Story	C is Manly, Python is for “n00bs”: How False Stereotypes Turn Into Technical “Truths” Overly Simplistic by Keean Schupke Language Structure and Organisational Structure by Keean Schupke Programming languages for professionals by Keean Schupke Earning a Living? by Keean Schupke Trolling by Keean Schupke Questions != Trolling by Keean Schupke What instead? by Keean Schupke What Would You Do? by Keean Schupke Fordism by Keean Schupke Not The Whole Picture by Keean Schupke	Allan McInnes	2016-03-25 19:25
Forum topic	Logic Programming with Failure as an Exception Intensional Negation by Keean Schupke Not Committed Choice by Keean Schupke SMT in one paragraph by Keean Schupke Sound Unification by Keean Schupke Not Closed Domains by Keean Schupke Already read it by Keean Schupke Understanding by Keean Schupke Later Standards by Keean Schupke dif by Keean Schupke Disequalities as Constraints by Keean Schupke ...	Keean Schupke	2016-03-07 06:17
Forum topic	Whither actual generality/customizability/flexibility? Sean Parent Videos by Keean Schupke Adam an Eve by Keean Schupke Generalisability by Keean Schupke	raould	2016-03-06 14:59
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