Lambda the Ultimate

type	title	author	last post
Forum topic	Reversing operations Immutable structures by sigfpe	Pablo Barenbaum	2017-09-08 16:08
Forum topic	SK Calculus not Consider SeKsy? I think #4 is true by sigfpe what extensions beyond the base by sigfpe Related to that book by sigfpe Unwieldy by sigfpe	cdiggins	2017-06-10 16:33
Forum topic	What is Intuitive? 'Intuitive' is a stick... by sigfpe	raould	2016-05-12 23:55
Story	When Is A Functional Program Not A Functional Program? Compare with Escardo by sigfpe	neelk	2015-11-20 21:56
Forum topic	Testing first year programming students Slight disagreement by sigfpe	Peter A Jonsson	2014-07-20 20:43
Story	Fifty Years of BASIC, the Programming Language That Made Computers Personal Compiler in BASIC by sigfpe	bashyal	2014-05-30 20:21
Forum topic	Wittgenstein versus Turing on Inconsistency Robustness The point by sigfpe	Hewitt	2012-03-05 22:15
Story	The Algebra of Data, and the Calculus of Mutation Nice example!By by sigfpe Not quite by sigfpe	Manuel J. Simoni	2012-02-15 00:19
Forum topic	Data, Codata, and Their Implications for Equality, and Serialization Bushes and trees by sigfpe	Douglas McClean	2011-10-14 15:45
Forum topic	Metaphors we Program By: Space, Action and Society in Java Not a valid conclusion by sigfpe	Pierre-Alexandre Voye	2011-10-04 19:21
Story	PCF and LCF A bit sloppy by sigfpe I think that clarifies things by sigfpe I'm already stuck on page 2 of Models of LCF by sigfpe	Charles Stewart	2011-06-09 21:20
Story	Derivatives of Regular Expressions Divided differences by sigfpe I did already by sigfpe Regexps and zippers by sigfpe	neelk	2010-11-29 23:49
Story	Conservative Logic What kind of reason are you expecting? by sigfpe	James Iry	2010-11-16 01:17
Forum topic	Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) The power to loop by sigfpe	Greg Buchholz	2010-10-22 21:48
Story	Omega - Language of the Future To what extent are AI and types the same thing? by sigfpe	Manuel J. Simoni	2010-10-01 13:17
Story	Functional Pearl: Species and Functors and Types, Oh My! You might like... by sigfpe	Matt Hellige	2010-07-05 09:38
Story	More iPhone PL lockdown... Goodbye Scratch! It's open source isn't it? by sigfpe	Matt Hellige	2010-06-18 14:34
Story	Recent Progress in Quantum Algorithms I've never understood this reputation by sigfpe	Manuel J. Simoni	2010-03-16 18:22
Forum topic	a "thank you" to You LtU changed my life! by sigfpe	raould	2010-03-16 09:09
Story	The Role of Composition in Computer Programming Mathematicians only mildly truly overload symbols by sigfpe Maybe you've answered me but not the way you think by sigfpe The drive to brevity... by sigfpe	James Hague	2010-02-19 01:25
Forum topic	Alternatives to parentheses for grouping Your example might need fixing as it doesn't mention A by sigfpe If A=B... by sigfpe	jason stumpf	2010-02-10 13:28
Forum topic	Extreme non-choosiness In Haskell, say, it's not just the product by sigfpe	L Spice	2010-02-04 22:23
Forum topic	Claiming Infinity Yes by sigfpe There's nothing going on here by sigfpe Games are more general than surreal numbers by sigfpe	Julian Rohrhuber	2010-02-03 12:53
Forum topic	Quantum Lambda Calculus Entanglement by sigfpe	Wolf Logan	2010-01-24 22:41
Forum topic	Academic advice: Mathematics or Computer Science? Nice interpretation by sigfpe MVT and Parallel Postulate by sigfpe Java vs. Calculus? No contest. by sigfpe	guerrilla_thought	2010-01-23 19:57
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