Lambda the Ultimate

type	title	author	last post
Story	The Algebra of Data, and the Calculus of Mutation Nice example!By by sigfpe Not quite by sigfpe	Manuel J. Simoni	2012-02-10 17:55
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
Forum topic	Wittgenstein versus Turing on Inconsistency Robustness The point by sigfpe	Hewitt	2011-08-15 09:53
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
Story	Causal Commutative Arrows and Their Optimization One of my favourite ICFP '09 papers by sigfpe	neelk	2009-11-05 02:42
Story	Minimal FORTH compiler and tutorial Nowadays there are a few concatenative languages... by sigfpe What's interesting specifically about Forth... by sigfpe	Ehud Lamm	2009-11-03 02:39
Story	The End of the GPU Roadmap In fact, I think you can make Delayed a comonad by sigfpe	Noel	2009-10-23 10:03
Forum topic	Programming (language) puzzles Use loeb by sigfpe	Chung-chieh Shan	2009-10-02 17:42
Forum topic	Best Introduction To Monads For Newbies (& Especially Imparative Minds) I'v Ever Read!!! Unpacking declarations by sigfpe	kaveh.shahbazian	2009-09-25 08:54
Forum topic	functions vs procedures.. Different issue by sigfpe	ceti331	2009-08-20 18:05
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