Lambda the Ultimate

type	title	author	last post
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
Story	Is Haskell the right language for teaching functional programming principles? Adding features by skaller	Ehud Lamm	2017-12-21 23:01
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
Forum topic	Céu: Structured Synchronous Reactive Programming (SSRP) synchronous by skaller Synchronous languages by skaller interesting abort model by skaller	fsantanna	2017-02-09 16:05
Forum topic	Generic overload resolution Effect order by skaller Agree by skaller Orthogonal by skaller Coverage by skaller Fortress by skaller Most specific instance by skaller	Jon Purdy	2017-01-22 15:41
Forum topic	Unsoundness Yes by skaller Spartan by skaller Undecidability by skaller Ref by skaller type system by skaller parse forest by skaller symmetry by skaller sums and exponentials by skaller Yes by skaller sums by skaller ...	skaller	2017-01-20 15:16
Story	Do Be Do Be Do yield by skaller Typing protocols by skaller	gasche	2017-01-12 18:51
Story	Stroustrup's Rule and Layering Over Time Stability by skaller Errors by skaller Counter example by skaller Cool by skaller More on Mud by skaller Lisp and S-expressions by skaller Editable Views by skaller Syntax is Algebra by skaller	Ehud Lamm	2017-01-04 21:43
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