Lambda the Ultimate

type	title	author	last post
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
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
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