Lambda the Ultimate

type	title	author	last post
Forum topic	Examples of Categorical Semantics for Languages with Dependent Types Thanks for the pointer, this by Thorvaldur Thorvaldsson Seconded by Charles Stewart Syntax and Semantics of Dependent Types by Wouter Swierstra Good Reference, but the Approach Requires a lot of Machinery by echinuz Categorical Logic and Type Theory by Bart Jacobs by Thorvaldur Thorvaldsson	echinuz	2007-09-08 02:04
Forum topic	Free video lectures presented by Kay, Lampson, Ingalls, ...	ecavazos	2004-09-23 02:10
Forum topic	Open problems in category theory and computing science I don't know if I fully agree by neelk Thanks by Dustin Mulcahey Researchers by Frank Atanassow Compared to open programs by Luke Gorrie About open problems by Charles A Stewart	Dustin Mulcahey	2005-03-09 20:08
Forum topic	Popr Tutorial: Dot Machines Ordered pushl/popr is necessary by Dustin DeWeese popr wormholes? by dmbarbour I think I get it by Dustin DeWeese problems with popr, rephrased by dmbarbour nope by Dustin DeWeese It's a work in progress by Dustin DeWeese re: arity inference part nauseum by dmbarbour Arity inference just won't work by Dustin DeWeese not just display is incorrect by dmbarbour PoprC is not a term rewriting machine by Dustin DeWeese ...	Dustin DeWeese	2018-04-18 22:18
Forum topic	/join the #proglangdesign channel on Freenode	Dustin DeWeese	2017-07-12 17:40
Forum topic	Using continuations for web programming Seaside Framework by dtauzell What happens if the user gets by Jonathan Tang Re: Continuations or wait loop? by dtauzell Continuations or wait loop? by Marc Hamann	dtauzell	2004-10-01 13:22
Forum topic	Concurrency made easy? If C is what you're familiar by cananian Connective Logic - alternative approach to concurrency by ziglar Alice by Davor Cubranic Concurrent C by Watson Ladd Coordination techniques in imperative languages by Kaushik Sridharan without threads by Jack Waugh And was discussed here many by Ehud Lamm Erlang is the most obvious by rebooted Lightweight Threads vs. Threadless by Brandon Moore	drwhite	2006-09-18 23:14
Forum topic	FringeDC Formal Meeting- Jan 5th 2008- Presentation by Gary Knott of Civilized Software [Admin] by Ehud Lamm commercial Lisp software by imac	drcode	2008-01-07 07:08
Forum topic	FringeDC Programming Group Formal Meeting- July 12th, 6PM	drcode	2008-06-22 20:53
Forum topic	FringeDC Formal Meeting Oct 11th 6PM- Writing a compiler for a functional programming language	drcode	2008-10-05 17:42
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