Lambda the Ultimate

type	title	author	last post
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
Forum topic	EigenCFA: Accelerating Flow Analysis with GPUs Interesting by gasche	Alex1	2014-11-03 02:01
Forum topic	Virgil: a statically-typed language balancing functional and OO features Explicit delimiter by gasche Musings by gasche Those variants are not variants. by gasche	Kartik Agaram	2014-10-25 23:08
Forum topic	Programming with Managed Time Some remarks by gasche	Sean McDirmid	2014-10-23 00:47
Forum topic	Jonathan Blow's next foray into game language design Hm by gasche	jdougan	2014-10-21 20:35
Forum topic	SNAPL, a new PL conference on "big-picture questions and long-running research programs"	gasche	2014-10-11 23:08
Forum topic	A question of separation logic and monads Illusion of simplicity by gasche	Eric Biederman	2014-10-06 04:44
Forum topic	Experiment hop by gasche Hm by gasche Oh by gasche Hm by gasche Hm by gasche Hm by gasche Agreed by gasche	Ehud Lamm	2014-10-01 17:10
Forum topic	A StackExchange Site for Programming Language Theory Examples? by gasche Hm by gasche Hm by gasche Expectation by gasche Interest by gasche Programming Language Design? by gasche	aaditmshah	2014-09-27 15:30
Forum topic	Seeking artricle on syntax sugar and comparing programming languages Expressivity by gasche	const	2014-09-16 17:39
Story	An operational and axiomatic semantics for non-determinism and sequence points in C	gasche	2014-09-14 10:02
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