Lambda the Ultimate

type	title	author	last post
Forum topic	CFL parsing, and another way to look at the CNF... Structure by Keean Schupke Conflated by Keean Schupke Parsing and type checking by Keean Schupke	Cyril	2017-03-07 07:27
Forum topic	Controlling Reductions One order by Keean Schupke Overlapping and Pure Prolog by Keean Schupke	skaller	2017-03-05 08:04
Forum topic	Process Network for Effects, Monad Alternative Joining it up by Keean Schupke Python by Keean Schupke	dmbarbour	2017-02-20 06:09
Forum topic	How will look a modern imperative language? All love here is functional only.. Special Case by Keean Schupke Threading by Keean Schupke Directed by Keean Schupke Objects and Methods by Keean Schupke Static Information and Program Correctness. by Keean Schupke Peformance, Objects and Monads. by Keean Schupke Why a straight jacket? by Keean Schupke Typing 'C' by Keean Schupke Trivial difference? by Keean Schupke	mamcx	2017-02-18 18:58
Forum topic	Inference of Polymorphic Recursion Reading and Understanding by Keean Schupke Module import by Keean Schupke Bad? by Keean Schupke	Matt M	2017-02-07 04:40
Forum topic	Generic overload resolution More than one thread by Keean Schupke Serialisation by Keean Schupke Objects by Keean Schupke Orthogonal by Keean Schupke	Jon Purdy	2017-01-22 15:41
Forum topic	Unsoundness Ref(Ref Int) by Keean Schupke Types For Lvalues by Keean Schupke Arrays by Keean Schupke	skaller	2017-01-20 15:16
Story	Do Be Do Be Do Static Scoping and Shadowing. by Keean Schupke One State by Keean Schupke cofunctions vs coroutines by Keean Schupke Single Thread of Control by Keean Schupke The Cofunction by Keean Schupke Yield by Keean Schupke Simpler by Keean Schupke Cofunction Semantics by Keean Schupke GADTs by Keean Schupke Typing Cofunctions by Keean Schupke ...	gasche	2017-01-12 18:51
Forum topic	Defining recursive function as a monad (or other solutions) Monadic Recusion by Keean Schupke	Ivan V.	2016-12-17 08:07
Story	Proving Programs Correct Using Plain Old Java Types Not Surprising by Keean Schupke	naasking	2016-11-11 00:28
Forum topic	How is structural typing checked? Implementation by Keean Schupke	mamcx	2016-10-26 16:44
Forum topic	Implicit conversion (subtyping) vs Explicit conversion Extensional rules cannot be unsound by Keean Schupke Recursive and Generative, Soundness and Completeness by Keean Schupke Implicit defined inside the type system by Keean Schupke Not subtyping by Keean Schupke	Keean Schupke	2016-10-23 06:46
Forum topic	Bottom Types Subsumption by quantification by Keean Schupke typing Nil by Keean Schupke	Keean Schupke	2016-10-07 22:33
Forum topic	ZenScript, A new open-source language project. Subclassing by Keean Schupke Expression Problem by Keean Schupke type-classes by Keean Schupke	Keean Schupke	2016-10-01 16:48
Story	Automating Ad hoc Data Representation Transformations Benchmarking and Generic Programming by Keean Schupke	naasking	2016-09-29 18:54
Story	Philip Wadler: Category Theory for the Working Hacker Pure Computer Programs by Keean Schupke Not Absurd by Keean Schupke Observability by Keean Schupke . by Keean Schupke Ariane by Keean Schupke Observation by Keean Schupke Process model, fibre execution. by Keean Schupke Seems a balanced response by Keean Schupke Standard Definition by Keean Schupke Re: Fibres by Keean Schupke ...	Ehud Lamm	2016-09-23 20:29
Forum topic	Certificates/proof of work of type checking? Annotations by Keean Schupke Overstating their claims by Keean Schupke Not tamper proof? by Keean Schupke Proof Checking by Keean Schupke	naasking	2016-09-22 06:41
Story	Type Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance Not any more. by Keean Schupke Meta Programms by Keean Schupke Best approach I have found. by Keean Schupke Traits = Type Classes by Keean Schupke Better ways by Keean Schupke Lazy evaluation is a misfeature by Keean Schupke Most Specific Match by Keean Schupke Programming as Abstract Algebra by Keean Schupke Dangerous and Useful by Keean Schupke Most specific instance by Keean Schupke	naasking	2016-09-20 05:47
Forum topic	Term Rewrite System Implementations? . by Keean Schupke Seems obvious by Keean Schupke	Ivan V.	2016-09-18 00:10
Forum topic	Looking for references on the expressiveness and computational completeness of a relational programming language Simplicity and Elegance by Keean Schupke Right for wrong reasons. by Keean Schupke Function Symbols by Keean Schupke . by Keean Schupke Of Course Prolog is Turing Complete by Keean Schupke Prolog or Datalog by Keean Schupke Relational Algebra plus Transitive Closure is Pure Prolog by Keean Schupke Generalised Transitive Closure by Keean Schupke	davidb	2016-09-08 06:02
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
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