Lambda the Ultimate

type	title	author	last post
Forum topic	Code Completion for Generic Programming Free type variables to the left. by Keean Schupke - by Keean Schupke What is an algorithm? by Keean Schupke Iterators must be efficient by Keean Schupke I think I get it by Keean Schupke The sort of sort by Keean Schupke Huh? by Keean Schupke Iterators must me efficient. by Keean Schupke You are right by Keean Schupke Arbitrary Order? by Keean Schupke ...	Keean Schupke	2014-11-24 17:37
Forum topic	Impact of static type systems on productivity of actual programmers: first experiment I've seen documented. Code completion by Keean Schupke Static vs Dynamic Polymorphism by Keean Schupke	Ray Dillinger	2014-11-18 03:22
Forum topic	Whither Flow Analysis? Static Generics by Keean Schupke	raould	2014-11-14 11:54
Forum topic	Opposing Hierarchies of Complexity Type Erasure by Keean Schupke Weaker Statement by Keean Schupke Proofs are Paths? by Keean Schupke Trapdoors by Keean Schupke complex inside simple outside. by Keean Schupke File-Vector behaves as a value. by Keean Schupke All Safe by Keean Schupke complexity of implementation by Keean Schupke I agree with this. by Keean Schupke Summary so far by Keean Schupke ...	Keean Schupke	2014-11-05 22:20
Story	Exceptional syntax Time travellers by Keean Schupke Is that the problem? by Keean Schupke	Chung-chieh Shan	2014-11-04 18:51
Story	Inside the Wolfram Language Pattern matching on AST by Keean Schupke	bashyal	2014-11-04 07:29
Forum topic	Jonathan Blow's next foray into game language design Underestimating C++ by Keean Schupke ATS by Keean Schupke I want both by Keean Schupke Simpler for the CPU by Keean Schupke What Language? by Keean Schupke One allocation always faster than many. by Keean Schupke Handles by Keean Schupke Excessive object creaion by Keean Schupke Sharing ownership by Keean Schupke not all game developers by Keean Schupke	jdougan	2014-10-21 20:35
Forum topic	On constness no copying. by Keean Schupke Graph Versioning by Keean Schupke Capabilities seem better by Keean Schupke I think so. by Keean Schupke parallel semantics by Keean Schupke How? by Keean Schupke Not safe? by Keean Schupke enforcing mutation does not happen during parallel computation. by Keean Schupke Write Locks? by Keean Schupke immutable to mutable by optimised copy. by Keean Schupke	Talin	2014-10-13 20:58
Forum topic	Experiment OpenGL/DirectX by Keean Schupke Haskell Type Classes by Keean Schupke Reflection by Keean Schupke Reflection and Optimisation. by Keean Schupke Memory Allocation Reflection by Keean Schupke Upper Bounds by Keean Schupke Interesting. by Keean Schupke Modular Arithmetic by Keean Schupke Assuming sufficient memory by Keean Schupke Pigeon Holes mod 2^63 by Keean Schupke ...	Ehud Lamm	2014-10-01 17:10
Forum topic	A StackExchange Site for Programming Language Theory F-star link by Keean Schupke F-star by Keean Schupke model checking by Keean Schupke Its the same. by Keean Schupke Stepanov on Redoing by Keean Schupke Problems other than factoring by Keean Schupke Knuth on SP by Keean Schupke Made me laugh... by Keean Schupke Survey Propogation by Keean Schupke Number Field Sieve by Keean Schupke ...	aaditmshah	2014-09-27 15:30
Forum topic	Optimisation by repeated beta- and eta-reduction Finite Limits by Keean Schupke	L Spice	2014-09-22 01:00
Story	Scala woes? Yes I got it upsidedown by Keean Schupke Kind of the opposite by Keean Schupke Heterogeneous Lists by Keean Schupke Quick Example by Keean Schupke OOHaskell Paper by Keean Schupke example by Keean Schupke Tortology by Keean Schupke subsumption by Keean Schupke soundness by Keean Schupke OO and imperative by Keean Schupke ...	Ehud Lamm	2014-09-20 21:18
Forum topic	Who Needs Garbage Collection? Ada Problems by Keean Schupke Not started yet by Keean Schupke Citation needed by Keean Schupke Low Level by Keean Schupke Ada access objects by Keean Schupke no counting by Keean Schupke Very Useful by Keean Schupke Seems different by Keean Schupke You got me. by Keean Schupke Do you? by Keean Schupke ...	Keean Schupke	2014-09-20 06:41
Forum topic	Patent on "safe" transitive immutability for object types — prior art? Not in the UK or Europe by Keean Schupke Better to respond with your position. by Keean Schupke Preventing escape of mutability by Keean Schupke Contracts? by Keean Schupke Do not read the patent. by Keean Schupke	Blaisorblade	2014-09-11 18:18
Forum topic	Function Types and Dylan 2016 Optimise Function Objects by Keean Schupke	Greg Buchholz	2014-08-28 23:21
Forum topic	Typographic Programming Languages Keywords by Keean Schupke Vim syntax highlighting by Keean Schupke	Sean McDirmid	2014-08-28 12:39
Story	Cost semantics for functional languages Provable upper bounds by Keean Schupke proof by existence. by Keean Schupke predictability of sweep timing. by Keean Schupke Seems a bit vague. by Keean Schupke Interesting. by Keean Schupke Reasoning about bits and bytes by Keean Schupke	gasche	2014-08-21 22:00
Story	Apple Introduces Swift proper integers by Keean Schupke F* by Keean Schupke relevant to previous answer by Keean Schupke Question about unification by Keean Schupke Nice by Keean Schupke Overflow divide by zero by Keean Schupke Equivelence by Keean Schupke Good for Parallel by Keean Schupke Publish/Subscribe by Keean Schupke Assumes you want to recover by Keean Schupke ...	bashyal	2014-08-21 17:54
Forum topic	out of memory seL4 or TAL by Keean Schupke Max Memory Bounds by Keean Schupke Not Necessarily Slower by Keean Schupke Limiting? by Keean Schupke Cache-Oblivious is a metric by Keean Schupke cache oblivious ordering. by Keean Schupke Rings and Things by Keean Schupke Transactions, Ask-Early and Checkpointing. by Keean Schupke	Rys McCusker	2014-08-17 09:54
Forum topic	A theory of data parallel computing sequential consistency by Keean Schupke Doesn't matter by Keean Schupke Sounds the same by Keean Schupke Sequential Semantics by Keean Schupke Might Be. by Keean Schupke Leslie Lamport by Keean Schupke	Victor Eijkhout	2014-08-14 22:16
Forum topic	Call by Meaning Faster Processing + Probabilistic Approach by Keean Schupke Prolog + Meaning Annotations? by Keean Schupke	Sean McDirmid	2014-08-13 21:44
Forum topic	Expressing Natural Deduction in Logic Languages Conjunctive Clause Heads by Keean Schupke	Keean Schupke	2014-08-06 07:42
Forum topic	GPU for GC Mobile App by Keean Schupke UI in Web-browser. by Keean Schupke Memory control is harder with CG by Keean Schupke Structure by Keean Schupke Non-blocking copying possible in hardware by Keean Schupke It's Slower by Keean Schupke	raould	2014-08-06 03:12
Story	Interactive scientific computing; of pythonic parts and goldilocks languages Two Syntaxes Better? by Keean Schupke Android NDK by Keean Schupke Nobody forces Python devs to use C by Keean Schupke Constraints by Keean Schupke Necessary division, but may be possible in one language by Keean Schupke	gasche	2014-07-24 16:28
Forum topic	Do Logic Languages Need Negation? Proving Heyting Algebra is Distributive by Keean Schupke Different Discussion by Keean Schupke Logic Variables vs Non-Deterministic Functions by Keean Schupke Confused by Keean Schupke Curry Howard by Keean Schupke value notation over performance by Keean Schupke Dependent Types by Keean Schupke I don't disagree by Keean Schupke Lack of types by Keean Schupke Curry a failure? by Keean Schupke ...	Keean Schupke	2014-07-22 17:47
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