Lambda the Ultimate

type	title	author	last post
Forum topic	Framing: The implementation side I was in fact thinking that by Cyril Since the language by hbrandl As a user you don't see what by Cyril equals for equals and identicals for identicals by hbrandl derived frame contracts by hbrandl The implementation has no by Glen Anderson Derivation of implicit contracts by Glen Anderson functions and procedures by hbrandl Undecidability by Andrew Moss Scope, precise answer, ... by hbrandl ...	hbrandl	2012-06-20 20:17
Forum topic	Pythonect 0.3 released Re: The syntax is quite by ikotler The syntax is quite by vorov2	ikotler	2012-06-20 20:13
Forum topic	Why Do Some Programming Languages Live and Others Die? *Against?!* I do not think you've understood. by Ray Dillinger Gosling's design rule by Brian T Rice Objects and closures are the same in lexically scoped languages by Z-Bo Nobody understands JQuery by Z-Bo Some thoughts and partial answers by Z-Bo The goal of live programming by dmbarbour I don't think anybody is by Jules Jacobs Live programming vs. continuous testing by gasche Explicit schema migration is by Jules Jacobs Grammar of Blubs by dmbarbour ...	Sean McDirmid	2012-06-18 23:33
Forum topic	Type classes in a dynamic language By the way the paper "Type by vorov2 I am aware of this problem. by vorov2 The initial idea is not to by vorov2 BTW. I am actually not the by Cyril Whether it is valid (or not) by Cyril Of course. But since it's by vorov2 I think you are confusing by Cyril More information by Matt M I think you are confusing by vorov2 Interesting! by Jules Jacobs ...	vorov2	2012-06-17 11:05
Forum topic	Graphical languages of the Russian space program Code in C by brian Hardware by odanet Functions and procedures by Sandy Klausner Beyond Von Neumann architecture by Sandy Klausner My own experience... by Ray Dillinger Beyond Von Neumann architecture by Sandy Klausner It's a solid point, [...] by Cyril maybe a narrower single topic? by Rys McCusker That does give me a clearer by John Shutt Take Common Lisp's by Jules Jacobs ...	Manuel J. Simoni	2012-06-15 06:43
Forum topic	Looking for more info on precise types Thanks for the feedback, by Cyril I could say more, but it by dmbarbour Are you implying it seems to by Cyril I don't believe "precise by dmbarbour	Cyril	2012-06-14 19:14
Forum topic	Updating immutable data structures & hybrids from functional to imperative Lazy Functional State Threads by dmbarbour ST theory by Patrick Moran Applicatives by dmbarbour Hmm, I think you're right. by Jules Jacobs What's the purpose of this? by rmovchan Lenses, ST, Applicative by dmbarbour	Jules Jacobs	2012-06-13 21:03
Story	Google Blockly Lets You Hack With No Keyboard Kismet by EddieEdwards Not Smalltalk, but... by Matt Hellige Funny coincidence, by Cyril Smalltalk legacy? by Tim May Higher sights by barrkel	Allan McInnes	2012-06-13 07:36
Forum topic	Abstraction wins: An approach to framing and mutability derivable conditions by hbrandl How? by Denis Bredelet -jido It is all about framing by hbrandl Replying to myself: read by Denis Bredelet -jido I am struggling to understand the rules added by Denis Bredelet -jido Could you elaborate more on by hbrandl framing the world by spir	hbrandl	2012-06-13 03:58
Forum topic	The Arrow Calculus Oh, sorry by Mike Abolazemi Discussed very briefly... by Matt Hellige	Mike Abolazemi	2012-06-09 20:35
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