Lambda the Ultimate

type	title	author	last post
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
Forum topic	Good syntax for single argument methods? Arities and partial evaluation. by Keean Schupke Haskell dot notation by Keean Schupke Dot notation. by Keean Schupke	Sean McDirmid	2015-06-17 21:36
Story	The Unison Programming Platform Simultaneous Editing and Change Tracking by Keean Schupke	naasking	2015-06-13 14:16
Forum topic	Live Coding at Come Alive Bad syntax by Keean Schupke Live VIM by Keean Schupke	marco	2015-06-08 12:05
Forum topic	The evolution of Rust Contained operations by Keean Schupke UCT on HPC. by Keean Schupke Nanotube RAM + Graphene by Keean Schupke HPC by Keean Schupke Tree algorithms by Keean Schupke Single core gets faster by Keean Schupke Carbon nano-tube memory by Keean Schupke Monads are type-level. by Keean Schupke Operation cost by Keean Schupke Targeted Optimisations by Keean Schupke ...	qznc	2015-06-07 16:54
Forum topic	Types are fundamental to both logic and computation Translating SOL to FOL. by Keean Schupke Is second order logic sound? by Keean Schupke Higher order logic or Type Theory by Keean Schupke Types by Keean Schupke Equality in the definition. by Keean Schupke Sure confused me. by Keean Schupke Nat Test by Keean Schupke Guesswork by Keean Schupke Terminating the recursive definition of equality. by Keean Schupke Missing Axioms by Keean Schupke ...	Hewitt	2015-06-02 11:07
Forum topic	More information about Albatross Contradictions by Keean Schupke Pre and Post Conditions by Keean Schupke Rule no. 1 by Keean Schupke Self Implication by Keean Schupke	hbrandl	2015-05-29 13:47
Forum topic	From Programming Language Design (PLD) to Programmer Experience Design (PXD) Like This: by Keean Schupke Hidden Types by Keean Schupke Just an Example by Keean Schupke Missing the Point by Keean Schupke Wrong Kind Of Shared Pointer and Regions by Keean Schupke Shared Pointers and Poor Emulations of Prolog by Keean Schupke People are different by Keean Schupke With Backtracking by Keean Schupke Large expressions by Keean Schupke Fast, Lazy Tokenisation and Nice Error Reports. by Keean Schupke ...	Sean McDirmid	2015-05-20 12:15
Story	Eve: the development diary of a programming environment aimed at non-programmers Bad user interfaces. by Keean Schupke	gasche	2015-05-18 20:56
Forum topic	The Programming Language Wars: Questions and Responsibilities for the Programming Language Community Single UI thread fine for gestures. by Keean Schupke Missing the Point by Keean Schupke GPU virtualisation by Keean Schupke Thread Safe by Keean Schupke MFC by Keean Schupke Common Practice by Keean Schupke Single UI Thread by Keean Schupke	Phil Miess	2015-05-18 14:25
Forum topic	Nanopass Compiler Framework Language Grammar Extension. by Keean Schupke Thats Okay by Keean Schupke What's your point? by Keean Schupke Boilerplate Heavy by Keean Schupke a collection of many small passes by Keean Schupke Grammar Checking With Type Inference by Keean Schupke Grammar Specification by Keean Schupke Nanopass in Prolog by Keean Schupke	Bryan Turner	2015-05-13 22:28
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