Lambda the Ultimate

type	title	author	last post
Forum topic	C++ Parser Combinator Library You mean First-class modules/virtual classes? by Blaisorblade Vs. Boost::Spirit? by Blaisorblade	Keean Schupke	2015-05-01 13:29
Story	ActorScript(TM): Industrial strength integration of local and nonlocal concurrency for Client-cloud Computing Is there some good _introduction_ to the subject? by Blaisorblade	Andris Birkmanis	2015-04-25 23:47
Forum topic	Type Differentials Incremental computation at the type level? by Blaisorblade	Talin	2015-04-25 15:02
Story	A theory of changes for higher-order languages — incrementalizing λ-calculi by static differentiation Bob Atkey on the connection to parametricity by Blaisorblade Self-maintainable derivatives vs not by Blaisorblade	gasche	2015-04-24 13:57
Story	The Next Stage of Staging Better answers by Blaisorblade Here, I've dropped the by Blaisorblade "Everything old is new again: Quoted Domain Specific Languages" by Blaisorblade The author moved — here's Green Open Access by Blaisorblade Paper by Blaisorblade You need a good EDSL host by Blaisorblade JIT Instrumentation slows the code down [citation needed] by Blaisorblade Staging is easier than templates by Blaisorblade You're looking for what Lancet provides by Blaisorblade Could you elaborate? Here by Blaisorblade ...	naasking	2015-04-07 14:58
Forum topic	Making implicits less powerful? The encoding got screwed up indeed by Blaisorblade	Vladimir Slepnev	2015-02-20 16:07
Forum topic	Some notes on Rust, the language. He claims to be using math by Blaisorblade We're still in the Stone Age of computer science... by Blaisorblade And maintaining formalizations? by Blaisorblade Rust is certainly normal, by Blaisorblade	John Nagle	2015-02-09 07:25
Forum topic	Computing by deltas? "Incremental DSLs" by Blaisorblade Associative folds are "easy" by Blaisorblade Reference on impossibility? by Blaisorblade	Andy Fischer	2015-02-06 16:26
Story	Call-by-Name, Call-by Value and the Lambda Calculus Thanks for the by Blaisorblade A good summary? by Blaisorblade	Ehud Lamm	2015-01-12 02:08
Forum topic	Function arity with currying and call-by-push-value Found it in the history, encoding issues found guilty by Blaisorblade Debugging by Blaisorblade Sorry for destroying my top post by Blaisorblade More pointers by Blaisorblade More precisely, the paper by Blaisorblade Instead of (read(), read()), by Blaisorblade You can use a tuple there, by Blaisorblade Not CBPV by Blaisorblade Thanks! Doubts: Two, if you by Blaisorblade Thanks for answers by Blaisorblade ...	Blaisorblade	2015-01-05 16:09
Forum topic	Why do we need modules at all? Multiprocess is C's module system, we have simpler by Blaisorblade Fix research by Blaisorblade Pascal lacked the time to by Blaisorblade There's a technical difference by Blaisorblade I must be missing something by Blaisorblade See "Modular type classes" by Blaisorblade	Sean McDirmid	2014-12-06 15:20
Forum topic	Impact of static type systems on productivity of actual programmers: first experiment I've seen documented. Aristotelian physics by Blaisorblade	Ray Dillinger	2014-11-18 03:22
Forum topic	Opposing Hierarchies of Complexity And the CPU? by Blaisorblade	Keean Schupke	2014-11-05 22:20
Forum topic	Jonathan Blow's next foray into game language design Azul VM by Blaisorblade	jdougan	2014-10-21 20:35
Story	LtU's new server Leaving this alone is also OK by Blaisorblade Some old content still seems corrupted by Blaisorblade	Anton van Straaten	2014-10-20 16:51
Forum topic	Optimisation by repeated beta- and eta-reduction Equality is incomplete. by Blaisorblade	L Spice	2014-09-22 01:00
Story	Scala woes? To be sure... by Blaisorblade Haskell has that whole by Blaisorblade Binary methods are the big by Blaisorblade Thanks for the highlight by Blaisorblade Harder, so focus on correctness by Blaisorblade Scala makes ML modules first-class by Blaisorblade Disagree by Blaisorblade	Ehud Lamm	2014-09-20 21:18
Forum topic	Patent on "safe" transitive immutability for object types — prior art? Thanks a lot for the comment by Blaisorblade Thanks for the warning by Blaisorblade Transitive immutability by Blaisorblade	Blaisorblade	2014-09-11 18:18
Forum topic	LtU database problem Full message by Blaisorblade	Blaisorblade	2014-09-10 14:27
Forum topic	SPLASH 2014 - Call For Participation Scala by Blaisorblade	craiganslow	2014-09-09 21:30
Story	Apple Introduces Swift Eclipse IDE/Scala presentation compiler by Blaisorblade	bashyal	2014-08-21 17:54
Forum topic	Compositional let bindings Would Hackage be sufficient for you? by Blaisorblade	Keean Schupke	2014-07-05 15:36
Forum topic	Those pesky higher-rank types. Or how to type \f x y. (f x, f y) Sorry but I'm not entirely by Blaisorblade Behavior seems a problem in practice by Blaisorblade Haskell had each at some point by Blaisorblade Alternative solutions by Blaisorblade Unification in type inference and Prolog is the same by Blaisorblade No corner case by Blaisorblade	marco	2014-05-26 17:22
Story	Propositions as Types I agree with you that by Blaisorblade	Manuel J. Simoni	2014-03-19 07:14
Forum topic	"Down with Lambda-Lifting" Anybody has a copy? by Blaisorblade	dbfaken	2014-02-24 17:04
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