Lambda the Ultimate

type	title	author	last post
Forum topic	F*: A Verifying ML Compiler for Distributed Programming F-star is F-aster in some languages :) by dmbarbour	Charles Torre	2011-07-28 22:00
Forum topic	Knockout JS Intersection of Classes and Prototypes by dmbarbour Substantial Evolution by dmbarbour Evolving Language by dmbarbour Dreaming On by dmbarbour MIME not usable in <script> by dmbarbour Fog of Software Development by dmbarbour Coq by dmbarbour Illusion of Choice by dmbarbour Issues of perspective by dmbarbour Tools can be really, really bad by dmbarbour ...	raould	2011-07-28 05:57
Forum topic	Developer Phenomenology vs. Artifact Attributes in Language Design Composition Properties and Paradigms by dmbarbour	scottmcl	2011-07-25 08:22
Forum topic	Literate Programming: Retrospect and Prospects LP perspective by dmbarbour	el-vadimo	2011-07-20 21:10
Forum topic	The Last Language? portable language by dmbarbour Modifying Language vs. Program by dmbarbour Behaviors need Signals by dmbarbour Signals and YinYang by dmbarbour Pushing Buttons by dmbarbour Better Abstractions by dmbarbour Separation of Abstraction and Performance by dmbarbour Cancer of the Signal State Membrane by dmbarbour Legacy and Compatibility by dmbarbour Step Back and See the Ugliness by dmbarbour ...	Dominic Fox	2011-07-20 14:51
Forum topic	Parallel bars Express Sequentiality by dmbarbour Giving goals by dmbarbour Do People think Sequentially? by dmbarbour	Andy Wingo	2011-07-18 23:51
Forum topic	Of Course ML Has Monads! hear hear, and how by dmbarbour Concept of a "Benign Effect"? by dmbarbour	Ohad Kammar	2011-07-14 14:24
Story	Rob Pike: Public Static Void re: exceptions overrated by dmbarbour winner takes all, eventually by dmbarbour Re: Ada failure by dmbarbour	Ehud Lamm	2011-07-10 18:36
Forum topic	Why Programming Languages? annotating optimizations by dmbarbour Language Concurrency vs. Performance? by dmbarbour Optimizability and Interop by dmbarbour Re: language extension by dmbarbour	Andy Wingo	2011-07-03 04:39
Forum topic	The Value Of Syntax? Not prefix/postfix hiccups. by dmbarbour Invariants in Grammar Definition by dmbarbour Parse before syntax? by dmbarbour Cognitive Dimensions of Notation by dmbarbour	Ray Dillinger	2011-06-28 20:45
Forum topic	Middle History of Logic Programming Staging by dmbarbour Vivarium project by dmbarbour compile times and project size by dmbarbour Whether a language scales to by dmbarbour A thesis statement ought to have justification. by dmbarbour Many-core concurrency has by dmbarbour The main problem by dmbarbour small victory by dmbarbour	Hewitt	2011-06-28 02:49
Forum topic	modules are anti-modular No danger there. by dmbarbour Incremental for Job Control and Concurrency by dmbarbour re: incremental algorithms by dmbarbour	el-vadimo	2011-06-27 17:31
Story	Guidance to avoiding vulnerabilities in programming languages (ISO/IEC 24772) ISO/IEC 24772 is off-putting by dmbarbour	Ehud Lamm	2011-06-22 16:11
Forum topic	Visual programming for the higher level architecture Interesting by dmbarbour	raould	2011-06-20 20:53
Forum topic	AgileWiki theory/tool outline AgileWiki Blog; and Rolons by dmbarbour	raould	2011-06-17 07:32
Forum topic	AsyncScala: DSL for coordinating asynchronous processes in Scala Legacy API integration by dmbarbour Infrastructure Layer by dmbarbour Vats by dmbarbour	const	2011-06-13 21:02
Forum topic	Advice for a young researcher Behaviors with Lasting Effects by dmbarbour Check out event calculus and by dmbarbour Related by dmbarbour	giuseppemag	2011-06-13 01:51
Forum topic	Wadler's law of language design Parkinson's Law of Triviality by dmbarbour	Sean McDirmid	2011-06-07 01:31
Forum topic	Open wiki-like code repository public code repository without names by dmbarbour Code Catalog by dmbarbour RE: many hammers by dmbarbour Experiment? How? by dmbarbour Systems and Languages by dmbarbour Feel free to learn <ul> and by dmbarbour there is no such thing as by dmbarbour What if I want to grant a by dmbarbour Capability Links by dmbarbour is it worthwhile? by dmbarbour ...	Sean McDirmid	2011-05-30 19:19
Story	One Pass Real-Time Generational Mark-Sweep Garbage Collection Sure, immutability doesn't by dmbarbour You can prevent generating by dmbarbour What benefit is the by dmbarbour Haskell and Clean do not by dmbarbour !pervasive mutability by dmbarbour Re: replication by dmbarbour Perhaps 'misleading' would by dmbarbour garbage collecting immutable by dmbarbour	James Iry	2011-05-18 23:10
Forum topic	Generative Grammar-based Computation Not for Parsing by dmbarbour Re: temporal grammars by dmbarbour Domain by dmbarbour Infinite Arity Partial Grammars by dmbarbour Temporal Generative Grammars by dmbarbour Thank you for the by dmbarbour Algebraic properties of partial grammars by dmbarbour Re: Partial Grammars as a Monoid by dmbarbour Point-free Composition and Partial Grammars by dmbarbour Re: the 'point' behind xsets by dmbarbour ...	dmbarbour	2011-05-08 06:50
Forum topic	Iteration function in lambda calculus Problematic Integers by dmbarbour Multiplication by dmbarbour point-free composition by dmbarbour	kmisd	2011-05-06 10:32
Forum topic	Elephants don't play chess Automata and Language Theory for Agents by dmbarbour Differences from previous architectures by dmbarbour Definition of Subsumption Architecture: by dmbarbour Modularity of Subsumption by dmbarbour Re: 'enhanced' perception by dmbarbour Sharing Plans is a Fine Basis for Wait-Free Coordination by dmbarbour Modularity by dmbarbour	Sean McDirmid	2011-05-01 20:24
Forum topic	Types from imported modules "leaking" into a module's public interface Formalizing some of this by dmbarbour Code Search - Semantics vs. IDE feature by dmbarbour Linker as Constraint Solver by dmbarbour Ban on Imports by dmbarbour	scottmcl	2011-05-01 17:19
Forum topic	Build Your Own Blocks (BYOB) Re: Scalable Programming Models by dmbarbour Delay vs. State by dmbarbour How could you be in the by dmbarbour The robotics community isn't by dmbarbour Programming with Time by dmbarbour I don't attribute any by dmbarbour If my battalions could by dmbarbour Word play by dmbarbour Command and Consequence by dmbarbour Thanks by dmbarbour ...	lmeyerov	2011-04-28 08:47
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