Lambda the Ultimate

type	title	author	last post
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
Forum topic	Mathematics self-proves its own Consistency (contra Gödel et. al.) Still pondering this diagonalization by Ross Angle Oops by Ross Angle Erasing to Girard's paradox? by Ross Angle Foundational bootstrapping maintenance by Ross Angle The countable subsytem by Ross Angle Function definitions, being by Ross Angle Formulas are not enumerable by Ross Angle Mistake? by Ross Angle Skeleton of deriving inconsistency by Gödel by Ross Angle Practicality of self-referential propositions? by Ross Angle ...	Hewitt	2015-06-25 00:05
Forum topic	Functors are Type Refinement Systems Monoidal structure by Ross Angle	adrieng	2015-06-12 20:12
Forum topic	Types are fundamental to both logic and computation +1 by Ross Angle Induction already stated by Ross Angle I read this system as the Peano axioms by Ross Angle Page numbers by Ross Angle Various explosions by Ross Angle Categorical theory by Ross Angle Choices between foundations by Ross Angle Turing-completeness and sound reasoning by Ross Angle IRDL for theories of practice, CDL for theories of mathematics by Ross Angle	Hewitt	2015-06-02 11:07
Forum topic	Type Theory Glossary Trinitarianism by Ross Angle	naasking	2015-05-09 12:14
Forum topic	how many lines of code can civilization support? Cost of understanding ~~ degree of independence of typechecking? by Ross Angle Goals and blame by Ross Angle Natural artificiality by Ross Angle	Thomas Lord	2015-04-09 22:07
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
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