Lambda the Ultimate

type	title	author	last post
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
Forum topic	Five Paradigm Shifts in Programming Language Design and their Realization in Viron, a Dataflow Programming Environment Perfect Optimiser by Keean Schupke Mechanical Proof Checking and Meaning by Experimentation by Keean Schupke Base Axioms by Keean Schupke Definitions by Keean Schupke Not Computable = Imprecise by Keean Schupke	Sean McDirmid	2015-05-10 16:17
Forum topic	What makes LtU more or less enjoyable? Front Page = Home Page by Keean Schupke Papers, Source Code and Discussion. by Keean Schupke	gasche	2015-05-07 06:03
Forum topic	Controversy over the definition of "Logic Program" SAT Solving Logic Programs by Keean Schupke Selecting Nodes by Keean Schupke Iterative Deepening by Keean Schupke Search and Negation Elimination by Keean Schupke	Hewitt	2015-05-03 22:07
Forum topic	Church's fundamental paradox: "Is there such a thing as logic?" Formal Definition of Logic by Keean Schupke	Hewitt	2015-05-01 15:21
Forum topic	C++ Parser Combinator Library You can't (easily) do that by Keean Schupke Prioritised Choice by Keean Schupke Intended Abiguity by Keean Schupke Right Associative Operator Support in Prolog Example Parser by Keean Schupke Generating Tables. by Keean Schupke Diagnostics by Keean Schupke Interesting by Keean Schupke Ambiguities by Keean Schupke - by Keean Schupke Is it good enough. by Keean Schupke ...	Keean Schupke	2015-05-01 13:29
Forum topic	Type Differentials Implementation Details by Keean Schupke Universally Quantified Type Systems. by Keean Schupke	Talin	2015-04-25 15:02
Forum topic	how many lines of code can civilization support? I not sure I get the problem by Keean Schupke Logic in the type system by Keean Schupke Emphasis by Keean Schupke State and Macros by Keean Schupke Mutable objects and intermediate types. by Keean Schupke Longer learning curve supports my argument. by Keean Schupke Question Framing by Keean Schupke Understandability Details by Keean Schupke Imperative more understandable by Keean Schupke Not Impossible by Keean Schupke ...	Thomas Lord	2015-04-09 22:07
Story	The Next Stage of Staging Better Staging by Keean Schupke Profile Guided Optimization by Keean Schupke changing subject by Keean Schupke Correctness by Keean Schupke Performance by Keean Schupke Elaborating on Elaboration. by Keean Schupke Incompatible type system. by Keean Schupke Elaboration by Keean Schupke Type Checking by Keean Schupke Verification after leaving the factory is useless by Keean Schupke ...	naasking	2015-04-07 14:58
Forum topic	Constraint typing, subtyping, and separate compilation I probably misunderstood by Keean Schupke Back to topic by Keean Schupke My Bad. by Keean Schupke Changing Types by Keean Schupke OOHaskell by Keean Schupke Typeclass = Interface. by Keean Schupke Substitutability. by Keean Schupke What More? by Keean Schupke I Disagree (sort of). by Keean Schupke Subtyping of Containers by Keean Schupke ...	Sean McDirmid	2015-03-12 22:35
Forum topic	general patterns in PL persistence schemes? Durability of Real Storage by Keean Schupke Immutable copying by Keean Schupke Persistent Data Only by Keean Schupke Databases Again by Keean Schupke Partly by Keean Schupke Web Applications by Keean Schupke Indexing by Keean Schupke Isolation by Keean Schupke All my documents at once? by Keean Schupke Production Systems by Keean Schupke ...	Rys McCusker	2015-02-24 02:23
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