user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	Annual Peter Landin Semantics Seminar: Rationalism v Hardware, Prof Richard Bornat, 2 December 2013, 6pm, London Rationalism vs. Empiricism by Hank Thediek He is a fantastic speaker by neelk	paulboca	2013-10-03 17:00
Story	A Tail-Recursive Machine with Stack Inspection Updated link by naasking Thanks! by Charles Stewart Question 9 by Dave Herman Kent Pitman's remark by Charles Stewart Cool paper! by Josef Svenningsson	Dave Herman	2013-10-01 15:34
Forum topic	GADTs meet subtyping Yes, refinement by Matt M Refinement? by gasche Should eval and expr be defined together? by Matt M	Matt M	2013-09-30 04:52
Forum topic	A little insight on iterators/accumulators Book: Concurrency and Programming Languages by Bruce Rennie	nadhamid	2013-09-30 02:12
Forum topic	How is LtU doing? Good idea by gasche gateway drugs by Sean McDirmid Fluff ratio? And recycliing by dmbarbour Fluff can go elsewhere by gasche The problem of LtU is not by Andreas Rossberg The main reason is by Ehud Lamm Done! by Ehud Lamm On the evening news, you see by Sean McDirmid Maybe entertaining rather than important. by Rys McCusker Drop Ehud an email by Manuel J. Simoni ...	Sean McDirmid	2013-09-29 23:55
Forum topic	ANN: Bipedal, a new, untyped, stack-based HLL	claytonkb	2013-09-26 08:20
Forum topic	just a funny rant re: cpu design history	raould	2013-09-25 20:31
Story	The Size-Change Termination Principle for Constructor Based Languages	naasking	2013-09-19 01:59
Story	Types for Flexible Objects Oh, I see by Matt M You can always specify your by Sean McDirmid Onioning the Object by zach Conditional Constraints? by zach A sort of dual limitation by zach Why? by Matt M Whole program is a by Sean McDirmid (delete) by Sean McDirmid Flat global namespaces (and by Sean McDirmid The question is how much by Sean McDirmid ...	naasking	2013-09-16 18:49
Forum topic	Glitch: A Live Programming Model Time for consistency is a by Sean McDirmid Time for consistency is a by dmbarbour Maybe we are talking about by Sean McDirmid Any conditional update in a by dmbarbour We can avoid trapping state by Sean McDirmid Conditional state changes in by dmbarbour non monotonic by Sean McDirmid Managed change works well. by dmbarbour I wonder if my virtual time by Sean McDirmid Lightweight Time Warp by dmbarbour	Sean McDirmid	2013-09-16 04:01
first page previous page next page last page