Lambda the Ultimate

type	title	author	last post
Forum topic	message, stream and protocol typing Session types by gasche	Rys McCusker	2015-05-25 23:37
Forum topic	From Programming Language Design (PLD) to Programmer Experience Design (PXD) Tooling by gasche We lack concrete examples by gasche Please be constructive by gasche	Sean McDirmid	2015-05-20 12:15
Forum topic	Divergence not bottom? Domain theory? by gasche Daimon references by gasche What is bottom? by gasche	Matt M	2015-05-20 00:23
Story	Eve: the development diary of a programming environment aimed at non-programmers Agreed by gasche Robustly glue them together by gasche	gasche	2015-05-18 20:56
Forum topic	Trouble understanding Danvy's functional unparsing Indeed; and I think it is by gasche Found it by gasche Seems to work by gasche	jezng	2015-05-18 13:35
Forum topic	Callisto: building a minimalist language on "versioned objects"	gasche	2015-05-14 23:00
Forum topic	Nanopass Compiler Framework XStream by gasche Not what I meant by gasche Hm by gasche	Bryan Turner	2015-05-13 22:28
Forum topic	A sketch of a "design papers/pearls" category in academic conferences Thanks by gasche Hm by gasche	gasche	2015-05-12 22:41
Forum topic	Five Paradigm Shifts in Programming Language Design and their Realization in Viron, a Dataflow Programming Environment Hm by gasche	Sean McDirmid	2015-05-10 16:17
Forum topic	Type Theory Glossary Crowd-sourcing by gasche	naasking	2015-05-09 12:14
Forum topic	Albatross formerly called Modern Eiffel is available Is (not) a function? by gasche	hbrandl	2015-05-08 19:57
Story	Type soundness and race freedom for Mezzo A few lessons from the Mezzo project by gasche	gasche	2015-05-07 13:14
Forum topic	What makes LtU more or less enjoyable? Co-design is the thing by gasche Nice by gasche Benefits of formalization by gasche Precise semantics by gasche Ironic by gasche I understand why you might by gasche Outreach? by gasche Form vs content by gasche	gasche	2015-05-07 06:03
Forum topic	C++ Parser Combinator Library The point by gasche Talking past each other by gasche Open recursion by gasche	Keean Schupke	2015-05-01 13:29
Story	A theory of changes for higher-order languages — incrementalizing λ-calculi by static differentiation Toy language by gasche	gasche	2015-04-24 13:57
Story	Seemingly impossible programs Problem with form by gasche	Ohad Kammar	2015-04-18 02:15
Forum topic	how many lines of code can civilization support? And Ada by gasche	Thomas Lord	2015-04-09 22:07
Story	The Next Stage of Staging Meh by gasche Mail the authors by gasche Ill-defined question by gasche Partial evaluation by gasche	naasking	2015-04-07 14:58
Forum topic	Constraint typing, subtyping, and separate compilation Indeed by gasche Use-case variance by gasche Hm by gasche Ceylon by gasche Hm by gasche	Sean McDirmid	2015-03-12 22:35
Forum topic	Making implicits less powerful? iconv to the (partial) rescue by gasche Prove coherence by gasche Hm by gasche Hm by gasche Proof search is unavoidable by gasche	Vladimir Slepnev	2015-02-20 16:07
Forum topic	Constraint-Based Type Inference and Parametric Polymorphism Mathjax > manual unicode usage by gasche iconv by gasche Hm by gasche First-class polymorphism in OO languages by gasche	Sean McDirmid	2015-02-13 23:43
Forum topic	Some notes on Rust, the language. Continuation Passing C by gasche Uncomfortable by gasche Formalization at VPRI? by gasche Successful *type system* by gasche Hm by gasche Hm by gasche I argue. by gasche The usual type soudness question by gasche	John Nagle	2015-02-09 07:25
Forum topic	Computing by deltas? Incremental lambda-calculus by gasche	Andy Fischer	2015-02-06 16:26
Forum topic	return-type polymorphism of monads done right in a dynamic language Same in typed languages by gasche Ben Wolfson by gasche	gasche	2015-01-27 16:18
Forum topic	Function arity with currying and call-by-push-value Hm by gasche Jumbo and L by gasche	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