Lambda the Ultimate

type	title	author	last post
Forum topic	Symbol visibility (public, private, protected, etc.) Respectful and disrespectful imports by Ross Angle	Talin	2014-05-31 05:02
Forum topic	Those pesky higher-rank types. Or how to type \f x y. (f x, f y) Type of impure computations by Ross Angle	marco	2014-05-26 17:22
Forum topic	type theory about programming language? Compare and Contrast by Ross Angle	Rys McCusker	2014-05-21 23:10
Forum topic	Introduction to processes (Tony Hoare's CSP processes) Correctness of internal and external choice by Ross Angle	hbrandl	2014-04-29 21:48
Forum topic	Aha moment A double-edged sword by Ross Angle	Ehud Lamm	2014-04-29 06:07
Forum topic	Designing an alternative to s-expressions for language extensibility I've been toying with exactly that. by Ross Angle	Olivier Breuleux	2014-04-20 21:03
Forum topic	Multimethods over structural types Symmetric difference types? by Ross Angle Been there by Ross Angle	Benjohn Barnes	2014-04-07 13:08
Forum topic	Julia has no dependent types Types as stage-escaping values by Ross Angle	andrew cooke	2014-03-13 16:43
Forum topic	Inheritance is the Base Class of Evil Tag soup by Ross Angle	Charles Torre	2014-02-26 22:16
Forum topic	Disallow shadowing? Encapsulation of captured variables by Ross Angle Generalized: Some definitions nonlocal by Ross Angle	Y	2014-02-25 02:06
Forum topic	HTML extensibility List of languages that compile to JS by Ross Angle	Ivan V.	2014-01-16 21:31
Forum topic	Pragmatic aspects of dimension types, and the problem of angles Arbitrary, convertible choices by Ross Angle	Douglas McClean	2014-01-14 17:44
Forum topic	Interfaces vs. Type Classes Calling a module with custom preferences by Ross Angle Implicitness and instance selection by Ross Angle Can you pass capsules implicitly? by Ross Angle	shap	2014-01-06 00:40
Forum topic	Inconsistency Robustness in Logic Programs Re: Removed by Ross Angle Cut elimination with lemma reuse by Ross Angle	Hewitt	2014-01-01 18:30
Forum topic	Default, implicit, inherited Re: Defaults considered harmful ;-) by Ross Angle	Aivar Annamaa	2013-12-01 10:14
Forum topic	Total Self Compiler via Superstitious Logics Ah, terminating only in practice, not in theory :) by Ross Angle Number lazy buggy bumpers by Ross Angle Self-weakening quine by Ross Angle How would you express this by Ross Angle	Matt M	2013-09-03 06:14
Forum topic	Cognitive Computing Programming Paradigm: A Corelet Language for Composing Networks of Neurosynaptic Cores An attempted semantic summary by Ross Angle	Sean McDirmid	2013-08-09 22:24
Forum topic	The Power of Interoperability: Why Objects Are Inevitable Then you'd clearly be by Ross Angle	Sean McDirmid	2013-08-07 23:59
Story	Extensible Effects -- An Alternative to Monad Transformers Looking forward to using this by Ross Angle	naasking	2013-08-01 13:03
Forum topic	Are first-class environments enough? $define! belongs to the by Ross Angle Defining requirements by Ross Angle List of references to ancestor environments by Ross Angle Comparisons by Ross Angle Clarifications by Ross Angle Boxes and Kernel by Ross Angle	Alex Shpilkin	2013-07-04 15:49
Story	The Three Laws of Programming Language Design Whose burden of proof is it anyway by Ross Angle	bashyal	2013-07-04 14:32
Forum topic	A reversible Javascript interpreter Delimited ever-increasing continuations? by Ross Angle	Will Thimbleby	2013-05-27 05:46
Story	Rule 110 in HTML5 + CSS3 This StackOverflow thread by Ross Angle	Z-Bo	2013-04-09 08:23
Forum topic	Syntax comparison for function call Your example applies inc to by Ross Angle	tkirchner	2013-03-30 02:12
Forum topic	syntax and nesting: Lispy or Algol'ish? Precedence error by Ross Angle Existing usage by Ross Angle	Ray Dillinger	2013-03-15 18:02
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