Lambda the Ultimate

type	title	author	last post
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
Forum topic	A Farewell to FRP in Elm Nah... by neelk	Greg Buchholz	2016-05-11 15:35
Forum topic	Is the "Getting started"-guide up-to-date? Medical errors are actually by neelk Among other things... by neelk	filipallberg	2016-03-29 06:03
Story	Compilers as Assistants Second-system effect by neelk	bashyal	2015-12-04 15:35
Story	Programming with Algebraic Effects and Handlers IIRC, Balat, di Cosimo and by neelk	Matt Hellige	2015-12-04 03:11
Forum topic	Andrei's answer to "Which language has the brightest future in replacement of C between D, Go and Rust? And Why?" I've been talking to autonomous robotics people... by neelk See DO-178/ED-12 by neelk No, it's less pain now by neelk What's the expense? by neelk I don't agree... by neelk	Sean McDirmid	2015-11-24 16:45
Story	When Is A Functional Program Not A Functional Program?	neelk	2015-11-20 21:56
Forum topic	PL vs. PX Thanks by neelk Take a look at Agda... by neelk	Sean McDirmid	2015-10-26 18:24
Forum topic	meta: September "propose a post" post (proposal) Here are some major advances by neelk	Thomas Lord	2015-09-15 10:27
Forum topic	After over two years and 1700 commits, the Nu Game Engine (the world's first practical pure functional game engine) reaches v1.0 He missed some, though... by neelk	bryanedds	2015-09-14 14:37
Forum topic	Continuous feedback in PL Take a look at... by neelk	Sean McDirmid	2015-08-21 14:39
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