Lambda the Ultimate

type	title	author	last post
Story	A Next Generation Smart Contract and Decentralized Application Platform Concerning by Jon Purdy	Manuel J. Simoni	2021-05-12 10:13
Forum topic	Lambdas and objects as an existential type Closure Conversion by Jon Purdy	const	2018-12-07 11:42
Forum topic	Type system based on epistemic modal logic? Time modalities are useful but not needed by Jon Purdy	Jon Purdy	2017-09-12 02:48
Forum topic	isomorƒ: an experimental structured editor for witing/deploying functional code Looks slick, can’t figure it out by Jon Purdy	Brian Kent	2017-08-15 18:39
Forum topic	How to name the inverse functions of constructors Seconded by Jon Purdy	hbrandl	2017-07-03 00:16
Forum topic	Prove: 'Cont r a = (a -> r) -> r' forms a monad Points? by Jon Purdy Honestly by Jon Purdy It’s easy, just tedious. by Jon Purdy	marco	2017-05-16 02:03
Forum topic	Generic overload resolution	Jon Purdy	2017-01-22 15:41
Forum topic	Resources for implementing higher-kinded types? Thanks! by Jon Purdy	Jon Purdy	2016-11-11 10:40
Forum topic	Garbage Collection Based on a Linear Type System Very interesting for a system in which no GC is assumed by Jon Purdy	raould	2015-11-03 06:48
Forum topic	Moderation on LtU I second flag-based moderation. by Jon Purdy	gasche	2015-09-05 11:34
Forum topic	Callisto: building a minimalist language on "versioned objects" Possible applications by Jon Purdy	gasche	2015-05-14 23:00
Forum topic	How can middle school algebra help with domain specific languages? Intuition for product types by Jon Purdy Too much overloading! by Jon Purdy Abstract Algebra by Jon Purdy	shahbaz	2015-01-21 17:18
Forum topic	Looking for a good online forum on compiler design and implementation Theory vs. Practice by Jon Purdy	Talin	2014-12-03 22:33
Forum topic	Who Needs Garbage Collection? Already on the same page. by Jon Purdy Concatenative? by Jon Purdy	Keean Schupke	2014-09-20 06:41
Forum topic	Those pesky higher-rank types. Or how to type \f x y. (f x, f y) A thought about intersection types by Jon Purdy	marco	2014-05-26 17:22
Forum topic	Disallow shadowing? Yep. by Jon Purdy Oh neat. by Jon Purdy	Y	2014-02-25 02:06
Forum topic	How about switching to Markdown? Right. by Jon Purdy I like HTML. by Jon Purdy	Y	2014-02-15 23:39
Forum topic	Booleans vs strings That’s true. by Jon Purdy And why not? by Jon Purdy You will regret it! by Jon Purdy	jamii	2014-02-15 22:49
Forum topic	Practical rules for controlling program effects in an imperative / OOP environment. For the record by Jon Purdy Some devilish advocacy by Jon Purdy Properties of Effects by Jon Purdy	bryanedds	2013-12-08 06:50
Forum topic	Default, implicit, inherited …without defaults one is by Jon Purdy	Aivar Annamaa	2013-12-01 10:14
Forum topic	Why is Static Typing Hard? Programmers might make by Jon Purdy I should clarify by Jon Purdy How strange! by Jon Purdy	Jon Purdy	2013-11-12 18:56
Story	Taking Off the Gloves with Reference Counting Immix Agreed by Jon Purdy	naasking	2013-10-18 02:42
Forum topic	How is LtU doing? I still check here regularly by Jon Purdy Work work work by Jon Purdy	Sean McDirmid	2013-09-29 23:55
Forum topic	Coroutines as a Basis for UI Programming Interesting! by Jon Purdy	Jason Priestley	2013-09-15 00:40
Story	Mixed-Site Variance Actually... by Jon Purdy	bashyal	2013-09-09 21:39
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