Lambda the Ultimate

type	title	author	last post
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
Forum topic	ZenScript, A new open-source language project. Felix by skaller	Keean Schupke	2016-10-01 16:48
Story	Philip Wadler: Category Theory for the Working Hacker ATS by skaller Fibres by skaller Call return path by skaller Fp will dominate? by skaller Imperative programming is .. by skaller Reasoning by skaller FP modelling by skaller Effects by skaller	Ehud Lamm	2016-09-23 20:29
Forum topic	Viability of a static type system (like ML) for a relational language? Row polymorphism by skaller	mamcx	2016-08-29 22:50
Forum topic	language handling of memory and other resource failures More on Time by skaller Time by skaller	Rys McCusker	2016-08-27 18:57
Forum topic	Is there a language with the ability to write arbitrary type functions? blogless expansion by skaller Type functions in Felix by skaller	davidb	2016-08-24 18:18
Forum topic	Microscript Refs and control by skaller Visible but refactorable pre-emptive/cooperative boundaries by skaller stack and heap by skaller Stacks by skaller PPL by skaller	Ivan V.	2016-08-08 22:31
Forum topic	how to design PL support for effects emerging from parallel non-determinism? Issue independent of determinsm by skaller	Rys McCusker	2016-07-15 20:51
Forum topic	WebAssembly Custom Back end by skaller Scanning free lists slow? by skaller Garbage collection worse? by skaller Safety by skaller Call stack by skaller	Ivan V.	2016-06-24 17:31
Forum topic	Recursive types Equi and Iso recursive types by skaller Doubts by skaller You're right by skaller Clarification by skaller Ok but is the algorithm correct? by skaller	skaller	2016-06-17 06:02
Forum topic	Metaprogramming and Free Availability of Sources For C++ use Felix by skaller	oldaccount	2016-06-01 20:52
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