Lambda the Ultimate

type	title	author	last post
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
Forum topic	Limitations of FRP? Keeping fixed points admissible by Ross Angle Trickiness if we don't have time steps, trickiness if we do by Ross Angle	Sean McDirmid	2015-08-04 08:28
Forum topic	inline vs scatter/gather separate annotation Calling at the back door by Ross Angle HTML as runnable code, CSS as runtime extensions by Ross Angle	Rys McCusker	2015-08-04 04:33
Forum topic	Aggregations (e.g., sets) in Logic Programs Don't confuse IRDL's "implication" with IRDL derivability by Ross Angle	Hewitt	2015-08-03 00:08
Forum topic	"Prep" in programming languages Maybe not in implementation, but maybe in proof-checking by Ross Angle prog1 by Ross Angle Thanks by Ross Angle Asterisk overload by Ross Angle	Hewitt	2015-07-25 23:26
Forum topic	Database programming language review Andl website by Ross Angle	davidb	2015-07-23 00:44
Forum topic	When are Actors appropriate? I think that just makes by Ross Angle ProvableComputableTotal by Ross Angle Yes, but the gap by Ross Angle Existing on the roadmap by Ross Angle Constructing ProvableComputableTotal by Ross Angle It would seem enumerable and by Ross Angle Misreadings by Ross Angle Unserializable proofs by Ross Angle It's a predicate too, somehow by Ross Angle Symbols not countable by Ross Angle ...	raould	2015-07-21 16:25
Forum topic	Fixed points considered harmful One model per type by Ross Angle Thanks :D <eom> by Ross Angle That difficult-to-compute fixed point is nice by Ross Angle Z is not very restrictive by Ross Angle Minimal logic by Ross Angle Explosion only to negated propositions by Ross Angle Working demo by Ross Angle That's not the definition I by Ross Angle Z combinator, then? by Ross Angle Separate thing by Ross Angle ...	Hewitt	2015-07-21 06:16
Forum topic	Who can make LtU2? +1 by Ross Angle	raould	2015-07-19 21:56
Forum topic	Recursive Descent Parser Generators Usability for those using it by Ross Angle You've inserted a "whereas" by Ross Angle	Alexander Morou	2015-07-14 06:50
Forum topic	Strengthening Process Calculi Approximate correctness of concurrent programs by Ross Angle Example implementation already given: by Ross Angle What describes the worldline? by Ross Angle	raould	2015-07-06 12:07
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