Lambda the Ultimate

type	title	author	last post
Forum topic	Advantages of pointfree? Ha by Sam Tobin-Hochstadt	John Nowak	2023-02-19 16:24
Story	How to Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-rules That paper is about what by Sam Tobin-Hochstadt Systems with additional by Sam Tobin-Hochstadt I think the short version of by Sam Tobin-Hochstadt	Andris Birkmanis	2018-05-21 07:37
Forum topic	Representing Type Information in Dynamically Typed Languages Clojure? by Sam Tobin-Hochstadt	Ray Dillinger	2018-04-06 21:50
Forum topic	Implementing typing rules -- how do I implement non-syntactic rules? No, when people don't by Sam Tobin-Hochstadt	osa1	2017-05-12 05:28
Forum topic	On the (Alleged) Value of Proof for Assurance Goodbye by Sam Tobin-Hochstadt No by Sam Tobin-Hochstadt The LCF approach by Sam Tobin-Hochstadt No by Sam Tobin-Hochstadt Still not correct by Sam Tobin-Hochstadt Hmm by Sam Tobin-Hochstadt Isabelle's foundations by Sam Tobin-Hochstadt Law by Sam Tobin-Hochstadt	shap	2016-11-24 01:04
Story	Pycket: A Tracing JIT For a Functional Language And no one has seen frequent by Sam Tobin-Hochstadt Like I said, the things you by Sam Tobin-Hochstadt That's helpful, thanks. by Sam Tobin-Hochstadt Actually, I'm using DrRacket by Sam Tobin-Hochstadt If there are particular by Sam Tobin-Hochstadt I would talk about the by Sam Tobin-Hochstadt	gasche	2016-10-06 00:41
Forum topic	Best successor to Scheme? Depends what you want by Sam Tobin-Hochstadt	raould	2016-05-03 06:31
Forum topic	Programmatic and Direct Manipulation, Together at Last Haskell programs only prove by Sam Tobin-Hochstadt	Sean McDirmid	2016-02-13 20:21
Forum topic	Andrei's answer to "Which language has the brightest future in replacement of C between D, Go and Rust? And Why?" I believe that the Cyclone by Sam Tobin-Hochstadt I totally disagree--those by Sam Tobin-Hochstadt Big productivity wins over by Sam Tobin-Hochstadt I don't this is an accurate by Sam Tobin-Hochstadt	Sean McDirmid	2015-11-24 16:45
Forum topic	meta: September "propose a post" post (proposal) Important at POPL by Sam Tobin-Hochstadt	Thomas Lord	2015-09-15 10:27
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
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