Lambda the Ultimate

type	title	author	last post
Forum topic	Some notes on Rust, the language. Abstractions and abstraction leaks living together by Ross Angle	John Nagle	2015-02-09 07:25
Forum topic	How can middle school algebra help with domain specific languages? Products and sums of their cardinalities by Ross Angle	shahbaz	2015-01-21 17:18
Forum topic	Function Readability & Understandability Folds aren't very readable for me by Ross Angle	Keean Schupke	2014-12-28 20:07
Forum topic	Integrating Dependent and Linear Types Linearity and evaluation order, continued by Ross Angle Linearity and evaluation order by Ross Angle I didn't read carefully by Ross Angle Proof-irrelevance modality by Ross Angle	raould	2014-12-22 20:26
Forum topic	Paged topics Modify URL before visiting by Ross Angle	raould	2014-12-09 21:59
Forum topic	Why do we need modules at all? Distinguishing vague from specific by Ross Angle Coupling is in the act of writing programs by Ross Angle	Sean McDirmid	2014-12-06 15:20
Forum topic	Eve development diary Less-than signs by Ross Angle	jamii	2014-10-20 20:29
Forum topic	Optimisation by repeated beta- and eta-reduction No general recursion here by Ross Angle	L Spice	2014-09-22 01:00
Forum topic	New Wiki about Structured Backus-Naur Form? I guess I need to cite ten by Ross Angle It's probably not well by Ross Angle	Ivan V.	2014-09-11 18:20
Forum topic	Announcing Lang.NEXT 2014 - Registration is Free and Now Open ML has problems with by Ross Angle	Charles Torre	2014-06-04 00:59
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
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