Lambda the Ultimate

type	title	author	last post
Forum topic	Looking for papers on covariance and contravariance two by castagna by skaller	AaronNGray	2019-02-10 18:33
Story	On compositionality Grammars do compose by skaller Grammars do compose by skaller	Charles Stewart	2018-10-23 17:45
Forum topic	How to decrease bugs in the code Test weapons by skaller "if you Google "unit tests by skaller	akira	2018-09-18 02:19
Story	Is Haskell the right language for teaching functional programming principles? Adding features by skaller	Ehud Lamm	2018-08-14 06:26
Story	"C Is Not a Low-level Language" determinism by skaller C by skaller	Allan McInnes	2018-08-02 15:16
Story	How to Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-rules macros still by skaller	Andris Birkmanis	2018-05-21 07:37
Forum topic	Are "jets" a good idea? type classes by skaller	xkapastel	2018-03-16 14:28
Forum topic	Programming by poking: why MIT stopped teaching SICP Reasoning? by skaller	Sean McDirmid	2018-01-26 06:42
Forum topic	Algebra Of Pointers Vector space: no by skaller flat memory by skaller Memory model by skaller	Keean Schupke	2017-12-30 13:48
Forum topic	Project Loom: adding fibers and continuations to Java Fibres by skaller	Rys McCusker	2017-12-21 21:21
Forum topic	A Functional Representation of Data Structures with a Hole (1998) Pointers by skaller	Vladimir Slepnev	2017-12-01 12:08
Forum topic	The question of the possibility of a simple formal foundation to the natural languages. Yes by skaller	Enrique Perez Arnaud	2017-08-16 01:24
Forum topic	hobbes, Morgan Stanley OSS Polymorphic recursion by skaller	Kalani	2017-07-27 14:55
Forum topic	Question: do you have to climb the tower of interpreters? Why not good? by skaller	artemonster	2017-07-26 19:26
Story	YOW! Lambda Jam 2017: John Hughes - Why Functional Programming Matters Principal Software Engineering by skaller Lisp and OO by skaller Maths by skaller	Ehud Lamm	2017-07-12 11:44
Forum topic	Affine Types - Introductory reading Once usage by skaller	filipallberg	2017-07-10 02:17
Forum topic	How to name the inverse functions of constructors Inverses? by skaller	hbrandl	2017-07-03 00:16
Forum topic	Domain specific language for playing games Game oriented DSL by skaller Pretty Bad Idea by skaller One percent by skaller most likely? by skaller DSL by skaller Felix by skaller	davidb	2017-05-03 22:47
Forum topic	Compiler IDE API Why IDE by skaller	Keean Schupke	2017-04-14 06:08
Forum topic	notes on a C-ish memory manager design green vs red by skaller Concurrent by skaller fibres by skaller Reentrancy by skaller Fibres by skaller	Rys McCusker	2017-03-27 16:24
Forum topic	Rust's language ergonomics initiative C/C++ casts by skaller Isomorphisms by skaller	gasche	2017-03-11 09:00
Forum topic	CFL parsing, and another way to look at the CNF... Conflated? by skaller	Cyril	2017-03-07 07:27
Forum topic	Controlling Reductions Order by skaller	skaller	2017-03-05 08:04
Forum topic	Process Network for Effects, Monad Alternative KPN Semantics by skaller optimisations by skaller determinism by skaller Determinism can be bad by skaller Functions by skaller Coroutine modelling by skaller	dmbarbour	2017-02-20 06:09
Forum topic	How will look a modern imperative language? All love here is functional only.. Mapping by skaller Communication by skaller Ambiguous by skaller Models by skaller Functional vs Imperative by skaller Shared issues by skaller demo by skaller control types by skaller yield and ref transparency by skaller Performance by skaller ...	mamcx	2017-02-18 18:58
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