Lambda the Ultimate

type	title	author	last post
Story	A Next Generation Smart Contract and Decentralized Application Platform	Manuel J. Simoni	2021-05-12 10:13
Story	The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy	Manuel J. Simoni	2020-08-25 22:44
Story	Applied Category Theory - The Emerging Science of Compositionality Introductory talk by Manuel J. Simoni Have to shave some yaks. by Manuel J. Simoni	Manuel J. Simoni	2019-09-10 22:22
Forum topic	Session Types for Purely Functional Process Networks State management by Manuel J. Simoni Syndicate by Manuel J. Simoni	dmbarbour	2019-08-02 12:50
Story	History of Lisp	Manuel J. Simoni	2018-08-26 16:00
Forum topic	Programming language Theme-D HTML links by Manuel J. Simoni	Tommi Höynälänmaa	2018-06-12 14:40
Forum topic	Interesting new paper from T. Sweeney and others Adding printfs? by Manuel J. Simoni Naive question by Manuel J. Simoni	jasonwatkinspdx	2018-01-22 05:09
Story	Co-hygiene and quantum gravity	Manuel J. Simoni	2017-06-17 16:22
Story	Type Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance Formalization 404 by Manuel J. Simoni	naasking	2016-09-20 05:47
Forum topic	Typed Data Streams? How quaint by Manuel J. Simoni	Andrew Moss	2015-12-31 08:59
Forum topic	OcaPic: Programming PIC microcontrollers in OCaml Related: PICBIT: A Scheme System for the PIC Microcontroller by Manuel J. Simoni	Allan McInnes	2015-10-12 22:15
Forum topic	The most obsolete infrastructure money could buy - my worst job ever	Manuel J. Simoni	2015-09-02 09:11
Story	Using Commutative Assessments to Compare Conceptual Understanding in Blocks-based and Text-based Programs	Manuel J. Simoni	2015-08-17 12:34
Forum topic	Database programming language review UserLand Frontier by Manuel J. Simoni	davidb	2015-07-23 00:44
Forum topic	Compilation to C, a definitive guide? No definitive guide by Manuel J. Simoni	naasking	2015-07-05 19:00
Story	Open thread: RIP Steve Jobs In defense of event loops by Manuel J. Simoni OOP by Manuel J. Simoni	Ehud Lamm	2014-10-05 00:19
Story	Inferring algebraic effects It seems to me that the by Manuel J. Simoni Continuations - overkill? by Manuel J. Simoni	Ohad Kammar	2014-10-04 17:39
Forum topic	doing letrec with lambdas Transform to let + set by Manuel J. Simoni	jimdesu	2014-09-29 19:46
Forum topic	Slots as reifications of OOP method names Sure by Manuel J. Simoni	Joaquín M López Muñoz	2014-07-21 21:44
Forum topic	Giant list of visual PLs	Manuel J. Simoni	2014-05-02 16:09
Forum topic	Aha moment Debugging Asynchronous JavaScript with Chrome DevTools by Manuel J. Simoni	Ehud Lamm	2014-04-29 06:07
Story	Deca, an LtU-friendly bare metal systems programming language [Meta] /deca URL by Manuel J. Simoni	Anton van Straaten	2014-04-23 16:10
Forum topic	Modern Shell Language The Scheme shell; Es by Manuel J. Simoni	Pavel P	2014-04-06 11:51
Story	Propositions as Types	Manuel J. Simoni	2014-03-19 07:14
Forum topic	Less is more. Generic functions by Manuel J. Simoni	Rys McCusker	2014-01-19 13:05
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