recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	...PHP language research Project page by L Spice _ by oldaccount try googling for by raould	oldaccount	2011-08-31 18:33
Forum topic	(Very) Simpleminded kind question The Ur/Web language that I'm by Adam Chlipala The Kind of Monad Transformers by Leon P Smith Others for phantom types? by Douglas McClean Pure type systems by Charles Stewart It depends on the language... by neelk How about unboxed types in by max taldykin This is probably the by sr Kind of... by dmbarbour higher-order kinds by gasche	jimdesu	2009-07-26 14:11
Forum topic	(noob question) method parameters in co-and-contravariance issue Nope by James Iry Consider the case of a generic method by chihiro Not exactly by James Iry Not really covariance by marshall	chihiro	2008-01-31 12:47
Forum topic	(newbie question) Covariance and contravariance Eiffel by James Iry Kannan, Thanks for the clear by chihiro Any other languages doing the same thing. by chihiro Not even then by Daniel Yokomizo Array covariance can be safe... by Scott Johnson The type operator is the thing that creates array types. by Kannan Goundan Covariance of Arrays by Andris Birkmanis	chihiro	2008-01-15 21:00
Forum topic	(from 2004) Possibly faster Haskell	raould	2005-10-14 18:13
Forum topic	(Even more) theorems for free? So all we need now... by sigfpe Yes, this makes sense. It's by neelk Linear logic by lennart Yes...but that's a different logic... by sigfpe It's a perfectly by neelk You have me intrigued by sigfpe Something needed by Andris Birkmanis Nothing by lennart Continuations by Andris Birkmanis Used arguments by lennart ...	Andris Birkmanis	2007-01-03 21:55
Forum topic	(Alice ML + monads - value cells) > Haskell? In theory by Andreas Rossberg	Manuel J. Simoni	2007-08-17 11:13
Forum topic	'Mindless coding': following proof steps makes algorithms easy Well, we do have design by Sean McDirmid and, tools in the semantic sense by raould Does it feel like plumbing because you're using the wrong tools? by Keean Schupke Even worse: it can't be by Sean McDirmid Same old story by johnwcowan	raould	2014-07-15 23:30
Story	'Information and Computation' Open Access Access no longer open? by leemarks What about Moggi's paper then? by Sylvain Schmitz Logosphere by Leon P Smith Wishful Thinking by Leon P Smith Yes, off-topic by Anton van Straaten I find it immensely interesting by pantagruel Ehud is on Holidays by marco Nature is an example infested with lice by marco You are very cute. by tkatchev Re by Andreas Rossberg ...	Frank Atanassow	2006-07-05 23:13
Forum topic	'FeML: a skeleton of a femto-ML with nothing but polymorphic variants and functions It's a cool idea by tonyg In defense of type declarations by gasche Exciting bit? by spdegabrielle	spdegabrielle	2012-06-21 03:46
first page previous page next page last page