Lambda the Ultimate

type	title	author	last post
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
Forum topic	How can be a interpreter faster than C (aka: kdb+) OS and runtime by gasche	mamcx	2014-12-31 14:26
Forum topic	SML# targets LLVM Confluence by gasche safepoint placement work by gasche	raould	2014-12-26 21:05
Story	Zélus : A Synchronous Language with ODEs	gasche	2014-12-11 21:52
Forum topic	Why do we need modules at all? tooling in C# vs Haskell by gasche It's not ambiguity by gasche	Sean McDirmid	2014-12-06 15:20
Story	Facebook releases "Flow", a statically typed JavaScript variant Unconvinced by gasche	James Iry	2014-12-03 08:59
Forum topic	Code Completion for Generic Programming Iterators are control-inversed folds by gasche Hm by gasche Which flow? by gasche Unconvinced by gasche	Keean Schupke	2014-11-24 17:37
Forum topic	Impact of static type systems on productivity of actual programmers: first experiment I've seen documented. In the middle by gasche Type erasure and type-based optimization are compatible by gasche Unsure about type erasure as the border by gasche	Ray Dillinger	2014-11-18 03:22
Forum topic	Whither Flow Analysis? Read the paper! by gasche LtU posts? by gasche	raould	2014-11-14 11:54
Forum topic	Opposing Hierarchies of Complexity Safe or unsafe? by gasche Hm by gasche C uses a runtime system by gasche Hm by gasche Consistency? by gasche Hm by gasche Dangerous grounds by gasche Not simple compared to what? by gasche	Keean Schupke	2014-11-05 22:20
Story	Exceptional syntax Already by gasche Indeed by gasche A syntactic improvement by gasche	Chung-chieh Shan	2014-11-04 18:51
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