Lambda the Ultimate

type	title	author	last post
Forum topic	Tackling the Awkward Squad for Reactive Programming	raould	2020-09-24 22:41
Forum topic	Is character as a type meaningless? one walled garde to rule them all by raould	Mats	2020-09-16 20:52
Forum topic	Various desired forms of reasonableness	raould	2020-02-07 15:53
Forum topic	CPS for the win?	raould	2019-03-10 17:26
Story	On compositionality to repeat something you've said before by raould fwiw i'd guess that cap >> effect by raould	Charles Stewart	2018-10-23 17:45
Forum topic	Flix on the JVM for static analysis	raould	2018-10-11 22:52
Story	Safe Dynamic Memory Management in Ada and SPARK vs. Rust? by raould	naasking	2018-08-01 22:57
Forum topic	Programming by poking: why MIT stopped teaching SICP jeeze, can't we all get along? by raould hear hear by raould	Sean McDirmid	2018-01-26 06:42
Forum topic	Algebra Of Pointers i am man and superman by raould	Keean Schupke	2017-12-30 13:48
Forum topic	A Functional Representation of Data Structures with a Hole (1998) MORE VIOLENT AGREEMENT! by raould evolution of a programmer by raould yes! by raould yes (at least a little bit) by raould what were the other 2 then?! by raould	Vladimir Slepnev	2017-12-01 12:08
Forum topic	Living it up with a Live Programming Language Examples? by raould What works? by raould [ot] web / usability / rotations / graves by raould	Sean McDirmid	2017-06-10 16:27
Forum topic	On the (Alleged) Value of Proof for Assurance "does not mirror the structure of the program itself" by raould	shap	2016-11-24 01:04
Story	Pycket: A Tracing JIT For a Functional Language for great good by raould	gasche	2016-10-06 00:41
Story	Philip Wadler: Category Theory for the Working Hacker real world out of memory by raould all abstractions are leaky, some more so than others by raould copy the world on tick by raould i think yes by raould right on by raould monotonic data structures by raould see Shen by raould please, please do by raould	Ehud Lamm	2016-09-23 20:29
Forum topic	Term Rewrite System Implementations? wonderful PSA by raould maude? by raould	Ivan V.	2016-09-18 00:10
Story	Functional Pearl: Type-safe pattern combinators hallelujiah by raould	naasking	2016-09-16 18:18
Forum topic	Programming Languages as Mathematical Representations dogs playing chess by raould tongue in cheek by raould throughput vs. correctness by raould	mfidelman	2016-09-03 23:25
Forum topic	Whither FRP?	raould	2016-09-03 12:47
Forum topic	Is there a language with the ability to write arbitrary type functions? dogged by raould re: code by raould sequent calculus by raould sounds cool to me fwiw. by raould expand? by raould	davidb	2016-08-24 18:18
Story	PowerShell is open sourced and is available on Linux in this day and age by raould	Ehud Lamm	2016-08-21 21:31
Forum topic	Microscript erlang as irony? by raould	Ivan V.	2016-08-08 22:31
Forum topic	how to design PL support for effects emerging from parallel non-determinism? more is better by raould a line in the sand by raould do tell by raould	Rys McCusker	2016-07-15 20:51
Forum topic	WebAssembly narrow gutter question by raould random project that has always warmed my heart by raould reference counting by raould whither? by raould	Ivan V.	2016-06-24 17:31
Story	How to Build Static Checking Systems Using Orders of Magnitude Less Code word by raould others by raould	naasking	2016-06-12 18:06
Forum topic	Programming with a Differentiable Forth Interpreter word by raould	Sean McDirmid	2016-06-06 19:46
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