user | Lambda the Ultimate

user

view
track

type	title	author	last post
Story	Mechanized Metatheory Model-Checking Use BMC for bounded checking like this by Tim Leonard AEP () Attack by Doug Landauer Model-checking hardware, and the FL functional language by Allan McInnes How to... by Matt Hellige How to formulate a type by Denis Bredelet -jido obviously a type error by Dave Herman I'm working on this! by ToRA Artificial distinctions by Luke Gorrie soundness: keeping your promises by Dave Herman The advantage of formal specs by Andreas Rossberg ...*	Jim Apple	2006-12-11 21:44
Forum topic	Lambda expressions in VB.NET	Michael Dorfman	2006-12-11 08:58
Forum topic	The Cat Language Kind System Good catch by cdiggins Shouldn't that start with by Sjoerd Visscher Great idea by cdiggins Thank you by Mario B. Sorry, the <: is less-than by Matt M Before that by cdiggins The problem here is that the by Matt M Ok, I revisited your rules by cdiggins I just noticed your reply to by Matt M T: (A) -> (B, C) by Matt M ...	cdiggins	2006-12-11 07:11
Forum topic	Date format in the forum bike shedding by Mattias Engdeg No problem... by Chris Rathman Hmm by Anton van Straaten Now I'll have to... by Chris Rathman Dates by lennart Re: Good point by Denis Bredelet -jido Good point by Anton van Straaten	Denis Bredelet -jido	2006-12-11 04:11
Forum topic	Continuations and freeing the stack Resumable exceptions are very easy by Oleg You use heap allocated stack by Logan Capaldo	Denis Bredelet -jido	2006-12-11 01:51
Story	ACM Queue: Unlocking Concurrency - Multicore programming with transactional memory	Ehud Lamm	2006-12-10 15:13
Forum topic	Extremely static language? Following Church's Church by Brandon Moore Static typing is closed form abstract interpretation by naasking Prevention vs. detection by Luke Gorrie [Community] Stop by rebooted Your an idiot it is weak by atbusbook Testing is better than a by atbusbook Semantic subtyping by mrpingouin A possible name by Leland McInnes Automated theorem prover + Compiler by keean Structural typing by Kannan Goundan ...	viergroupie	2006-12-09 01:28
Story	[Redux] A Syntactic Approach to Type Soundness (1992) An important paper indeed by Josef Svenningsson In the future I will do so, by cdiggins Thanks. Important papers are by Ehud Lamm Done. by cdiggins If the papers were by Ehud Lamm	cdiggins	2006-12-08 14:52
Story	Self-Reproducing Programs in Common Lisp Quines by Andrew Moss Parable ending by ctdean	Luke Gorrie	2006-12-08 13:55
Forum topic	eskimo: experimenting with skeletons in the shared address model.	Denis Bredelet -jido	2006-12-08 11:39
first page previous page next page last page