recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Looking for papers on covariance and contravariance One alternative to consider by sttaft I'm not sure where my by Matt M You have piqued my curiosity! by cpurdy Hmm by Matt M Good papers by cpurdy Plenty of people have done by Sean McDirmid two by castagna by skaller	AaronNGray	2019-02-10 18:33
Forum topic	looking for dependent research proof system language implemented in C++ Lean by adrieng	AaronNGray	2020-12-16 14:12
Forum topic	A StackExchange Site for Programming Language Theory The StackExchange proposal by dmbarbour Examples? by gasche Commitment Phase by dmbarbour Going to do the experiment myself by marco Factoring. 14, 27, or many more bits? by marco It's perhaps worth keeping by John Shutt Found Knuth on a Satisfiability Shootout by marco Yah. Seen it by marco Yeah well by marco Ah by marco ...	aaditmshah	2014-09-27 15:30
Forum topic	yet another oop formalization: class as abstract automata Reference to Rogers is by A. G. Piskunov The .pdf version of the by Hank Thediek Usernames by Allan McInnes Sorry, I did not understand by A. G. Piskunov Yes, this should be made by Ehud Lamm [Admin] Disclaimer and User Name by Andris Birkmanis	A. G. Piskunov	2008-11-25 20:27
Forum topic	Question about closures and higher-order functions In regards to the k example, by Denis Bredelet -jido OK, maybe it does. by A B Carter Yes, but does K know that it's not lexically scoped? by Anton van Straaten OK, consider the following. by A B Carter "Real closures" by Anton van Straaten EOPL definition by Anton van Straaten Academic versus Practical definitions of closures by Morris Johns Second, some people claim by Derek Elkins Many thanks for the by A B Carter So Iâ€™m tempted to conclude by Derek Elkins ...	A B Carter	2007-01-02 22:12
Forum topic	Finding Landin's "The Mechanical Evaluation of Expressions" I think this was not the by Rob Simmons including page 317 by Marlene Miller Thank you. Here are some scans. by John Smith I have MEE by orcmid Not satisfied by A B Carter Awesome! by A B Carter All you need is a time series database of the Internet by Anton van Straaten	A B Carter	2009-07-24 14:58
first page previous page next page last page