Lambda the Ultimate

type	title	author	last post
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
Story	Computer music: a bastion of interactive visual dataflow languages Visual Dataflow is Commonplace in Graphics by sigfpe	Peter Van Roy	2009-06-19 03:30
Forum topic	the Chinese natual language I always thought Chinese was a bit like Forth... by sigfpe	Zhu Chongkai	2009-06-01 13:06
Forum topic	What do you believe about Programming Languages (that you can't prove (yet))? There is no future in natural language programming. by sigfpe	John Carter	2009-05-23 23:23
Story	Parameterized Notions of Computation Depends on how you represent... by sigfpe	neelk	2009-02-17 19:38
first page previous page 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