user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	Coroutines as a Basis for UI Programming Process Algebra based GUI specification by André van Delft re: Coroutine translation by dmbarbour Coroutine Translation by Jason Priestley Tree structured state by dmbarbour The point about immediate by Sean McDirmid I was reacting to the linked by Jason Priestley IMGUI by dmbarbour Interesting! by Jon Purdy	Jason Priestley	2013-09-15 00:40
Forum topic	Proving running times of algorithms Here's a much more recent by naasking Here's one candidate for by naasking I remember it was a by naasking I don't recall seeing that by dataangel Thank you! by jason stumpf Some papers on LtU have by naasking answers half by jason stumpf To further clarify, the by Leon P Smith Just to clarify: PFDS was by Ehud Lamm Seconded... by natecain ...	jason stumpf	2013-09-13 02:43
Forum topic	Proving the correctness of reactive systems using sized types Updated link for Recursion by naasking Welcome aboard. by Ehud Lamm Now the stars are aligned by Daniel Yokomizo If think it's time you by Ehud Lamm	Daniel Yokomizo	2013-09-13 02:35
Story	Why Did M.I.T. Switch from Scheme to Python? nobody cares about their first language by yinwang0 Updated blog links by redline6561 There is no such language by Steven Obua Curry's lax monad by Jacques Carette python's new tag line! by raould CS is Math is CS by olwe Languages with Powerful Type Systems by Curt Sampson math, not hacking by raould Dijkstra's Critique by Curt Sampson That's the point: They are by Ehud Lamm ...	Leon P Smith	2013-09-12 17:06
Forum topic	questions re common lisp readtable hacks Not sure if this is helpful, but ... by Kalani why not regexps? by Thomas Lord	Thomas Lord	2013-09-12 15:59
Forum topic	New programming language Ya Good advice in general by meltsner 2nd'd by raould A few questions: by dmbarbour	Pavel Senatorov	2013-09-11 21:25
Story	Mixed-Site Variance What is real and what isn't by Burak Emir Whatever, just give me by Sean McDirmid why can't we all get along? by raould I saw Gabriel's talk at by Sean McDirmid Experience won't count as evidence by Burak Emir Larry Wall, for example... by Ray Dillinger For example, 'draw' could by dmbarbour Adaption by Anders Horn I was referring to by Sean McDirmid Have to agree. by Barry Watson ...	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 Visualization is also by naasking Better for reading, too by dmbarbour I think attributing this to by naasking how could names have serious by dmbarbour OK, so you are arguing that by Matt M Conversations with a Stack? by dmbarbour SF-calculus showed, it by Matt M ...	James Iry	2013-09-09 19:40
Forum topic	Total Self Compiler via Superstitious Logics The latest I've found in the by naasking Self-evaluation by naasking At one point, you say "I by Matt M Ah, terminating only in practice, not in theory :) by Ross Angle Just to be clear, I'm not by Matt M Number lazy buggy bumpers by Ross Angle Another try by Matt M Self-weakening quine by Ross Angle How would you express this by Matt M How would you express this by Ross Angle ...	Matt M	2013-09-03 06:14
Forum topic	OOPSLA 2013 advance tech program up Links for KScript and KSWorld by dmbarbour Next generation programming enironments by Sean McDirmid You can find the presenter's by dmbarbour re: git by raould Onward! 2013 program by Sean McDirmid And 2003: by Sean McDirmid Just for fun, let's compare by Sean McDirmid	Sean McDirmid	2013-09-02 05:22
first page previous page next page last page