Lambda the Ultimate

type	title	author	last post
Forum topic	Practical rules for controlling program effects in an imperative / OOP environment. some things truly are by dmbarbour Effect systems and concurrency go smashingly well together by dmbarbour Not Local State by dmbarbour	bryanedds	2013-12-08 06:50
Forum topic	Default, implicit, inherited Implicit Configurations, Soft Constraints by dmbarbour	Aivar Annamaa	2013-12-01 10:14
Forum topic	Strong Mathematical Foundations for Computer Science Ridiculous behavior should by dmbarbour Usually, sarcasm doesn't by dmbarbour Irrelevant and irrelevant. by dmbarbour What does organizational by dmbarbour Yes, but... by dmbarbour There are many composable by dmbarbour What does generalizing a by dmbarbour What are your composition by dmbarbour I'm not seeing the by dmbarbour Generalized models of by dmbarbour ...	Hewitt	2013-11-25 14:58
Forum topic	actors conflate too much Generalizing from a specific by dmbarbour Actors systems can express by dmbarbour Given the universality of by dmbarbour Collatz by dmbarbour you can't prove in your by dmbarbour most natural way? by dmbarbour What do you think is the by dmbarbour The discontinuity regards by dmbarbour Discontinuity by dmbarbour Optimistic concurrency can by dmbarbour ...	raould	2013-11-16 01:13
Forum topic	Why is Static Typing Hard? Homotopy Type Theory by dmbarbour ever-more-complicated type by dmbarbour Types dragging you down... by dmbarbour	Jon Purdy	2013-11-12 18:56
Forum topic	Interactive Parsing Theory Incremental, reactive Datalog by dmbarbour Incremental programming by dmbarbour	Alexander Morou	2013-11-09 06:15
Forum topic	Prototypal inheritance misunderstood Luca Cardelli has done a lot by dmbarbour	SimonM	2013-10-29 20:20
Story	The Genuine Sieve of Eratosthenes Flaw in Test by dmbarbour Operation Cost by dmbarbour Point granted. I didn't by dmbarbour Lower Bound by dmbarbour Think Lazier by dmbarbour Computing every composite by dmbarbour	Ehud Lamm	2013-10-26 21:32
Forum topic	Usable Live Programming The significance of the audience by dmbarbour Can you help me by by dmbarbour semantics of "live" related by dmbarbour Fair point. by dmbarbour One might similarly argue by dmbarbour Similarly to the third by dmbarbour The co-opting happened ten by dmbarbour In section 6 you mention by dmbarbour Not about levels by dmbarbour Non-Technical Distinctions by dmbarbour ...	Sean McDirmid	2013-10-20 06:05
Forum topic	List of ICFP2013 papers with preprints What is open by dmbarbour	vieiro	2013-10-15 10:58
Story	LVars: monotonic update for deterministic parallel programming Improving Values by dmbarbour	gasche	2013-10-08 06:30
Forum topic	How is LtU doing? Fluff ratio? And recycliing by dmbarbour	Sean McDirmid	2013-09-29 23:55
Story	Types for Flexible Objects Typeclasses by dmbarbour source modules vs. modeled modules - same diff by dmbarbour Re: scalable, lazy, parallel by dmbarbour Re: "It's a design defect because I smell issues" by dmbarbour the moment you specify it, you lose something by dmbarbour Separate compilation is by dmbarbour If code distribution is the by dmbarbour Software components are very by dmbarbour the only remaining downer is by dmbarbour Scapes don't support match by dmbarbour ...	naasking	2013-09-16 18:49
Forum topic	Glitch: A Live Programming Model Time for consistency is a by dmbarbour Any conditional update in a by dmbarbour Conditional state changes in by dmbarbour Managed change works well. by dmbarbour Lightweight Time Warp by dmbarbour	Sean McDirmid	2013-09-16 04:01
Forum topic	Coroutines as a Basis for UI Programming re: Coroutine translation by dmbarbour Tree structured state by dmbarbour IMGUI by dmbarbour	Jason Priestley	2013-09-15 00:40
Forum topic	New programming language Ya A few questions: by dmbarbour	Pavel Senatorov	2013-09-11 21:25
Story	Mixed-Site Variance For example, 'draw' could by dmbarbour Contextual Adaptation and PLs by dmbarbour making plug-together by dmbarbour	bashyal	2013-09-09 21:39
Story	Why Concatenative Programming Matters Representing part of the by dmbarbour Perception of by dmbarbour concatenative the ultimate by dmbarbour Better for reading, too by dmbarbour how could names have serious by dmbarbour Conversations with a Stack? by dmbarbour Metaprogramming, Visualization, and Problematic Names by dmbarbour on a small scale the by dmbarbour psychology instead of by dmbarbour one way to do it is often better than two by dmbarbour ...	James Iry	2013-09-09 19:40
Forum topic	OOPSLA 2013 advance tech program up Links for KScript and KSWorld by dmbarbour You can find the presenter's by dmbarbour	Sean McDirmid	2013-09-02 05:22
Forum topic	SF-calculus Re: a different approach? by dmbarbour Re: Definition of "Deterministic" by dmbarbour Re: Now you have two problems by dmbarbour Re: The Basics and Determinism by dmbarbour Those comments by dmbarbour Illegal moves, Casey by dmbarbour Re: 'External' Interpreters by dmbarbour Link Link by dmbarbour Shutt's Kernel Language by dmbarbour UTM by dmbarbour ...	Barry Jay	2013-08-30 18:42
Forum topic	Theory of a Declarative Language If you're stuck with JSON, by dmbarbour You do need to address how by dmbarbour Types and definitions are by dmbarbour Any decent module system by dmbarbour	thomash	2013-08-29 13:43
Forum topic	Commutative Effects Programmers love lies if it by dmbarbour It seems like a nice by dmbarbour In an ideal world, we could by dmbarbour Time is external, like your by dmbarbour Non-convergence is a by dmbarbour the clock should only by dmbarbour If we look at the "state" of by dmbarbour There is no way to "know" by dmbarbour kicking encapsulated state by dmbarbour The complications you by dmbarbour ...	Sean McDirmid	2013-08-29 02:13
Forum topic	Request for advice on a senior thesis SPLASH and Onward! are other by dmbarbour	Taymon A Beal	2013-08-26 17:21
Forum topic	lambda cube... 3D Then why do you have an by dmbarbour Intuitions by dmbarbour Not "hiding" a physics engine by dmbarbour Functional Reactive Physics and Objects by dmbarbour Time leaks in Haskell are a by dmbarbour You misunderstand the by dmbarbour Behaving Well by dmbarbour There is no global analysis by dmbarbour Cycles and Bookkeeping by dmbarbour Real Consistency? by dmbarbour ...	raould	2013-08-26 05:25
Forum topic	A Case for Gestures/Visualizations and Against Concrete Syntax The Programmer in the Language by dmbarbour Link update: why syntax by dmbarbour	Thomas Lord	2013-08-25 05:05
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