Lambda the Ultimate

type	title	author	last post
Forum topic	Parallelism and Concurrency in the Actor Model CCA by dmbarbour Research is always ongoing. by dmbarbour What is your evidence that by dmbarbour What does 'organizational by dmbarbour	Hewitt	2014-02-21 05:06
Forum topic	Booleans vs strings Language can hinder clean by dmbarbour Kiwi coercions are by dmbarbour Booleans as data by dmbarbour Refinements by dmbarbour So you'd suggest we never by dmbarbour Because these assumptions by dmbarbour Patterns help only if they refine by dmbarbour Program refactoring by dmbarbour Coupling structure and logic by dmbarbour when we're writing code to by dmbarbour ...	jamii	2014-02-15 22:49
Forum topic	Limitations of Prolog-style clausal programs Modal by dmbarbour	Hewitt	2014-02-11 10:53
Forum topic	Verification games: Making verification fun How practical? by dmbarbour	George Morrison	2014-02-08 16:31
Forum topic	PuzzleScript Modularity by dmbarbour REBOL seems to have been by dmbarbour	Tess Foley	2014-02-01 15:29
Forum topic	Examples for benefitfs of dynamic programming languages Double standard by dmbarbour Dynamic typing is simpler by dmbarbour The problem is not that a by dmbarbour Only for self-modifying code by dmbarbour Conflating properties by dmbarbour pay as you go by dmbarbour Typecase and Reflection vs. Dynamic Types by dmbarbour Indeed. by dmbarbour There are simple static type by dmbarbour Undecidable doesn't mean unsafe by dmbarbour ...	Sebastian Okon	2014-01-30 21:54
Forum topic	Less is more. Bedrock by dmbarbour all optimisation could be removed by dmbarbour Text box vs. slider based on by dmbarbour Language Features for Manual Specialization by dmbarbour Pattern matching isn't by dmbarbour debugging down under by dmbarbour specialization by hand by dmbarbour Separate concepts by dmbarbour strange dichotomy by dmbarbour abstractive radius & smoothness by dmbarbour ...	Rys McCusker	2014-01-19 13:05
Forum topic	Different approaches to letting a programmer define interface implementations. Write about explicit IDE by dmbarbour Extensibility of IDE will by dmbarbour If I represent a soft by dmbarbour If you define open data type by dmbarbour in general unfeasible to by dmbarbour implicit selection by dmbarbour AFAICT, Haskell doesn't by dmbarbour There is a difference by dmbarbour Are you sure you're talking by dmbarbour You aren't even aware of the by dmbarbour ...	Kannan Goundan	2014-01-15 04:00
Forum topic	Pragmatic aspects of dimension types, and the problem of angles international standards by dmbarbour Excellent reference. I had by dmbarbour I was contemplating similar by dmbarbour	Douglas McClean	2014-01-14 17:44
Forum topic	a little language for platform games Welcome by dmbarbour	Mike Robinson	2014-01-06 19:10
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
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