Lambda the Ultimate

type	title	author	last post
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
Forum topic	Defining recursive function as a monad (or other solutions) What? by skaller	Ivan V.	2016-12-17 08:07
Forum topic	Eliminating left recursion Problem by skaller Interesting by skaller C++ crap by skaller Grune by skaller intention by skaller	skaller	2016-12-13 00:23
Forum topic	Any recent developments on "active libraries" that I'm missing? Old features by skaller	osa1	2016-12-08 18:01
Forum topic	Implicit conversion (subtyping) vs Explicit conversion Commutativity by skaller intensionally extensional by skaller Examples of poor choices by skaller General Principle by skaller	Keean Schupke	2016-10-23 06:46
Forum topic	Indispensible use cases for record subtyping? Row polymorphism modelling effects by skaller	naasking	2016-10-04 17:37
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