Lambda the Ultimate

type	title	author	last post
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
Forum topic	Limitations of Prolog-style clausal programs It may be a by gasche volunteer moderator by gasche	Hewitt	2014-02-11 10:53
Forum topic	POPL 2014 proceedings available freely for all A few reasons by gasche Links are no more by gasche Hm by gasche Paper list by gasche	gasche	2014-02-08 00:34
Forum topic	Examples for benefitfs of dynamic programming languages Related work by gasche "Dynamic" features? by gasche	Sebastian Okon	2014-01-30 21:54
Forum topic	Less is more. It was, however, an by gasche Static or dynamic by gasche Bedrock by gasche Nope; dispatch happens before specialization by gasche Static dispatch by gasche Indeed by gasche Dispatch by gasche Yes, but what/how? by gasche PL teaching by gasche Familiarity by gasche ...	Rys McCusker	2014-01-19 13:05
Forum topic	Different approaches to letting a programmer define interface implementations. Backpack by gasche Hm by gasche Intersection types accept all normalizing terms by gasche Weak and strong sums by gasche	Kannan Goundan	2014-01-15 04:00
Story	Pure Subtype Systems Step-indexing for strong normalization by gasche	naasking	2014-01-14 06:09
Story	Backpack: Retrofitting Haskell with a Module System, at last	gasche	2014-01-05 16:59
Forum topic	Inconsistency Robustness in Logic Programs Focusing, focusing, focusing by gasche	Hewitt	2014-01-01 18:30
Forum topic	A usage poll for the Coq proof assistant	gasche	2013-12-29 01:07
Forum topic	John Shutt on "Abstractive Power"	gasche	2013-12-25 04:25
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