Lambda the Ultimate

type	title	author	last post
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
Forum topic	Limitations of FRP? Yes :) by neelk FRP as Curry-Howard for temporal logic by neelk	Sean McDirmid	2015-08-04 08:28
Forum topic	Research vs implementation, theory vs practice, and LtU Objects are bad for simulations by neelk If a normal programmer... by neelk Disagree... by neelk	Blaisorblade	2015-07-28 16:57
Forum topic	Who owns your research? Results of SIGPLAN Open Access survey The big problem is for researchers in small countries by neelk Most do not care about Gold by neelk	gasche	2015-06-25 06:55
Forum topic	Have tracing JIT compilers won? What do you mean? by neelk	Peter Michaux	2015-05-26 21:09
Forum topic	The Programming Language Wars: Questions and Responsibilities for the Programming Language Community Actually... by neelk	Phil Miess	2015-05-18 14:25
Forum topic	Type Inference in Object Oriented Languages Finding out whether the by neelk	Johan Tibell	2015-03-09 01:57
Forum topic	Making implicits less powerful? In a dependent type system, by neelk Can you explain how your by neelk I'm not talking about dependent types... by neelk ? by neelk You can't dispatch on return type with virtual methods by neelk	Vladimir Slepnev	2015-02-20 16:07
Forum topic	Constraint-Based Type Inference and Parametric Polymorphism Thanks by neelk How do you handle function arguments? by neelk Standard OO languages lead to hard problems by neelk	Sean McDirmid	2015-02-13 23:43
Forum topic	Some notes on Rust, the language. I'm not sure by neelk Parts of it by neelk In the case of Rust... by neelk Not in my experience by neelk	John Nagle	2015-02-09 07:25
Forum topic	Function arity with currying and call-by-push-value Qs and As by neelk	Blaisorblade	2015-01-05 16:09
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