Lambda the Ultimate

type	title	author	last post
Story	Turnstile+: Dependent Type Systems as Macros it seems obvious by chrisoliver Oh really? by chrisoliver Punch line by chrisoliver Right so by chrisoliver Wrong about natural language by chrisoliver I know by chrisoliver Fair enough by chrisoliver ltu site fail by chrisoliver ltu site fail by chrisoliver Predicting your own input by chrisoliver ...	Charles Stewart	2021-08-17 17:18
Story	On compositionality some parts of C++ by chrisoliver If JS promises had been designed properly by chrisoliver	Charles Stewart	2018-10-23 17:45
Forum topic	C++ fun	chrisoliver	2018-06-11 02:05
Forum topic	Defunctionalization+Refunctionalization+Expression Problem IDE by chrisoliver	chrisoliver	2018-02-02 04:24
Forum topic	Refining Structured Type System Projection by chrisoliver Negative and fractional types by chrisoliver	Ivan V.	2017-12-31 16:52
Forum topic	Algebra Of Pointers Torsor by chrisoliver	Keean Schupke	2017-12-30 13:48
Forum topic	A Functional Representation of Data Structures with a Hole (1998) lets you add linear types... by chrisoliver	Vladimir Slepnev	2017-12-01 12:08
Forum topic	Language features for tracing JIT? Google Scholar by chrisoliver lancet by chrisoliver	Luke Gorrie	2017-08-21 14:33
Forum topic	The question of the possibility of a simple formal foundation to the natural languages. Also in math and logic by chrisoliver	Enrique Perez Arnaud	2017-08-16 01:24
Story	Imperative Functional Programs that Explain their Work Yes I agree by chrisoliver Oystein Ore the culprit by chrisoliver Galois connections by chrisoliver	gasche	2017-05-31 09:03
Forum topic	Prove: 'Cont r a = (a -> r) -> r' forms a monad Yoneda by chrisoliver Right Kan Extension by chrisoliver	marco	2017-05-16 02:03
Forum topic	Lecturing birds how to fly Are you sure? by chrisoliver	Charles Stewart	2016-09-07 18:46
Forum topic	Whither FRP? Your foam web site by chrisoliver	raould	2016-09-03 12:47
Forum topic	Theory of syntax extensions: does it exist? Corporate politics by chrisoliver Natural language by chrisoliver	johnwcowan	2016-05-30 10:47
Forum topic	Formalization and programming language design -- explained to all Mathematicians are people too by chrisoliver foreach/select by chrisoliver off the top of my head.. by chrisoliver Simplicity, clarity, conciseness, consistency - Human factors by chrisoliver	gasche	2016-04-01 05:40
Forum topic	Programmatic and Direct Manipulation, Together at Last Maya Ascii by chrisoliver Visual programming by chrisoliver	Sean McDirmid	2016-02-13 20:21
Story	Static vs. Dynamic Languages: A Literature Review Maybe by chrisoliver Ok, but to me this implies a misunderstanding of roles by chrisoliver Performance by chrisoliver sports, music, crafts, cooking, etc, etc by chrisoliver Performance by chrisoliver Misguided by chrisoliver Covariant functor by chrisoliver	naasking	2016-01-11 06:22
Forum topic	Typed Data Kahneman? by chrisoliver	Andrew Moss	2015-12-31 08:59
Story	Programming with Algebraic Effects and Handlers Algebraic effects and handlers in Javascript by chrisoliver	Matt Hellige	2015-12-04 03:11
Forum topic	Andrei's answer to "Which language has the brightest future in replacement of C between D, Go and Rust? And Why?" The problem is C++ include files and templates by chrisoliver C++ by chrisoliver Google solved this problem by chrisoliver C++ compile time by chrisoliver UE-4 by chrisoliver Benefits by chrisoliver C++ has too many problems by chrisoliver	Sean McDirmid	2015-11-24 16:45
Forum topic	Hacker’s Brain – The Psychology of Programming Bias? by chrisoliver	Sean McDirmid	2015-11-23 03:27
Forum topic	MCG: A Visual Functional Programming Language Cool by chrisoliver	cdiggins	2015-11-02 19:34
Forum topic	PL vs. PX Visual Studio by chrisoliver	Sean McDirmid	2015-10-26 18:24
Forum topic	Live programming in APX, an early peek scrubbing by chrisoliver	Sean McDirmid	2015-09-30 15:45
Forum topic	word2vec The way it works... by chrisoliver	Sean McDirmid	2015-09-05 18:26
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