Lambda the Ultimate

type	title	author	last post
Forum topic	Peter Landin Annual Semantics Seminar: 6 December 2010, 5pm, Covent Garden, London -- speaker: Prof. John Reynolds Deadlock isn't modelled by wrong... by neelk	paulboca	2010-11-04 11:38
Forum topic	Erasure and Polymorphism in Pure Type Systems See by neelk	gasche	2010-10-29 11:36
Story	The Art of the Propagator Yes, thanks! by neelk Can you recommend a good survey paper? by neelk	neelk	2010-10-25 06:59
Forum topic	Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) Parsing by neelk I write lots of functions by neelk I do not think this is true by neelk	Greg Buchholz	2010-10-22 21:48
Forum topic	Programming languages with higher kinds? Yes... by neelk	Steven Shaw II	2010-10-16 14:58
Forum topic	Deprecating the Observer Pattern Thank you! by neelk	Alex Cruise	2010-09-28 03:56
Story	What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common	neelk	2010-09-09 13:41
Forum topic	Examples of encodings in Pure Type Systems Most of these encodings are by neelk	guerrilla_thought	2010-09-01 06:10
Forum topic	CS and mathematics dictionary You can also... by neelk	Thomas Strathmann	2010-08-27 18:16
Story	Ocaml 3.12 released	neelk	2010-08-23 14:01
Forum topic	Scheme from Scratch project Take a look at... by neelk	Peter Michaux	2010-08-10 02:17
Story	Monads in Action	neelk	2010-08-04 06:45
Forum topic	Questions about Semantics. You might want to look at Frank Pfenning's notes... by neelk I've heard that... by neelk	Matt Estes	2010-07-15 05:47
Story	An intuitionistic logic that proves Markov's principle You're exactly right by neelk The standard proof... by neelk	neelk	2010-07-07 08:23
Story	Functional Pearl: Species and Functors and Types, Oh My! Oh... by neelk	Matt Hellige	2010-07-05 09:38
Forum topic	What's the type of an optional parameter? This is... by neelk	Manuel J. Simoni	2010-07-04 17:23
Forum topic	A lambda calculus with arbitrary set primitives Don't try to read the online by neelk No... by neelk Yes... by neelk Answers... by neelk	Neil Toronto	2010-07-01 12:56
Forum topic	Looking for a proof that eager reduction is as strong as lazy reduction I don't know what you mean by "strong"... by neelk	marco	2010-06-20 04:28
Forum topic	Typed Lambda Calculus There may be some scientific by neelk	marcosag	2010-05-05 21:11
Forum topic	Linear & Dependent types of ATS applied to the Cairo graphics library I figured he couldn't mean by neelk It's the indefinite lifetime... by neelk This is still unsafe by neelk For concreteness... by neelk	raould	2010-05-04 07:37
Forum topic	Static Typing Where Possible, Dynamic Typing When Needed Frank Pfenning's notes on his by neelk Okay, let's suppose that you by neelk What do you mean... by neelk Actually, I don't think... by neelk The advantage of type-checking over AI... by neelk	Isaac Gouy	2010-04-20 22:32
Forum topic	splitting the program into formalizable vs. non-formalizable parts? The problem... by neelk No worries... by neelk The connection has been more by neelk	raould	2010-04-17 03:48
Story	Can functional programming be liberated from the von Neumann paradigm? How to encode this in the type system... by neelk	Charles Stewart	2010-04-14 20:25
Story	A Formal System For Euclid's Elements That Selinger paper is by neelk	neelk	2010-04-08 16:57
Forum topic	Reactive Extensions for .NET released this week Sean might be referring to by neelk Re: Questions 2 and 3 by neelk	Wolf Logan	2010-03-18 15:28
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