Lambda the Ultimate

type	title	author	last post
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
Story	Scala Team Wins ERC Grant Whose money by Andris Birkmanis	Ehud Lamm	2011-01-18 05:47
Story	The Fortress Language Spec v0.618 It was by Andris Birkmanis	Dave Herman	2010-12-13 04:24
Forum topic	expressivity of "idiomatic C++" Back to expressivity by Andris Birkmanis It happens by Andris Birkmanis Reframing by Andris Birkmanis An unexpected bonus by Andris Birkmanis Phase limitation by Andris Birkmanis Errata by Andris Birkmanis Smooth numbers - generic Hamming by Andris Birkmanis	el-vadimo	2010-11-10 22:56
Forum topic	Lisps, First-Class Special Forms, Fexprs, The Kernel Programming Language Trees are not eval by Andris Birkmanis LINQ? by Andris Birkmanis	Peter Michaux	2010-10-28 11:03
Story	Why Undergraduates Should Learn the Principles of Programming Languages Subjective theory of value, time preference, and sound money by Andris Birkmanis Apprenticeship by Andris Birkmanis Is PLT really fundamental (for business)? by Andris Birkmanis Confused by Andris Birkmanis Hand waiving? Or class struggle? by Andris Birkmanis	Z-Bo	2010-07-15 09:08
Forum topic	Seeking nearly anything re: so called language "bootstrapping" process What types are Ts? by Andris Birkmanis	scottmcl	2010-07-10 22:04
Story	Functional Pearl: Species and Functors and Types, Oh My! Bigger clarification by Andris Birkmanis Thank you for by Andris Birkmanis k-permutation? by Andris Birkmanis	Matt Hellige	2010-07-05 09:38
Forum topic	Why type systems are interesting Java might be fuzzy by Andris Birkmanis Javan wrong ways by Andris Birkmanis Safety before security by Andris Birkmanis Stages, strata, types. by Andris Birkmanis Maps are crucial for finding a path... by Andris Birkmanis Paths. Speed. Immortality. by Andris Birkmanis ...what would otherwise have been a type error... by Andris Birkmanis Yes, it is not by Andris Birkmanis Dynamically-typed values => Untyped names by Andris Birkmanis Inductive types in constructive languages by Andris Birkmanis ...	Anton van Straaten	2010-03-08 19:47
Story	Super and Inner — Together at Last! Template methods by Andris Birkmanis	Andris Birkmanis	2010-02-13 00:09
Forum topic	System programming using FP Timber by Andris Birkmanis	Todd Coram	2010-02-02 02:56
Forum topic	The Next Mainstream Programming Languages Garbage-collecting threads? by Andris Birkmanis The difference lies in application by Andris Birkmanis Oops, CPS is a bad bet by Andris Birkmanis Just curious by Andris Birkmanis No, but CPS is a good bet by Andris Birkmanis Open classes? by Andris Birkmanis "How Much Non-strictness do Lenient Programs Require?" by Andris Birkmanis	Per Vognsen	2010-01-24 13:32
Forum topic	Swarm now based on Scala 2.8, uses delimited continuations Possible typo by Andris Birkmanis	sanity	2009-10-02 18:59
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