Lambda the Ultimate

type	title	author	last post
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
Forum topic	Patent on "safe" transitive immutability for object types — prior art? LtU patents by gasche Mezzo, probably ATS by gasche	Blaisorblade	2014-09-11 18:18
Forum topic	SPLASH 2014 - Call For Participation Software for Humanity... in the US by gasche	craiganslow	2014-09-09 21:30
Forum topic	Typographic Programming Languages My personal experience of by gasche	Sean McDirmid	2014-08-28 12:39
Story	Cost semantics for functional languages Do I understand correctly by gasche Hm by gasche No by gasche GC by gasche Real world machines != machine models by gasche on form by gasche Precise calculation by gasche "Program" in an abstract sense by gasche	gasche	2014-08-21 22:00
Story	Apple Introduces Swift Strings by gasche	bashyal	2014-08-21 17:54
Forum topic	The broad ML Family workshop Programme by gasche	Oleg	2014-07-31 10:07
Story	Interactive scientific computing; of pythonic parts and goldilocks languages Hm by gasche	gasche	2014-07-24 16:28
Forum topic	The year that was: 1965. Crazy, no, vaporous, yes by gasche	Hank Thediek	2014-07-19 13:10
Forum topic	Note to home page contributors Thanks by gasche	Ehud Lamm	2014-07-13 11:40
Forum topic	Rank-0 Intersection Type System ML, HM by gasche Embedding in System F by gasche . by gasche Let rule seems wrong by gasche Maybe errors in the let rule? by gasche -rectypes by gasche	Keean Schupke	2014-06-15 11: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