user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	Scalable concurrency paper	raould	2013-09-01 20:59
Forum topic	SF-calculus Link broken, here's a by naasking Right by marco Grammaire by p4bl0 computing versus proving by Barry Jay Leibnitz equality by Barry Jay I know that.. by marco Don't ever look at the code by Matt M e.g., to figure out the by Z-Bo Macro macros, not micro macros by Marc Hamann Let me see... by Z-Bo ...	Barry Jay	2013-08-30 18:42
Story	Dependently-Typed Metaprogramming (in Agda) Friday afternoon! by johnwcowan Great set of notes by Matt M Oh right by Matt M C-style indexing by Jeremy Feedback by Matt M	Ohad Kammar	2013-08-30 16:24
Forum topic	Theory of a Declarative Language Cheers, will do. As I have by thomash But as far as I know they by naasking I will try to figure out by Chris Warburton I'll try to look into those by thomash That looks really by thomash (1) sounds a lot like by thomash If you're stuck with JSON, by dmbarbour You do need to address how by dmbarbour One thing that concerns me by thomash (1) sounds a lot like by Chris Warburton ...	thomash	2013-08-29 13:43
Forum topic	Commutative Effects You really should submit a by Sean McDirmid Programmers love lies if it by dmbarbour leaky abstractions by Sean McDirmid It seems like a nice by dmbarbour I was talking about the by Sean McDirmid In an ideal world, we could by dmbarbour Computation does not consume by Sean McDirmid Time is external, like your by dmbarbour Obviously, Glitch won't by Sean McDirmid I can understand that you by Sean McDirmid ...	Sean McDirmid	2013-08-29 02:13
Forum topic	Parsing people, unite! Call for position papers for Parsing@SLE (SPLASH, Indianapolis) Going incremental by Sean McDirmid too much research on parsers by yinwang0 relevant by Chad Wellington verified parsers/generators by NickP	jurgenv	2013-08-28 06:56
Forum topic	Synth Project Announcement You might be interested in by Sean McDirmid	Ivan V.	2013-08-27 12:13
Forum topic	Request for advice on a senior thesis I was thinking of people by Ehud Lamm Seconded by lmeyerov Well yes by Jon Purdy I wonder if you guys are by Sean McDirmid Another secondment by André van Delft I second this. I think you by Ehud Lamm Find a good mentor by Sean McDirmid Help someone else or find a mentor by Jon Purdy SPLASH and Onward! are other by dmbarbour This is great advice by Jules Jacobs ...	Taymon A Beal	2013-08-26 17:21
Forum topic	lambda cube... 3D Then why do you have an by dmbarbour Turtles all the way down by Sean McDirmid Intuitions by dmbarbour I was just being pragmatic, by Sean McDirmid Not "hiding" a physics engine by dmbarbour One could always hide the by Sean McDirmid Functional Reactive Physics and Objects by dmbarbour by Sean McDirmid somebody summarize? by raould Thanks! I'm still going by Sean McDirmid ...	raould	2013-08-26 05:25
Forum topic	A Case for Gestures/Visualizations and Against Concrete Syntax Smalltalk by Jason Grossman The Programmer in the Language by dmbarbour Link update: why syntax by dmbarbour Nice connection by Z-Bo Usability isn't even in the by Z-Bo Ok... by Z-Bo In some sense, Jonathan by Z-Bo Would this be a possible by Srikumar Subramanian equivalent changes ... by Srikumar Subramanian Been done (sort of) by Tom Duff ...	Thomas Lord	2013-08-25 05:05
first page previous page next page last page