Lambda the Ultimate

type	title	author	last post
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
Forum topic	Notation for debugging type derivations. As a tree by gasche	Keean Schupke	2014-06-06 19:04
Forum topic	Announcing Lang.NEXT 2014 - Registration is Free and Now Open We have the terminology by gasche Notations and concepts by gasche Meh by gasche Wrong maybe, confused certainly by gasche Meh by gasche	Charles Torre	2014-06-04 00:59
Forum topic	Those pesky higher-rank types. Or how to type \f x y. (f x, f y) newtype dance by gasche Hm by gasche Correct by gasche Haskell by gasche Type constructors by gasche Generality by gasche Hm by gasche Fomega by gasche	marco	2014-05-26 17:22
Forum topic	Executable comments Not all comments are alike by gasche	Sean McDirmid	2014-05-22 23:23
Forum topic	type theory about programming language? Proof search ~ pure term search by gasche A claim by gasche PEP 3104 by gasche Indeed by gasche Reduced surface area by gasche Hm by gasche Many roads to programming language research by gasche	Rys McCusker	2014-05-21 23:10
Forum topic	Value-level programming Nonsense by gasche Unconvinced by gasche	Vladimir Slepnev	2014-05-08 19:51
Forum topic	The Mezzo programming language Separation logic and language design by gasche	hellertime	2014-05-08 13:18
Forum topic	Alternatives to ADL? Yeah by gasche	Talin	2014-05-02 21:27
Story	Deca, an LtU-friendly bare metal systems programming language As I claimed above, ATS is by gasche I was thinking of the by gasche Related works: ATS by gasche	Anton van Straaten	2014-04-23 16:10
Story	.NET Compiler Platform ("Roslyn") Parser combinators for LR grammars by gasche Madoko looks very nice by gasche	Ehud Lamm	2014-04-22 23:53
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