Lambda the Ultimate

type	title	author	last post
Forum topic	Is there an existing name for my higher-order function? passTo by Ross Angle	shawnbrown	2021-01-05 04:44
Forum topic	IEEE Scheme expiring soon Defining a real eval in terms of that by Ross Angle	johnwcowan	2020-04-14 07:48
Story	YOW! Lambda Jam 2017: John Hughes - Why Functional Programming Matters Applying patterns anyway by Ross Angle	Ehud Lamm	2017-07-12 11:44
Forum topic	The Two Dualities of Computation: Negative and Fractional Types Category collapses for another reason by Ross Angle Belated correction, and taming the frays of this system by Ross Angle Assuming makes anything out of anything by Ross Angle Why series expansions? by Ross Angle Maybe it works like this by Ross Angle	Greg Buchholz	2017-04-26 16:36
Forum topic	Inference of Polymorphic Recursion Type annotations for imports by Ross Angle	Matt M	2017-02-07 04:40
Story	Stroustrup's Rule and Layering Over Time Pattern matching implemented in macros by Ross Angle	Ehud Lamm	2017-01-04 21:43
Story	Philip Wadler: Category Theory for the Working Hacker Side effects in pure FP / Mutation alternatives by Ross Angle Hom-set notation definition by Ross Angle	Ehud Lamm	2016-09-23 20:29
Forum topic	Certificates/proof of work of type checking? Probabilistically checkable proofs by Ross Angle	naasking	2016-09-22 06:41
Forum topic	how to design PL support for effects emerging from parallel non-determinism? My problems with monads are different by Ross Angle Essential uncertainty of the future by Ross Angle	Rys McCusker	2016-07-15 20:51
Forum topic	Don't use "Yield" for co-routines; instead use "Postpone" To add two-way communication to the examples by Ross Angle Ruby's yield is just a parameter by Ross Angle Explicit continuation state by Ross Angle Two-way coroutine by Ross Angle Objects; thunks; concurrent evaluation by Ross Angle Inversion of control by Ross Angle Things I understand and like about coroutines, I don't see here by Ross Angle Where are the coroutines? by Ross Angle	Hewitt	2016-05-09 12:03
Forum topic	Earl Grey; the story of a new programming language It's a personal journey and a status report by Ross Angle	Greg Buchholz	2016-03-31 23:37
Forum topic	¿How can a dynamically typed language not actively prevent static checking? Cene documentation is a work in progress by Ross Angle Callable sealed tuples are all I need by Ross Angle	raould	2016-03-31 23:06
Forum topic	New Regexp Technical assistance by Ross Angle	Ivan V.	2016-03-24 12:55
Forum topic	Challenges Facing a High-Level Language for Machine Knitting So far, they're doing just that :) by Ross Angle Architectural architect architecture theory? by Ross Angle	marco	2016-02-03 22:07
Forum topic	Need to Talk Destructive/constructive spin by Ross Angle Killing the forest on the trees' behalf by Ross Angle	marco	2016-02-02 05:56
Forum topic	Typed X (Racket, Clojure, Lua) just doesn't pan out? Offloading typechecking costs to the past or future by Ross Angle	raould	2016-01-31 00:31
Story	Progress on Gradual Typing Oh! Term-level proofs are unlikely in untyped code. Hmm. by Ross Angle Annotations provided by the caller by Ross Angle Inspecting source code at run time by Ross Angle	gasche	2016-01-28 15:13
Story	Static vs. Dynamic Languages: A Literature Review Asm.js vs other compiler-generated JS? by Ross Angle Trusting the typechecker by Ross Angle Accessibility, WebAssembly, and Web page quines by Ross Angle Typing so static it's invisible by Ross Angle	naasking	2016-01-11 06:22
Forum topic	Typed Data MTProto by Ross Angle	Andrew Moss	2015-12-31 08:59
Story	Compilers as Assistants Nice post by Ross Angle If you wanna be my compiler by Ross Angle	bashyal	2015-12-04 15:35
Forum topic	Andrei's answer to "Which language has the brightest future in replacement of C between D, Go and Rust? And Why?" C++ is a programming language by Ross Angle	Sean McDirmid	2015-11-24 16:45
Forum topic	1ML — Core and modules united Theories implemented as fields by Ross Angle Clarification attempt, plus alternatives by Ross Angle	Tom Primožič	2015-11-09 21:29
Forum topic	Live programming in APX, an early peek Scrubbing (audio) by Ross Angle	Sean McDirmid	2015-09-30 15:45
Forum topic	Implementing the communication semantics of actors Flipping coins by way of shuffling by Ross Angle I haven't found what you're referring to by Ross Angle Whence "without respect to fairness"? by Ross Angle No ack needed for indeterminate message ordering by Ross Angle	Andrew Moss	2015-08-24 18:31
Forum topic	Are Actors a Good Model for Computation. C could be Actors all the way down by Ross Angle Both sequential, but one finite and one infinite by Ross Angle	Keean Schupke	2015-08-19 02:04
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