Lambda the Ultimate

type	title	author	last post
Story	On compositionality Ironically by Andreas Rossberg Not sure by Andreas Rossberg Terminology woes by Andreas Rossberg Wrong examples by Andreas Rossberg The argument appears to be by Andreas Rossberg	Charles Stewart	2018-10-23 17:45
Story	"C Is Not a Low-level Language" UB is dynamic by Andreas Rossberg	Allan McInnes	2018-08-02 15:16
Story	Polymorphism, subtyping and type inference in MLsub Unneat by Andreas Rossberg Cool paper by Andreas Rossberg	gasche	2018-07-13 00:37
Forum topic	Type Bombs Hm by Andreas Rossberg The type level of F-omega is an STLC by Andreas Rossberg Essentially STLC by Andreas Rossberg	marco	2018-05-17 10:51
Forum topic	Bottom What is? by Andreas Rossberg Confused by Andreas Rossberg	marco	2018-03-10 18:20
Forum topic	A Functional Representation of Data Structures with a Hole (1998) The problems with reasoning by Andreas Rossberg Python? by Andreas Rossberg Futures by Andreas Rossberg	Vladimir Slepnev	2017-12-01 12:08
Forum topic	Non-determinism: a sublanguage rather than a monad Not all effects are monads in Haskell by Andreas Rossberg Er by Andreas Rossberg You probably want to read it once more by Andreas Rossberg	Greg Buchholz	2017-10-28 07:57
Story	ECMAScript Edition 4 Reference Implementation IO monad by Andreas Rossberg Overspecifying the unobservable? by Andreas Rossberg Thanks by Andreas Rossberg Evaluation order by Andreas Rossberg Mh... by Andreas Rossberg Overspecification by Andreas Rossberg	Dave Herman	2017-08-05 19:34
Forum topic	jsMath support? +1 by Andreas Rossberg	neelk	2016-12-29 16:05
Forum topic	WebAssembly Not quite by Andreas Rossberg Planned by Andreas Rossberg Jumps by Andreas Rossberg Not a solution by Andreas Rossberg The Web is an interesting space by Andreas Rossberg It has to be safe by Andreas Rossberg	Ivan V.	2016-06-24 17:31
Forum topic	Recursive types Yes, you need to by Andreas Rossberg Thanks by Andreas Rossberg DFA minimisation by Andreas Rossberg Doubts by Andreas Rossberg	skaller	2016-06-17 06:02
Forum topic	For the record... Nah... by Andreas Rossberg	Ehud Lamm	2016-05-24 10:28
Forum topic	Formalization and programming language design -- explained to all Not aware by Andreas Rossberg	gasche	2016-04-01 05:40
Story	C is Manly, Python is for “n00bs”: How False Stereotypes Turn Into Technical “Truths” "To Work" by Andreas Rossberg	Allan McInnes	2016-03-25 19:25
Forum topic	Andrei's answer to "Which language has the brightest future in replacement of C between D, Go and Rust? And Why?" Remark by Andreas Rossberg	Sean McDirmid	2015-11-24 16:45
Forum topic	1ML — Core and modules united True ≠ known by Andreas Rossberg ...are nice by Andreas Rossberg Two choices by Andreas Rossberg Indeed by Andreas Rossberg Objects = Modules - Type-level components + First-classness by Andreas Rossberg Ha! by Andreas Rossberg I think you still by Andreas Rossberg Monads don't help by Andreas Rossberg Does this encoding buy anything? by Andreas Rossberg Manual phase splitting by Andreas Rossberg ...	Tom Primožič	2015-11-09 21:29
Forum topic	Subclass, superclass, or siblings under an abstract superclass? Inlining by Andreas Rossberg Evidence? by Andreas Rossberg	Ray Dillinger	2015-09-29 15:36
Forum topic	Moderation on LtU Symptoms of anti-intellectualism by Andreas Rossberg	gasche	2015-09-05 11:34
Forum topic	Big questions Speak for yourself by Andreas Rossberg More like 20-40 by Andreas Rossberg	Ehud Lamm	2015-08-27 03:57
Forum topic	Eric Lippert's Sharp Regrets Complexity of Scala vs ML modules by Andreas Rossberg	Wolf Logan	2015-08-24 11:10
Forum topic	Research vs implementation, theory vs practice, and LtU "As much as possible"? by Andreas Rossberg Bogus analogy by Andreas Rossberg Hint by Andreas Rossberg Fair enough, I only picked the title by Andreas Rossberg State Change Denial by Andreas Rossberg Nah, compaction is mandatory by Andreas Rossberg It spoke up already by Andreas Rossberg	Blaisorblade	2015-07-28 16:57
Forum topic	Compilation to C, a definitive guide? Languages need to be independent of tooling by Andreas Rossberg Mh, interesting by Andreas Rossberg Um, no by Andreas Rossberg	naasking	2015-07-05 19:00
Forum topic	Who owns your research? Results of SIGPLAN Open Access survey Ah by Andreas Rossberg	gasche	2015-06-25 06:55
Forum topic	Live Coding at Come Alive Not a dichotomy by Andreas Rossberg	marco	2015-06-08 12:05
Forum topic	The evolution of Rust The "reality" fallacy by Andreas Rossberg	qznc	2015-06-07 16:54
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