Lambda the Ultimate

type	title	author	last post
Story	The Syntax and Semantics of Quantitative Type Theory	naasking	2017-07-26 18:34
Story	A Next Generation Smart Contract and Decentralized Application Platform Indeed, EVM features by naasking Further to this, the number by naasking The E language for smart contracts by naasking The difficulty with the by naasking Smart contracts have a long history by naasking	Manuel J. Simoni	2017-07-26 12:09
Forum topic	What would be involved in moving logic beyond FOL? The link works if you're by naasking	Charles Stewart	2017-07-14 15:18
Story	YOW! Lambda Jam 2017: John Hughes - Why Functional Programming Matters I generally see the adoption by naasking Nearly anything can be made by naasking Hide, encapsulate, the by naasking The vast majority of by naasking	Ehud Lamm	2017-07-12 11:44
Story	RustBelt: Securing the Foundations of the Rust Programming Language	naasking	2017-07-10 15:17
Story	Type Systems as Macros	naasking	2017-06-25 11:19
Forum topic	A refutation of Gödel's first incompleteness theorem Nevertheless, you can't make by naasking	Enrique Perez Arnaud	2017-05-25 18:11
Forum topic	Practical Principled FRP: Forget the past, change the future, FRPNow! Link is broken. You can by naasking	Sean McDirmid	2017-05-12 16:41
Forum topic	Domain specific language for playing games Lua is general purpose, not by naasking	davidb	2017-05-03 22:47
Forum topic	Process Network for Effects, Monad Alternative We can agree on nearly every by naasking You're not comparing by naasking	dmbarbour	2017-02-20 06:09
Story	Salon des Refusés -- Dialectics for new computer science I disagree with how I read by naasking I believe that the type by naasking Space-time Programming by naasking Unconventional Programming Paradigms - UPP'04 by naasking Some cool links. A few years by naasking	gasche	2017-02-19 07:18
Forum topic	Generic overload resolution I don't think much changes by naasking Meet semilattice by naasking	Jon Purdy	2017-01-22 15:41
Forum topic	Eliminating left recursion Here's the github project, by naasking Generalized Parser by naasking	skaller	2016-12-13 00:23
Forum topic	On the (Alleged) Value of Proof for Assurance But it seems to me that by naasking	shap	2016-11-24 01:04
Story	Proving Programs Correct Using Plain Old Java Types	naasking	2016-11-11 00:28
Forum topic	Best value for overloading? Yes, implicit arguments give by naasking Regardless of whether or not by naasking In my experience by naasking Re: multimethods, indeed by naasking	naasking	2016-11-07 18:29
Forum topic	Implicit conversion (subtyping) vs Explicit conversion I see no reason not to by naasking	Keean Schupke	2016-10-23 06:46
Forum topic	Indispensible use cases for record subtyping? Row polymorphic extension is by naasking Consider the lack of effect by naasking I agree, but the issues I by naasking I'm not convinced that by naasking Can you elaborate how key by naasking Top-down vs. bottom-up by naasking Got it, so you have two by naasking Is this supposed to model by naasking Say you want to write some by naasking Isn't symmetry worth by naasking ...	naasking	2016-10-04 17:37
Forum topic	ZenScript, A new open-source language project. Ceylon models Java's by naasking A link to a description of by naasking	Keean Schupke	2016-10-01 16:48
Story	Automating Ad hoc Data Representation Transformations	naasking	2016-09-29 18:54
Story	Philip Wadler: Category Theory for the Working Hacker If the language by naasking Then the Ariane rocket by naasking In any case you can observe by naasking So as I can observe free by naasking	Ehud Lamm	2016-09-23 20:29
Forum topic	Certificates/proof of work of type checking? I think you're reading too by naasking What does tamper-proof mean? by naasking You are correct that by naasking If the code has size N, it by naasking Sure, but tamper-proof code by naasking	naasking	2016-09-22 06:41
Story	Type Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance Regarding your concerns by naasking My thoughts on multimethods by naasking I think it's a useful point, by naasking I'm confused, isn't ad-hoc by naasking The most specific match has by naasking The meet rule ensures by naasking When we switch to by naasking Perhaps a more specific by naasking Your second case is handled by naasking	naasking	2016-09-20 05:47
Forum topic	Term Rewrite System Implementations? Term-rewriting programming by naasking	Ivan Vodišek	2016-09-18 00:10
Story	Functional Pearl: Type-safe pattern combinators Nicer types for Type-safe by naasking Right, exhaustiveness by naasking See also, Compiling with by naasking One feature that the by naasking	naasking	2016-09-16 18:18
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