user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	Embedding Prolog in Haskell There might be a certain by Kay Schluehr Just a Carricature by Countably Infinite An error of perspective by Charles Stewart Academic Freedom, response to Charles Stewart by Countably Infinite One more Prolog in Scala: Styla by Countably Infinite Nothing specific to Jekejeke Prolog by Countably Infinite When I wrote "use case" I by Josh Stern Lee Naish's argument by Z-Bo Not specific to relation languages resp. Prolog by Countably Infinite The SOCI approach is by Josh Stern ...	Frank Atanassow	2012-02-11 08:39
Forum topic	Teaching challenge: culturally enriching formulae-as-types The last lecture to my first by Philip Wadler Too heavyweight by Charles Stewart FWIW by Paul Snively Adam Chlipala by dmbarbour	Charles Stewart	2012-02-10 22:36
Story	The Algebra of Data, and the Calculus of Mutation Nice example!By by sigfpe dimensional analysis by el-vadimo Look at Andrew Kennedy's 1997 POPL paper... by neelk Not quite by sigfpe Types are obsolete? by Tegiri Nenashi Great Explanation by Patrick Moran Excellent by John Shutt blast from the past! by shahbaz Don't delist me by Daniel Yokomizo Thanks for the plug by Kalani	Manuel J. Simoni	2012-02-10 17:55
Story	Effective Scala Sure, but... by Matt Hellige The for comprehension acts by AlecZorab Actually you can define map by Jules Jacobs Strange advocacy by renox Except it's not true by Matt Hellige flatMap by AlecZorab Of workflows and monads by yminsky flatMap is the new bind by gasche Slightly unfair by Bárður Árantsson I was so asking for this... by Ehud Lamm ...	Ehud Lamm	2012-02-10 17:22
Forum topic	Coding at the Speed of Touch Chorded Keyboard by dmbarbour Mess and Merge by dmbarbour Zany Doodle by dmbarbour Good analogy by Jules Jacobs temporarily ill typed by dmbarbour This seems closely related by John Shutt +1 by Manuel J. Simoni On allowing badly typed code by Jules Jacobs Type inference by dmbarbour But allowing badly typed by Sean McDirmid ...	Sean McDirmid	2012-02-09 20:33
Story	Vellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations No Worries by Paul Snively Done by Paul Snively I for one would welcome the by sylvain New England ++ by Charles Stewart While you're at it, you by gasche Oops by Paul Snively UPenn by Paul Snively Re: What exactly can it do? by el-vadimo LLVM Undef by Steve Zdancewic I'm apparently not reading by Josh Stern ...	Paul Snively	2012-02-09 18:04
Story	Programming as collaborative reference Hiding information by Matt M Why hide the annotations? by lexspoon Strange list by Andrew Moss Siri-ous programming by Sean McDirmid Asynchronous by Matt M But non-interactive error by naasking So, best case scenario is by migmit "Dialog" by tov Saved context by Andrew Moss If the compiler gets stuck by migmit ...	Manuel J. Simoni	2012-02-08 23:28
Forum topic	Active Variables in Common Lisp Lenses by dmbarbour Access Oriented by dmbarbour In Bling, you can create a by Sean McDirmid OO languages do it for by lmeyerov Accessors not really the same thing... by Michael Compton Dart supports this by munificent Variable traces in Tcl/Tk by Neil M Reflection by John Shutt Rarely realy? by renox Why make activation by gasche ...	kruhft	2012-02-08 18:02
Forum topic	Evolution of mainstream programming language paradigms Mmmm curry by Matt M Complex vs. Complicated by dmbarbour Do you take "complex" and by Ben L. Titzer I can't say I understand the by bryanedds Language Properties by dmbarbour My take is that you simply by Ben L. Titzer Open Systems is the challenge, Processes is a solution by const The physics of reactive programming by Sean McDirmid Open System Dynamic Processes by dmbarbour You're correct it does by bryanedds ...	const	2012-02-08 02:01
Forum topic	Small is Beautiful: the design of Lua Non-Inductive datatypes by Matt M The popularity of Lua's FFI by Charles Stewart Sequences and essentials by Charles Stewart It's about interfaces by kragen Yes, but by kragen Separate Sequence...what by Walt BMeph Rorie-Baety How would that help with by Denis Bredelet -jido Sets vs. Maps and Concatenate by brian Really clever? by Manuel J. Simoni Dispensable fundamental notions by Charles Stewart ...	bashyal	2012-02-07 14:33
next page last page