Lambda the Ultimate

type	title	author	last post
Forum topic	Is character as a type meaningless? Depends on level of abstraction... by shap Agreed - sort of by shap Small quibble by shap	Mats	2020-09-16 20:52
Forum topic	Async/await vs coroutines? Something else by shap	Matthew OConnor	2020-09-10 16:33
Forum topic	For a relational language, how treat KeyValues, Streams in relations with operators that add or remove "columns" In the worst event... by shap Key-Value store is OK by shap	mamcx	2019-06-08 16:17
Story	Is Haskell the right language for teaching functional programming principles? Elm type of integer divide? by shap	Ehud Lamm	2018-08-14 06:26
Forum topic	C++ fun None by shap	chrisoliver	2018-06-11 02:05
Forum topic	Are Monads a Waste of Time? But it does... by shap Idiom is not a waste of time by shap	Keean Schupke	2018-03-16 00:59
Story	"8th" - a gentle introduction to a modern Forth Struck by this as well by shap	Allan McInnes	2017-10-14 05:08
Forum topic	On the (Alleged) Value of Proof for Assurance One can't by shap Not yet published by shap Over-reading by shap Two corrections by shap Peter was actually very by shap Continuity of scope by shap Knew about Gutmann by shap	shap	2016-11-24 01:04
Forum topic	Branch Prediction and the Performance of Interpreters - Don’t Trust Folklore Look at 'cc by shap	adrieng	2015-08-18 16:42
Forum topic	Research vs implementation, theory vs practice, and LtU Security issue by shap Research and PL by shap	Blaisorblade	2015-07-28 16:57
Forum topic	Fixed points considered harmful A Meta-Comment on Style by shap	Hewitt	2015-07-21 06:16
Forum topic	Compilation to C, a definitive guide? Sure you do by shap Local inference by shap	naasking	2015-07-05 19:00
Forum topic	Paper journals are in bad shape; priority established in HAL ... Length limitations by shap	Hewitt	2015-06-07 15:39
Forum topic	Have tracing JIT compilers won? Justification? by shap Not Portable by shap	Peter Michaux	2015-05-26 21:09
Forum topic	C++ Parser Combinator Library Lookahead == Backtracking by shap But what about validation? by shap Grammar validation by shap	Keean Schupke	2015-05-01 13:29
Forum topic	Constraint typing, subtyping, and separate compilation Guessing but... by shap	Sean McDirmid	2015-03-12 22:35
Forum topic	general patterns in PL persistence schemes? Some exceptions by shap So just to be explicit... by shap	Rys McCusker	2015-02-24 02:23
Forum topic	Making implicits less powerful? Unbounded proof search really IS bad by shap Misframed by shap	Vladimir Slepnev	2015-02-20 16:07
Forum topic	How can be a interpreter faster than C (aka: kdb+) I've got it wrong by shap That's exactly the issue. by shap Practical (single variable) example by shap Correction by shap Sure you can by shap Differing assumptions by shap I would like to see it. by shap ... and that's a good thing by shap Not type classes by shap	mamcx	2014-12-31 14:26
Forum topic	SML# targets LLVM It seems serious by shap	raould	2014-12-26 21:05
Forum topic	Why do we need modules at all? Still need units of compilation by shap	Sean McDirmid	2014-12-06 15:20
Forum topic	Implementing fast interpreters TinyScheme is pretty nice by shap	vieiro	2014-12-04 10:31
Forum topic	Opposing Hierarchies of Complexity In some cases by shap	Keean Schupke	2014-11-05 22:20
Forum topic	On constness Mix of linearity and escape freedom by shap Escape Freedom by shap Scale! by shap This could work by shap Exactly by shap Heart of the problem by shap Not sure this is right by shap Transient Mutabilty by shap Semi-Transitive Immutability by shap Immutability is easy by shap ...	Talin	2014-10-13 20:58
Forum topic	Experiment BitC tried this and stumbled by shap	Ehud Lamm	2014-10-01 17:10
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