Lambda the Ultimate

type	title	author	last post
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	A Next Generation Smart Contract and Decentralized Application Platform	Manuel J. Simoni	2017-07-26 12: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
Forum topic	Why is Static Typing Hard? Programming Language Zoo by Manuel J. Simoni	Jon Purdy	2013-11-12 18:56
Story	Copatterns: the final approach to codata? Typo: s/Andreal/Andreas/ by Manuel J. Simoni	gasche	2013-10-11 22:36
Forum topic	How is LtU doing? Drop Ehud an email by Manuel J. Simoni	Sean McDirmid	2013-09-29 23:55
Story	Extensible Effects -- An Alternative to Monad Transformers OK, thanks. Another by Manuel J. Simoni Why does it need the continuation? by Manuel J. Simoni	naasking	2013-08-01 13:03
Forum topic	Typographical extensions for programming languages: breaking out of the ASCII straitjacket The second link is broken. by Manuel J. Simoni	Sean McDirmid	2013-07-28 00:17
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