Lambda the Ultimate

type	title	author	last post
Forum topic	Is there an existing name for my higher-order function? This is 100% correct, in a by neelk	shawnbrown	2021-01-05 04:44
Forum topic	The AST Typing Problem (a bleg, also "why did attribute-grammars fail?") Nanopass? by neelk	chetmurthy	2020-12-15 19:40
Forum topic	System programming using FP Most of the current... by neelk Networking in SML... by neelk	Todd Coram	2020-11-27 13:54
Forum topic	Lambdas and objects as an existential type Typed closure conversion by neelk	const	2018-12-07 11:42
Forum topic	Type Bombs Surprisingly, no by neelk *Square* the size of the type with lets by neelk	marco	2018-05-17 10:51
Story	Graydon Hoare: What next for compiled languages? More generally, it sounds by neelk	Ehud Lamm	2018-04-06 02:24
Forum topic	Defunctionalization+Refunctionalization+Expression Problem This breaks alpha-equivalence by neelk	chrisoliver	2018-02-02 04:24
Forum topic	Programming by poking: why MIT stopped teaching SICP This is definitely wrong by neelk Torture leads to weeding-out by neelk	Sean McDirmid	2018-01-26 06:42
Forum topic	A Functional Representation of Data Structures with a Hole (1998) What I mean... by neelk This, plus... by neelk You still need a linear by neelk	Vladimir Slepnev	2017-12-01 12:08
Story	How efficient is partial sharing? Just plain old MLTT by neelk Conversion in type theories by neelk	Charles Stewart	2017-11-21 13:37
Forum topic	The Platonic Solids of Software Construction and Their Realization in C It's not a matter of... by neelk A type system *could* help... by neelk	bryanedds	2017-09-29 19:00
Forum topic	Affine Types - Introductory reading The fact that the by neelk Finite dimensional vector by neelk Do you have any specific questions? by neelk	filipallberg	2017-07-10 02:17
Forum topic	Domain specific language for playing games Take a look at... by neelk	davidb	2017-05-03 22:47
Forum topic	Conversion of 'functional' to 'imperative' algorithms: is it possible? If you need to reason about s by neelk Yeah, that's exactly right. L by neelk Linear types prohibit sharing.... by neelk	Achilleas Margaritis	2017-03-31 19:14
Forum topic	How will look a modern imperative language? All love here is functional only.. Neither imperative nor functional programming is very natural by neelk	mamcx	2017-02-18 18:58
Forum topic	jsMath support? There appears... by neelk	neelk	2016-12-29 16:05
Forum topic	List of POPL 2017 papers with crowd-sourced preprint links The biggest win is that by neelk	gasche	2016-12-08 18:05
Forum topic	On the (Alleged) Value of Proof for Assurance By lattice-theoretic by neelk It's not a matter of "feelings"... by neelk	shap	2016-11-24 01:04
Forum topic	Resources for implementing higher-kinded types? Yep by neelk See Mark Jones FPCA 1993 paper by neelk	Jon Purdy	2016-11-11 10:40
Forum topic	Term Rewrite System Implementations? K framework by neelk	Ivan V.	2016-09-18 00:10
Forum topic	Whither FRP? Which paper? by neelk	raould	2016-09-03 12:47
Story	Automatic type inference via partial evaluation On first reading, I don't thi by neelk	Ehud Lamm	2016-08-15 15:40
Forum topic	Branch Forward Only "Single-loop code" by neelk	Greg Buchholz	2016-07-29 20:58
Forum topic	WebAssembly ! by neelk No tail calls planned, then? by neelk	Ivan V.	2016-06-24 17:31
Forum topic	Recursive types See... by neelk	skaller	2016-06-17 06:02
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