user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	Snakes all the way down Main difference is hinting by Brandon Bloom Surprised that an interpreter can compete with a JIT. by Kannan Goundan d'oh by raould Link by johnwcowan	raould	2014-12-24 15:49
Forum topic	Integrating Dependent and Linear Types Linearity and evaluation order, continued by Ross Angle Linearity and evaluation order by Ross Angle See... by neelk I didn't read carefully by Ross Angle concurrent clean by raould Thanks... by neelk Idris too by phazer Proof-irrelevance modality by Ross Angle	raould	2014-12-22 20:26
Forum topic	You got your Monads in my FOP/AOP.	raould	2014-12-18 23:40
Forum topic	Wrangling C via Static Checks	raould	2014-12-15 19:56
Forum topic	Ivory EDSL in Haskell for Embedded Control	raould	2014-12-15 19:15
Forum topic	Future of Programming Videos, final program There are lots of locks for by Sean McDirmid Queue Synchronisation. by Keean Schupke If you don't allow the past by Sean McDirmid Interesting by Keean Schupke That is easy: all reads are by Sean McDirmid Transactions by Keean Schupke This is just a quick grock, by Sean McDirmid No Blocking? by Keean Schupke Nice, but still quite by Sean McDirmid Composable Memory Transactions by Keean Schupke ...	Sean McDirmid	2014-12-12 14:09
Story	Zélus : A Synchronous Language with ODEs really neat by dmbarbour	gasche	2014-12-11 21:52
Forum topic	Intuitionistic Programming Language Paper re: Intuitionistic application by raould	raould	2014-12-10 00:18
Forum topic	Paged topics kick the can! by raould I found a way to do it, actually. by Ray Dillinger That might be a useful hack. by Ehud Lamm If the total number of posts by naasking It is an annoying problem. I by Ehud Lamm I figure after the topic has by Sean McDirmid I do this same thing by Matt M Modify URL before visiting by Ross Angle Click on the line for the by John Shutt ?comments_per_page=600 by dmbarbour ...	raould	2014-12-09 21:59
Forum topic	Why do we need modules at all? questionable generalizations by dmbarbour The distinction I see by Bakul Shah universal languages and system architecture by dmbarbour Similarities by dmbarbour There is a big difference! by Bakul Shah Tooling by Keean Schupke text and tools vs binary and optimization by Rys McCusker avoiding coupling by dmbarbour Database is (not) the language. by Keean Schupke not emacs by dmbarbour ...	Sean McDirmid	2014-12-06 15:20
first page previous page next page last page