Lambda the Ultimate

type	title	author	last post
Forum topic	What work in FRP models programs which can change the type of output and input they have? Type as a function of what? by dmbarbour	Steven StewartGallus	2012-03-12 15:14
Story	What does focusing tell us about language design? Purity by dmbarbour non-termination isn't an by dmbarbour Total semantics by dmbarbour	Manuel J. Simoni	2012-03-07 19:07
Story	Computing Needs Time Neither does global time by dmbarbour Strongly Timed by dmbarbour Turing whisper... by dmbarbour Once you start down the by dmbarbour Computing needs Energy by dmbarbour Not Turing Complete by dmbarbour Time as a Side Effect by dmbarbour Temporal Reactive Displays by dmbarbour Actors Model "Time" by dmbarbour	Allan McInnes	2012-03-05 19:35
Forum topic	Bret Victor's Inventing on Priniciple Why Anticipation? by dmbarbour Serving Time in a PL Jail by dmbarbour Transcript by dmbarbour	Sean McDirmid	2012-03-05 10:44
Story	A Concept Design for C++ Concept maps by dmbarbour	James Iry	2012-03-04 21:35
Forum topic	Massive Numbers of Actors vs. Massive Numbers of Objects vs. ???? Survivable Networking by dmbarbour smarts and replicated by dmbarbour Into the Cloud by dmbarbour cell phones will soon have by dmbarbour 1. Is there a less vague way by dmbarbour Technology and platform are by dmbarbour Develop and Design by dmbarbour Leaky Conceptual Models by dmbarbour Meh. by dmbarbour messages that behave like by dmbarbour ...	mfidelman	2012-03-04 06:20
Forum topic	why first-class functions Existential Types by dmbarbour Parameterization by dmbarbour	ad1mt	2012-03-02 13:33
Story	When Formal Systems Kill: Computer Ethics and Formal Methods Crash-only by dmbarbour 403 by dmbarbour Worrydreams and Principles by dmbarbour	James Iry	2012-02-29 23:02
Forum topic	Syntax Desugaring Algorithm Question Functions for Annotations by dmbarbour PLT by dmbarbour	bryanedds	2012-02-23 23:46
Forum topic	Self-Certification: Bootstrapping Certified Typecheckers	dmbarbour	2012-02-23 18:23
Forum topic	Teaching challenge: culturally enriching formulae-as-types Adam Chlipala by dmbarbour	Charles Stewart	2012-02-18 22:10
Forum topic	Embedding Prolog in Haskell Serialization by dmbarbour One of my implicit premises by dmbarbour What features would be most by dmbarbour I've used Datalog as a basis by dmbarbour Datalog, Dedalus by dmbarbour	Frank Atanassow	2012-02-13 17:04
Story	Programming as collaborative reference Neat Idea by dmbarbour	Manuel J. Simoni	2012-02-08 23:28
Forum topic	Active Variables in Common Lisp Lenses by dmbarbour Access Oriented by dmbarbour	kruhft	2012-02-08 18:02
Forum topic	Evolution of mainstream programming language paradigms Complex vs. Complicated by dmbarbour Language Properties by dmbarbour Open System Dynamic Processes by dmbarbour Arguments without character by dmbarbour Complexity Pain by dmbarbour Growing Pains by dmbarbour Components and Functional by dmbarbour Interaction by dmbarbour Component vs. Framework by dmbarbour Brookian Behavior by dmbarbour ...	const	2012-02-08 02:01
Forum topic	Peak Abstraction By means of by dmbarbour Mystique? by dmbarbour Well said. by dmbarbour I'm not sure what you just by dmbarbour Natural level of abstraction by dmbarbour Abstraction problem by dmbarbour Blaming the Language by dmbarbour Proper `Interfaces` by dmbarbour Resent it or not by dmbarbour Abstraction-poor by dmbarbour ...	Sean McDirmid	2012-02-06 17:19
Forum topic	Graphics primitives? Link by dmbarbour Regarding Shape Grammars by dmbarbour Subpixel Rendering by dmbarbour 2 entangled things here. by dmbarbour Features for Graphics Systems by dmbarbour GPipe, Spark, Vertigo by dmbarbour Diagrams by dmbarbour	danbst	2012-01-27 14:10
Forum topic	LastCalc: A web-based REPL for a pure functional programming language with a flexible syntax and parser Space sensitive syntax by dmbarbour	sanity	2012-01-27 03:15
Forum topic	Visual Studio Achievements Don't Try This At Home by dmbarbour	Manuel J. Simoni	2012-01-20 22:23
Forum topic	Go's proposed panic/recover exception-like mechanism You cannot define problems by dmbarbour What am I proposing? I don't by dmbarbour Feature interaction and intersection by dmbarbour Checked exceptions + by dmbarbour some of the properties of by dmbarbour So your problem is the by dmbarbour Sum types by dmbarbour Even checked exceptions are by dmbarbour Saying nothing about by dmbarbour Judging Dylan's condition system by dmbarbour ...	pgregory	2012-01-07 01:57
Forum topic	Programmer Archeologists You said the same thing in by dmbarbour No better position by dmbarbour Partial View of the Elephant by dmbarbour Scope by dmbarbour Temporal and Spatial by dmbarbour Modus tollens by dmbarbour Composition, Entanglement, Abstraction by dmbarbour Medium of discourse by dmbarbour No Absolute Reference by dmbarbour External structure by dmbarbour ...	Sean McDirmid	2012-01-06 16:48
Story	Cambridge Course on "Usability of Programming Languages" Social Models for PL by dmbarbour Human to Human by dmbarbour	James Iry	2012-01-06 03:55
Forum topic	iPhone PL lockdown Code and Data by dmbarbour That pretty much defines a by dmbarbour A scruple of truth in every myth... by dmbarbour Legalese is a terrible programming language by dmbarbour	Sean McDirmid	2011-12-24 05:49
Forum topic	General purpose as a special case? It used to be a pair-a-dime by dmbarbour	Wendell	2011-12-18 04:04
Forum topic	Models for distributed parallelism Kell Calculus or Concept Oriented or RDP by dmbarbour	Victor Eijkhout	2011-12-08 21:56
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