Lambda the Ultimate

type	title	author	last post
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
Story	Future of software design? So.. by rebooted	Peter Van Roy	2006-11-21 20:18
Story	Ruby 2.0 News I think I may have been by rebooted	Ehud Lamm	2006-11-04 20:32
Forum topic	Designing a Programming Textbook Well this idea obviously has by rebooted	cdiggins	2006-10-02 19:26
Story	Visual Basic and LINQ I'm not sure about dynamic by rebooted	Erik Meijer	2006-09-26 11:35
Forum topic	Concurrency made easy? Erlang is the most obvious by rebooted	drwhite	2006-09-18 23:14
Story	Gradual Typing for Functional Languages While I don't share their by rebooted Hmm by rebooted	Paul Snively	2006-09-04 13:48
Forum topic	Implementing arrays Languages with co-inductive by rebooted	dataangel	2006-09-02 09:52
Forum topic	Overloading : Why do some languages leave it out? C++ provides too many ways by rebooted Unrestricted overloading in by rebooted	cdiggins	2006-08-08 21:28
Story	The right default: concurrent components with message passing Sometimes the most natural by rebooted	Peter Van Roy	2006-07-22 16:37
Forum topic	First Class Values, Types as values within a Programming Language Yes, this is just sugar for by rebooted	Bruce Rennie	2006-07-20 00:50
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