Lambda the Ultimate

type	title	author	last post
Forum topic	Nullable type is needed to fix Tony Hoare's "billion dollar mistake". Understand and control allocation by Keean Schupke GIMPLE by Keean Schupke Reverse References by Keean Schupke Discrimination? by Keean Schupke - by Keean Schupke Substitutions by Keean Schupke Rewriting many references must be slow by Keean Schupke Related by discrimination by Keean Schupke Linear alias types by Keean Schupke Interfaces and implementations by Keean Schupke ...	Hewitt	2015-09-04 10:12
Forum topic	Another "big" question Dimensionless Numbers by Keean Schupke Apples per Hour by Keean Schupke Boxing in creativity? by Keean Schupke Composable eDSLs by Keean Schupke Languages with eDSL support by Keean Schupke DSLs as Libraries. by Keean Schupke	Ehud Lamm	2015-09-02 15:49
Forum topic	Big questions We should try harder to give people the opportunity. by Keean Schupke Heritability of Interests by Keean Schupke Ability = Talent + Work. by Keean Schupke Implementation of Algorithms by Keean Schupke Rosettacode by Keean Schupke Quality by Keean Schupke I read the code by Keean Schupke Network Chips and Sequential Computers by Keean Schupke Bayesian Propositional Logic by Keean Schupke Predictability by Keean Schupke ...	Ehud Lamm	2015-08-27 03:57
Forum topic	Unstructured casting considered harmful to security Can keep this one brief by Keean Schupke	Hewitt	2015-08-25 14:11
Forum topic	Implementing the communication semantics of actors Second Order Semantics by Keean Schupke How long to wait? by Keean Schupke Do all messages require a response? by Keean Schupke Trials by Keean Schupke Minimal Specification by Keean Schupke Are Actors a Good Model for Computation by Keean Schupke Order of Sending by Keean Schupke	Andrew Moss	2015-08-24 18:31
Forum topic	Eric Lippert's Sharp Regrets TAL by Keean Schupke I'm not sure its possible by Keean Schupke	Wolf Logan	2015-08-24 11:10
Forum topic	Are Actors a Good Model for Computation. Sequential Streams by Keean Schupke Channels by Keean Schupke What is it like to program? by Keean Schupke Actors all the way down by Keean Schupke Maybe I'm wrong by Keean Schupke Problem Context by Keean Schupke Not Synchronous Dependent on Who is Talking? by Keean Schupke Nothing happens to x by Keean Schupke Some common ground. by Keean Schupke Microprocessors and sequential execution by Keean Schupke ...	Keean Schupke	2015-08-19 02:04
Forum topic	Branch Prediction and the Performance of Interpreters - Don’t Trust Folklore Compiler size by Keean Schupke Are prototypes the problem? by Keean Schupke Performance by Keean Schupke RAII and Async Stackless Fibres by Keean Schupke Controlled Generic Elaboration by Keean Schupke Async Stackless by Keean Schupke	adrieng	2015-08-18 16:42
Story	ACM Classic Books Series My Book List. by Keean Schupke	Ehud Lamm	2015-08-18 13:44
Forum topic	hashing facts (the secret of nnimh) Always use a proper hashing algorithm by Keean Schupke	Rys McCusker	2015-08-15 22:28
Forum topic	RAII and Async Stackless Fibers Fibres and Exceptions by Keean Schupke C++ fibres. by Keean Schupke Cactus Stack by Keean Schupke Re-invocable Continuations by Keean Schupke	Keean Schupke	2015-08-12 21:59
Forum topic	Limitations of FRP? Bayesian Networks by Keean Schupke In 'C' ';' is bind by Keean Schupke ML by Keean Schupke Sending Events = Generic Dependency Injection. by Keean Schupke	Sean McDirmid	2015-08-04 08:28
Forum topic	Aggregations (e.g., sets) in Logic Programs The Type Proposition by Keean Schupke What other kinds of propositions are there? by Keean Schupke Theorems. by Keean Schupke One step at a time by Keean Schupke Rules. by Keean Schupke Not saying much by Keean Schupke Commutativity using Equivalences. by Keean Schupke I think I can replace propositions with Prolog atoms. by Keean Schupke 2 and 3 still the same by Keean Schupke Equivalences by Keean Schupke ...	Hewitt	2015-08-03 00:08
Forum topic	Research vs implementation, theory vs practice, and LtU Types are Actors In ActorScript by Keean Schupke Arrays by Keean Schupke Identity is not the name. by Keean Schupke Object Semantics. by Keean Schupke Forward the original link by Keean Schupke Transparent Proxies by Keean Schupke Different Objects. by Keean Schupke	Blaisorblade	2015-07-28 16:57
Forum topic	"Prep" in programming languages Two Comments by Keean Schupke Misleading? by Keean Schupke So are you saying... by Keean Schupke . by Keean Schupke . by Keean Schupke . by Keean Schupke Lack of disagreement. by Keean Schupke Acting in Good Faith. by Keean Schupke Prep Semantics. by Keean Schupke The C++ I posted seems more realistic by Keean Schupke ...	Hewitt	2015-07-25 23:26
Forum topic	When are Actors appropriate? Unbounded but finite. by Keean Schupke Intel have done the work. by Keean Schupke Not one-to-one by Keean Schupke Non determinism by Keean Schupke Use the source by Keean Schupke Weird Semantics by Keean Schupke mappings N -> N are countable? by Keean Schupke Even non-deterministic procedures have a definition by Keean Schupke Procedures are their definitions. by Keean Schupke ProvableComputableTotal by Keean Schupke ...	raould	2015-07-21 16:25
Forum topic	Fixed points considered harmful Modeling machine integers by Keean Schupke Forall g? by Keean Schupke Finite and Infinite by Keean Schupke Propositions & Expressions. by Keean Schupke Reasoning About Code by Keean Schupke Not Boolean Then? by Keean Schupke Inconsistency Robust Type Checking by Keean Schupke Rank of types, by Keean Schupke Lesser Rank by Keean Schupke System F + ActorScript Types by Keean Schupke ...	Hewitt	2015-07-21 06:16
Forum topic	Who can make LtU2? Better handling for long threads by Keean Schupke	raould	2015-07-19 21:56
Forum topic	Recursive Descent Parser Generators Modifiers by Keean Schupke Floating point by Keean Schupke Commutative and Associative by Keean Schupke Breadth First Search by Keean Schupke	Alexander Morou	2015-07-14 06:50
Forum topic	Lamport: Interprocess Communication Not a global variable by Keean Schupke	Allan McInnes	2015-07-07 08:06
Forum topic	Strengthening Process Calculi But we have to have them? by Keean Schupke Code reuse. by Keean Schupke Confused by Keean Schupke So there are two models? by Keean Schupke Customer vs Cheese by Keean Schupke Changed? by Keean Schupke Continuations by Keean Schupke Some actors are funcitons by Keean Schupke Actors all the way down by Keean Schupke Multiple threads by Keean Schupke ...	raould	2015-07-06 12:07
Forum topic	Compilation to C, a definitive guide? No Idea by Keean Schupke Not Invented Here by Keean Schupke Hybrid Types by Keean Schupke Key part of the type by Keean Schupke Haskell by Keean Schupke Using Type Name by Keean Schupke Structural and Nominal by Keean Schupke Structural Typing by Keean Schupke Pair<a,b> by Keean Schupke Not Nominal. by Keean Schupke ...	naasking	2015-07-05 19:00
Forum topic	Who owns your research? Results of SIGPLAN Open Access survey Boilerplate by Keean Schupke Nullary Actors and Postpone by Keean Schupke Arguments, Values, and Nullary Functions. by Keean Schupke Messages and Execution. by Keean Schupke Determinate != Pure by Keean Schupke Everything an Actor by Keean Schupke Maths is pure by Keean Schupke Care to be more specific by Keean Schupke Opaque and Imperative? by Keean Schupke Reducing Actors? by Keean Schupke ...	gasche	2015-06-25 06:55
Forum topic	Mathematics self-proves its own Consistency (contra Gödel et. al.) It needs to be fixed. by Keean Schupke What font encoding by Keean Schupke How do I calculate using this model? by Keean Schupke	Hewitt	2015-06-25 00:05
Story	Self-Representation in Girard’s System U Is that a complete argument? by Keean Schupke	naasking	2015-06-18 22:53
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