Lambda the Ultimate

type	title	author	last post
Forum topic	Garbage Collection Based on a Linear Type System This is what I am planning by Keean Schupke	raould	2015-11-03 06:48
Forum topic	inter-language PL theory patterns relevant to IPC? Type System Composition by Keean Schupke Type-safe rewriting and constraints on types. by Keean Schupke Type systems for IL by Keean Schupke Amiga Programming. by Keean Schupke	Rys McCusker	2015-10-31 17:52
Forum topic	PL vs. PX Are you buying? by Keean Schupke New Clothes by Keean Schupke Anyone can use by Keean Schupke Code, Happiness, and Learning the Language. by Keean Schupke The space between requirements. by Keean Schupke Differentiating by Keean Schupke Steve Jobs by Keean Schupke Microsoft vs Apple by Keean Schupke Perfection vs Compromise. by Keean Schupke Personal Expression vs Design by Committtee by Keean Schupke ...	Sean McDirmid	2015-10-26 18:24
Story	Dependent Types for Low-Level Programming Typing 'C' by Keean Schupke Liquid types are dependent types? by Keean Schupke Liquid vs Dependent by Keean Schupke	naasking	2015-10-16 07:59
Forum topic	Optimal efficiency GPUs and Parallel vs Serial by Keean Schupke Declarative by Keean Schupke Optimal efficiency for all algorithms. by Keean Schupke Not Proved by Keean Schupke The Proof? by Keean Schupke This is my opinion too by Keean Schupke	Keean Schupke	2015-10-12 06:19
Forum topic	Subclass, superclass, or siblings under an abstract superclass? Computed Goto For Efficient Dispatch Tables by Keean Schupke Compilers not good at partial evaluation. by Keean Schupke You are right. by Keean Schupke Assembly for each pattern. by Keean Schupke Reducing array size. by Keean Schupke Real problems for benchmarking by Keean Schupke Verified Assembly by Keean Schupke My tests reveal otherwise by Keean Schupke Megamorphic, and uneven distributions. by Keean Schupke Inlining is not relevant by Keean Schupke ...	Ray Dillinger	2015-09-29 15:36
Forum topic	Implementing "Elements of Programming" in Actor Script Correct as far as I can tell. by Keean Schupke Not Suitable For Generic Programming? by Keean Schupke Your comments were about the code that was there. by Keean Schupke Where? by Keean Schupke Not the same thing by Keean Schupke Existence or importance? by Keean Schupke Bigger problem than just machine types. by Keean Schupke Types and casting by Keean Schupke extends vs implement by Keean Schupke extends and extension by Keean Schupke ...	Keean Schupke	2015-09-24 08:07
Forum topic	LMNtal Membranes and Logic Variables by Keean Schupke	Keean Schupke	2015-09-21 22:35
Story	Freer Monads, More Extensible Effects Read "Elements of Programming"? by Keean Schupke General Iterators by Keean Schupke	naasking	2015-09-14 03:17
Forum topic	Moderation on LtU Funny Comments by Keean Schupke Coexistence. by Keean Schupke Not all my arguments are great. by Keean Schupke To get to know people and understand their opinions. by Keean Schupke Real Names and Suspending Accounts by Keean Schupke Anonymous Posting by Keean Schupke Discouraged. by Keean Schupke Not opposing real names? by Keean Schupke Real Names by Keean Schupke	gasche	2015-09-05 11:34
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
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