Lambda the Ultimate

type	title	author	last post
Forum topic	Reversing operations As dmbarbour says, most by Chris Warburton	Pablo Barenbaum	2017-09-08 16:08
Forum topic	Mathematics self-proves its own Consistency (contra Gödel et. al.) If X says that X is by Chris Warburton	Hewitt	2015-06-25 00:05
Forum topic	Making implicits less powerful? More precisely, I think a by Chris Warburton	Vladimir Slepnev	2015-02-20 16:07
Forum topic	Ambiguous language namespaces I think calling a language by Chris Warburton	Sean McDirmid	2014-07-04 03:31
Forum topic	type theory about programming language? If a PL was just a by Chris Warburton Reality has veto power over by Chris Warburton If PL is math then I guess I by Chris Warburton Math is just a tool, not an by Chris Warburton A few thoughts: * The by Chris Warburton	Rys McCusker	2014-05-21 23:10
Forum topic	Using real arithmetic to eliminate bounds checking? I have to say I've never by Chris Warburton	Vladimir Slepnev	2014-05-14 22:01
Forum topic	Currying in non-curried languages	Chris Warburton	2014-05-08 08:07
Forum topic	Designing an alternative to s-expressions for language extensibility usually custom flow controls by Chris Warburton Can you write LOOP or by Chris Warburton Laziness and control flow by Chris Warburton	Olivier Breuleux	2014-04-20 21:03
Forum topic	Julia has no dependent types I think that calling the by Chris Warburton Aha!there, you can see a by Chris Warburton Can you really do that in by Chris Warburton Any "compound" type can be by Chris Warburton	andrew cooke	2014-03-13 16:43
Forum topic	Resilient Languages Formalising "surprising" and "obvious" by Chris Warburton	spdegabrielle	2014-03-11 00:57
Forum topic	Syntax for reification of types Does your language have an by Chris Warburton "Has-type" operator by Chris Warburton	cdiggins	2014-03-04 19:20
Forum topic	Wolfram Language Demo video by Chris Warburton	Sean McDirmid	2014-02-26 09:48
Forum topic	Booleans vs strings if you say `a and b` we can by Chris Warburton I'm not trying to dictate by Chris Warburton I agree with most of your by Chris Warburton	jamii	2014-02-15 22:49
Forum topic	Minimal implementation of state machines Reactive programming by Chris Warburton	giuseppemag	2014-02-01 05:12
Forum topic	Examples for benefitfs of dynamic programming languages Recursion by Chris Warburton	Sebastian Okon	2014-01-30 21:54
Forum topic	A glimpse into a new general purpose programming language under development at Microsoft Sounds Interesting by Chris Warburton	Charles Torre	2014-01-27 05:08
Forum topic	Print release of a textbook on the Coq proof assistant Excellent by Chris Warburton	Adam Chlipala	2014-01-15 13:50
Forum topic	Different approaches to letting a programmer define interface implementations. ML Modules by Chris Warburton	Kannan Goundan	2014-01-15 04:00
Forum topic	Pragmatic aspects of dimension types, and the problem of angles Dimensions vs Units by Chris Warburton	Douglas McClean	2014-01-14 17:44
Forum topic	a little language for platform games Welcome! by Chris Warburton	Mike Robinson	2014-01-06 19:10
Forum topic	Practical rules for controlling program effects in an imperative / OOP environment. I generally agree with all by Chris Warburton	bryanedds	2013-12-08 06:50
Forum topic	actors conflate too much Large-scale organizations by Chris Warburton	raould	2013-11-16 01:13
Forum topic	Static typing and direct AST manipulation "If I dynamically alter at by Chris Warburton In the case of C, the by Chris Warburton I'll try. The essence is by Chris Warburton Power by Chris Warburton	tkirchner	2013-11-15 01:52
Forum topic	Prototypal inheritance misunderstood Many language have by Chris Warburton	SimonM	2013-10-29 20:20
Forum topic	Theory of a Declarative Language I will try to figure out by Chris Warburton (1) sounds a lot like by Chris Warburton Primitive? by Chris Warburton	thomash	2013-08-29 13:43
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