Lambda the Ultimate

type	title	author	last post
Forum topic	Toward a better programming Indeed by Keean Schupke See above by Keean Schupke I don't think it will ever be easy. by Keean Schupke	ibdknox	2014-04-01 05:35
Story	What Are The Resolved Debates in General Purpose Language Design? Compatability and Popularity. by Keean Schupke double post. by Keean Schupke Nothing is resolved by Keean Schupke	James Iry	2014-03-31 20:55
Story	Facebook Introduces ‘Hack,’ the Programming Language of the Future Interpreters as values by Keean Schupke Its a State Machine in a Box by Keean Schupke A possible dynamic implementation. by Keean Schupke runST world inside a world by Keean Schupke	bashyal	2014-03-26 03:53
Story	Propositions as Types It's not really untyped. by Keean Schupke isomorphism by Keean Schupke Dependent types more expressive by Keean Schupke Type theory extends logic? by Keean Schupke Computational Trinitarianism by Keean Schupke simpler question. by Keean Schupke How far can it be taken? by Keean Schupke	Manuel J. Simoni	2014-03-19 07:14
Forum topic	Inconsistency Robustness in Foundations Clarification by Keean Schupke Seems Possible by Keean Schupke Combine the interpreter with a type-case by Keean Schupke Prolog is untyped by Keean Schupke Implementing Interpreters by Keean Schupke The set of all sets that are not members of themselves? by Keean Schupke Restrict negation to proofs from a lower universe by Keean Schupke	Hewitt	2014-02-26 20:00
Forum topic	Disallow shadowing? Principal Typings by Keean Schupke	Y	2014-02-25 02:06
Forum topic	Less is more. Okay, that makes sense. by Keean Schupke Type Class Dispatch and Partial-Evaluation are Equivalent by Keean Schupke Separating compilation from optimisation by Keean Schupke Static vs Dynamic Dispatch by Keean Schupke What about a user interface by Keean Schupke What about a library that by Keean Schupke Are they not the same thing? by Keean Schupke specialisation vs generalisation by Keean Schupke	Rys McCusker	2014-01-19 13:05
Forum topic	Different approaches to letting a programmer define interface implementations. Thanks by Keean Schupke Unification by Keean Schupke Why by Keean Schupke Works for inheritance by Keean Schupke Best match first by Keean Schupke Open Data Types by Keean Schupke different design goals by Keean Schupke Type Safety by Keean Schupke Open Datatypes and Functions by Keean Schupke don't get it by Keean Schupke ...	Kannan Goundan	2014-01-15 04:00
Forum topic	Interfaces vs. Type Classes Further Thoughts by Keean Schupke Performance and Multiple Dispatch by Keean Schupke	shap	2014-01-06 00:40
first page previous page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation