Lambda the Ultimate

type	title	author	last post
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
Forum topic	Multimethods over structural types Nimrod executes to resolve by gasche	Benjohn Barnes	2014-04-07 13:08
Forum topic	Modern Shell Language Almost interesting by gasche PowerShell and Vistrails by gasche	Pavel P	2014-04-06 11:51
Story	Facebook Introduces ‘Hack,’ the Programming Language of the Future Nonces are fine by gasche Hm by gasche runST runs effects by gasche Hm by gasche	bashyal	2014-03-26 03:53
Forum topic	"null" is to tagged unions as ???? is to records Instant failure as a better dual? by gasche	Kannan Goundan	2014-03-22 20:06
Story	Propositions as Types First- and Second- order polymorphism by gasche	Manuel J. Simoni	2014-03-19 07:14
Forum topic	The Evolution of CS Papers Geography? by gasche TL;DR by gasche	Sean McDirmid	2014-03-11 14:09
Forum topic	Resilient Languages Thanks by gasche Better warnings (and type system) by gasche	spdegabrielle	2014-03-11 00:57
Story	Jeeves References by gasche	Ehud Lamm	2014-03-02 16:02
Forum topic	Disallow shadowing? Tagging definitions with domain-specific names by gasche Indeed by gasche Type-driven smart glue by gasche Yes. $p on binders denotes by gasche Hm by gasche Coffeescript has no binders + syntax for warnings by gasche	Y	2014-02-25 02:06
Forum topic	"Down with Lambda-Lifting" Ask him by gasche	dbfaken	2014-02-24 17:04
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