Lambda the Ultimate

type	title	author	last post
Story	Lightweight Static Capabilities Ah, I've been looking for by rebooted	Paul Snively	2021-12-02 13:45
Forum topic	A Brief History of Scala Modules are more suited for by rebooted Re:Technology or Culture? by rebooted Interesting by rebooted	Isaac Gouy	2011-01-17 05:41
Forum topic	Types vs classes: what is the difference? Types are not sets by rebooted	caustic	2010-03-18 19:39
Forum topic	The Next Mainstream Programming Languages linear types by rebooted	Per Vognsen	2010-01-24 13:32
Forum topic	Does anyone know of work done on co-data-types? Charity, CPL by rebooted	David Minor	2009-01-30 22:27
Forum topic	Applied Type System vs. Epigram Epigram/DML/Cayenne by rebooted	naasking	2008-09-16 06:44
Forum topic	Let's make a programming language! Metaprogramming is what it by rebooted Arrow by rebooted Isn't Spirit written with by rebooted Even though you know by rebooted What for? I already know by rebooted Metaprogramming is what it by rebooted Yeah, I'm pretty sure that's by rebooted ? by rebooted quote and eval. by rebooted Can you explain your by rebooted ...	Achilleas Margaritis	2008-09-12 09:21
Forum topic	Confused Deputies in Programming Languages Comonads? by rebooted Capability security is by rebooted	naasking	2008-03-18 02:47
Story	Pure, Declarative, and Constructive Arithmetic Relations Is logic programming macro-expressible? by rebooted	Ehud Lamm	2008-03-17 19:38
Story	The Design and Implementation of Typed Scheme I intend to check out Typed by rebooted	Ehud Lamm	2008-02-08 03:56
Story	How to write your next POPL paper in Coq A Syntactic Approach to Type by rebooted	Ehud Lamm	2008-01-13 18:01
Forum topic	On the Importance of Purity And the point I hinted at by rebooted Capabilities by rebooted	naasking	2007-12-02 14:53
Forum topic	Petition for adding garbage collection to C++. You don't have to use monads by rebooted Unreal Engine 4 by rebooted Region Papers by rebooted Either way, why should a by rebooted Felix by rebooted Really, this is widely by rebooted	Achilleas Margaritis	2007-11-20 16:24
Forum topic	Uniqueness Types Instead STM Uniqueness types are a form by rebooted	kaveh.shahbazian	2007-10-12 22:59
Story	HOPL III and the History of Haskell Agreed by rebooted	Chris Rathman	2007-05-28 07:16
Forum topic	Total Functional Programming Along these lines by rebooted	Greg Buchholz	2007-05-27 20:18
Forum topic	How to make the static represent the dynamic? Vault by rebooted	raould	2007-05-23 02:19
Forum topic	Question on categorizing a language Sounds "functional" by rebooted	derekp	2007-03-20 21:33
Forum topic	Effects in Types Monads, Substructural Logic, Effect Systems by rebooted	cdiggins	2007-02-22 11:17
Forum topic	Why Are ALL Programming Languages So Low Level? In your original post you by rebooted Pretty sure its a troll..but by rebooted Well, can you explain by rebooted All? by rebooted	Vorlath	2007-01-16 22:41
Forum topic	Programming Language Research Search Engine Agreed by rebooted Very nice job! by rebooted	cdiggins	2006-12-28 17:17
Forum topic	Transparent Persistence So does Alice by rebooted	playergiro	2006-12-20 17:31
Forum topic	Abstractly typed languages Interesting Stuff by rebooted	Matthew Willson	2006-12-15 04:58
Forum topic	unchecked exceptions are like runtime type checking? A type error in a typed by rebooted Something else by rebooted	lumpynose	2006-12-13 09:40
Forum topic	Extremely static language? [Community] Stop by rebooted	viergroupie	2006-12-09 01:28
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