Andris Birkmanis

type sort icontitleauthorlast post
Forum topicSystem programming using FP Todd Coram2020-11-27 13:54
StorySeven Sketches in Compositionality: An Invitation to Applied Category Theory Andris Birkmanis2019-05-24 22:34
StoryHow to Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-rules Andris Birkmanis2018-05-21 07:37
StoryThe Gentle Art of Levitation Andris Birkmanis2018-05-15 01:41
StoryComprehending Ringads Andris Birkmanis2018-05-05 02:59
StorySequent Calculus as a Compiler Intermediate Language Andris Birkmanis2018-04-03 01:18
Forum topicEgel Language v0.0.2 marco2018-03-23 22:12
Forum topicSite migration Anton van Straaten2018-03-12 12:02
StoryCompiling a Subset of APL Into a Typed Intermediate Language Andris Birkmanis2018-02-01 15:56
StoryCopattern matching and first-class observations in OCaml, with a macro naasking2017-12-25 02:52
StoryExploiting Vector Instructions with Generalized Stream Fusion Andris Birkmanis2017-12-22 03:33
Forum topicAbstractionless programming Wouter2017-06-10 16:36
Forum topicConversion of 'functional' to 'imperative' algorithms: is it possible? Achilleas Margaritis2017-03-31 19:14
StoryActorScript(TM): Industrial strength integration of local and nonlocal concurrency for Client-cloud Computing Andris Birkmanis2015-04-25 23:47
StoryMorrow & First-class Labels Frank Atanassow2014-12-28 20:26
Forum topicConcatenative Language Kont Chris2014-10-22 09:15
StoryPhysics, Topology, Logic and Computation: A Rosetta Stone Andris Birkmanis2014-06-25 18:14
StoryGilad Is Right Erik Meijer2014-03-23 13:38
Forum topicHigher order versus Object order Francis McCabe2012-05-17 17:45
StorySocial Processes and Proofs of Theorems and Programs Luke Gorrie2012-03-19 13:02
StoryDiagram showing all programming paradigms and their relationships Peter Van Roy2012-01-13 17:06
StoryHaskell for C Programmers Mark Evans2011-09-12 18:37
StoryRetrospective: The Essence of Compiling with Continuations Ehud Lamm2011-07-11 18:08
Forum topicMulti-Return Function Call Matthew Morgan2011-04-14 05:45
StoryGetting Started Ehud Lamm2011-03-16 17:43