recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Disruptive PLT Revisited Instead of adapting a by Jules Jacobs A few off the top of my by munificent Here you go by munificent I think Don Sym's type by Sean McDirmid A unified schema, basic types by Ben L. Titzer Mechanizing law may be by lmeyerov I believe Google has many by Sean McDirmid Not so easy by Andreas Rossberg Hey, that's great! by neelk You seem to be implying that by Manuel J. Simoni ...	Sean McDirmid	2012-03-31 13:27
Forum topic	Career paths and concerns Some answers, a few years later by Jonathan Schuster Start a REAL Journal? by raould systems + deep innovation -> larger teams by raould Meaning of "systems" by shap Systems? by markt more of the same... by el-vadimo "You and Your Research" by Richard Hamming by el-vadimo But you left out the best part! by Scott Johnson view from the trenches by el-vadimo that's not off topic by Thomas Lord ...	Jonathan Schuster	2012-03-31 18:04
Forum topic	Predicate calculus in program verification	hbrandl	2012-04-02 23:41
Forum topic	New tutorial blog on category theory for programmers it starts here by Steven Shaw II It's not obvious to me how by oconnor0	mikestay	2012-04-03 12:35
Forum topic	Pythonect 0.1.0 Release Re: Data flow and definition flow by ikotler Data flow and definition flow by gasche Re: Chaining import by ikotler Chaining import by Kartik Agaram	ikotler	2012-04-03 15:02
Forum topic	Erik Meijer: Your Mouse is a Database - Rx and Modern Asynchronous Programming Subject/Observer is dual to Iterator by chrisoliver The main problem I've always by Sean McDirmid	Charles Torre	2012-04-04 15:50
Forum topic	Lang.NEXT 2012 - Session Videos Coming Online Videos are coming on line... by Charles Torre It was appropriate; just too by Ehud Lamm Sorry by Charles Torre Sure. If it wasn't such a by Ehud Lamm Awesome by Jules Jacobs Front page by James Iry Yes by Charles Torre Will the talks be available online? by Jules Jacobs	Charles Torre	2012-04-06 02:51
Forum topic	The Monad.Reader Dijkstra jr by Victor Eijkhout theorem industry redux by el-vadimo Reply by Jeremy Haha by Matt Hellige Sneaky by Anton van Straaten Hmm... by Matt Hellige Implementable parameterized monads by Jeremy Parameterized Monads in Haskell by nicoduca After all that... by Paul Snively death by a thousand Dedekind cuts by el-vadimo ...	Wouter Swierstra	2012-04-11 12:54
Forum topic	Reverend Bayes, meet Countess Lovelace: Probabilistic Programming for Machine Learning Texts? by merkri Are you sure it's an by dmbarbour The elephant in the Bayesian living room by Neil Toronto I just force their hand... by Ehud Lamm Contributing Editor by dmbarbour Time to become a by Ehud Lamm The recent developments by Jules Jacobs	Charles Torre	2012-04-13 20:16
Forum topic	Symmetry in type systems Addendum by Paul Snively Types-as-sets a bit too naive by gasche Look over there... by Matt M Thanks. I have not finished by Jules Jacobs Thanks! That looks very by Jules Jacobs free associations by Rys McCusker Duality of computation by Andreas Rossberg That is exactly what I was by Jules Jacobs Nice: relevant, a references and discussion of the previous work by gasche Value and environments by gasche ...	Jules Jacobs	2012-04-17 22:15
first page previous page next page last page