Lambda the Ultimate

type	title	author	last post
Forum topic	Research vs implementation, theory vs practice, and LtU Racket is already practical by Sam Tobin-Hochstadt	Blaisorblade	2015-07-28 16:57
Story	Facebook releases "Flow", a statically typed JavaScript variant Also, dialyzer rejects by Sam Tobin-Hochstadt	James Iry	2014-12-03 08:59
Story	John C Reynolds Doctoral Dissertation Award nominations for 2014 Not quite right by Sam Tobin-Hochstadt A weird split by Sam Tobin-Hochstadt	Ehud Lamm	2014-12-01 08:41
Forum topic	Whither Flow Analysis? It really is the complexity by Sam Tobin-Hochstadt I don't think this is right. by Sam Tobin-Hochstadt It already did by Sam Tobin-Hochstadt	raould	2014-11-14 11:54
Forum topic	DARPA funds $11 million tool that will make coding a lot easier Standard DARPA by Sam Tobin-Hochstadt	Sean McDirmid	2014-11-10 05:17
Forum topic	Experiment Rust does this (n/t) by Sam Tobin-Hochstadt	Ehud Lamm	2014-10-01 17:10
Forum topic	A StackExchange Site for Programming Language Theory PLT by Sam Tobin-Hochstadt	aaditmshah	2014-09-27 15:30
Story	Scala woes? Not a fair comparison by Sam Tobin-Hochstadt	Ehud Lamm	2014-09-20 21:18
Forum topic	The Programming Languages Enthusiast From any direction, I think by Sam Tobin-Hochstadt Doesn't look niche to me by Sam Tobin-Hochstadt	Sean McDirmid	2014-07-13 15:58
Story	.NET Compiler Platform ("Roslyn") I don't think I suggested by Sam Tobin-Hochstadt What's being hidden is as by Sam Tobin-Hochstadt	Ehud Lamm	2014-04-22 23:53
Story	Facebook Introduces ‘Hack,’ the Programming Language of the Future Hack is intended to be sound by Sam Tobin-Hochstadt TypeScript yes, Dart no by Sam Tobin-Hochstadt	bashyal	2014-03-26 03:53
Story	Jeeves Differential privacy by Sam Tobin-Hochstadt	Ehud Lamm	2014-03-02 16:02
Forum topic	List of ICFP2013 papers with preprints Counterexamples by Sam Tobin-Hochstadt What is "open research"? by Sam Tobin-Hochstadt	vieiro	2013-10-15 10:58
Forum topic	SF-calculus The Expressive Power of Programming Languages by Sam Tobin-Hochstadt	Barry Jay	2013-08-30 18:42
Story	the gnu extension language You should take a look at by Sam Tobin-Hochstadt	Manuel J. Simoni	2013-06-28 14:23
Forum topic	"Fortress Wrapping Up" Pretty much all the things by Sam Tobin-Hochstadt SAFE is actually quite by Sam Tobin-Hochstadt CRASH is an ongoing program by Sam Tobin-Hochstadt This seems to be very confused by Sam Tobin-Hochstadt	Alan Eliasen	2012-11-11 23:51
Forum topic	Bob Harper of CMU is blogging about programming languages and introductory CS education Welcome to Java by Sam Tobin-Hochstadt Comparison by Sam Tobin-Hochstadt Sets by Sam Tobin-Hochstadt Equality just sucks by Sam Tobin-Hochstadt	vrijz	2012-06-30 00:11
Forum topic	Quantitative comparison of unit testing vs. static typing? Fast by Sam Tobin-Hochstadt I think you're confused by Sam Tobin-Hochstadt Works For Me :) by Sam Tobin-Hochstadt Well, you said originally by Sam Tobin-Hochstadt Proxies/Chaperones by Sam Tobin-Hochstadt Yes, the example code hadn't by Sam Tobin-Hochstadt Squadron scramble by Sam Tobin-Hochstadt For Typed Racket by Sam Tobin-Hochstadt	lmeyerov	2012-06-22 02:59
Forum topic	Matthew Flatt on Racket Submodules The interleaving is entirely by Sam Tobin-Hochstadt Do you have any specific by Sam Tobin-Hochstadt	gasche	2012-06-09 18:21
Story	Adding Delimited and Composable Control to a Production Programming Environment Programming in CPS by Sam Tobin-Hochstadt send/suspend/dispatch by Sam Tobin-Hochstadt	Manuel J. Simoni	2012-04-22 23:57
Forum topic	Certified Programming with Dependent Types: home stretch! Citations by Sam Tobin-Hochstadt	Adam Chlipala	2012-04-22 22:31
Forum topic	iPhone PL lockdown PL Terminology by Sam Tobin-Hochstadt	Sean McDirmid	2011-12-24 05:49
Story	Why Object-Oriented Languages Need Tail Calls Sometimes by Sam Tobin-Hochstadt This is not correct by Sam Tobin-Hochstadt Proper Implementation of Tail Calls is a Semantic Property by Sam Tobin-Hochstadt Clinger's Paper by Sam Tobin-Hochstadt	Leon P Smith	2011-10-01 21:58
Forum topic	What Does Functional Programming Mean? Not true of Racket by Sam Tobin-Hochstadt	Denis Bredelet -jido	2011-09-26 00:17
Forum topic	Forum Topics and Story The issue is not that people by Sam Tobin-Hochstadt Discussion yes, but with who? by Sam Tobin-Hochstadt	Henry Luo	2011-09-24 17:53
first page previous page next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation