Lambda the Ultimate

type	title	author	last post
Forum topic	System programming using FP Timber by Andris Birkmanis	Todd Coram	2020-11-27 13:54
Story	Seven Sketches in Compositionality: An Invitation to Applied Category Theory	Andris Birkmanis	2019-05-24 22:34
Story	How to Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-rules	Andris Birkmanis	2018-05-21 07:37
Story	The Gentle Art of Levitation	Andris Birkmanis	2018-05-15 01:41
Story	Comprehending Ringads	Andris Birkmanis	2018-05-05 02:59
Story	Sequent Calculus as a Compiler Intermediate Language	Andris Birkmanis	2018-04-03 01:18
Forum topic	Egel Language v0.0.2 Untyped!=unstructured by Andris Birkmanis Doesn't look bad. You may by Andris Birkmanis	marco	2018-03-23 22:12
Forum topic	Site migration Cluster? by Andris Birkmanis	Anton van Straaten	2018-03-12 12:02
Story	Compiling a Subset of APL Into a Typed Intermediate Language The perils of copy/paste by Andris Birkmanis	Andris Birkmanis	2018-02-01 15:56
Story	Copattern matching and first-class observations in OCaml, with a macro A link for non-academics by Andris Birkmanis	naasking	2017-12-25 02:52
Story	Exploiting Vector Instructions with Generalized Stream Fusion	Andris Birkmanis	2017-12-22 03:33
Forum topic	Abstractionless programming Managing Duplicated Code with Linked Editing by Andris Birkmanis Premature sharing considered harmful :-) by Andris Birkmanis Intentional Programming by Andris Birkmanis	Wouter	2017-06-10 16:36
Forum topic	Conversion of 'functional' to 'imperative' algorithms: is it possible? Alternative approach - replace CBV by CBN and vice versa by Andris Birkmanis	Achilleas Margaritis	2017-03-31 19:14
Story	ActorScript(TM): Industrial strength integration of local and nonlocal concurrency for Client-cloud Computing	Andris Birkmanis	2015-04-25 23:47
Story	Morrow & First-class Labels absent : EmptyType by Andris Birkmanis Given type by Andris Birkmanis Final classes by Andris Birkmanis Is {l :: a} a closed type? by Andris Birkmanis	Frank Atanassow	2014-12-28 20:26
Forum topic	Concatenative Language Kont Monads as concatenative PLs? by Andris Birkmanis Effects&type system for Scheme? :-) by Andris Birkmanis	Chris	2014-10-22 09:15
Story	Physics, Topology, Logic and Computation: A Rosetta Stone Previously mentioned on LtU by Andris Birkmanis	Andris Birkmanis	2014-06-25 18:14
Story	Gilad Is Right Duck-typing the rabbit hole by Andris Birkmanis What about HOFs? by Andris Birkmanis	Erik Meijer	2014-03-23 13:38
Forum topic	Higher order versus Object order No ADT in FP? by Andris Birkmanis	Francis McCabe	2012-05-17 17:45
Story	Social Processes and Proofs of Theorems and Programs Fractal Intuition by Andris Birkmanis The right tools probably can by Andris Birkmanis No Silver Bullet by Andris Birkmanis	Luke Gorrie	2012-03-19 13:02
Story	Diagram showing all programming paradigms and their relationships No SQL by Andris Birkmanis Cells and call/cc. Or delimited continuations. by Andris Birkmanis What's a paradigm? by Andris Birkmanis Polytypic programming? What, no types? by Andris Birkmanis Hasse diagram? by Andris Birkmanis Imperative SQL by Andris Birkmanis	Peter Van Roy	2012-01-13 17:06
Story	Haskell for C Programmers Good variables by Andris Birkmanis	Mark Evans	2011-09-12 18:37
Story	Retrospective: The Essence of Compiling with Continuations Another retrospective seems to disagree by Andris Birkmanis	Ehud Lamm	2011-07-11 18:08
Forum topic	Multi-Return Function Call Useful indeed by Andris Birkmanis	Matthew Morgan	2011-04-14 05:45
Story	Getting Started ReadScheme by Andris Birkmanis	Ehud Lamm	2011-03-16 17:43
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