user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	Math.js crashes my iPad Yep by Matt M Something like that may be it by marco For some weird reason, I by Sean McDirmid It used to crash for me as by Matt M It works now. Last night, it by Sean McDirmid If they are downloading by Sean McDirmid Was it working previously? by Anton van Straaten It does it on my iOs device too by marco	Sean McDirmid	2014-07-03 16:05
Story	Physics, Topology, Logic and Computation: A Rosetta Stone potential converse found by hobbes Converse wanted by Shai Berger Probably goes without saying... by vrijz Previously mentioned on LtU by Andris Birkmanis	Andris Birkmanis	2014-06-25 18:14
Forum topic	Artificial Intelligence ASTs by John Shutt I threw superficial look at by Ivan V. So far I can't see how Moony by Ivan V. Hi Ivan. I'm looking at your by natecull Attribute Grammars by Keean Schupke If you look more carefully by Ivan V. And I guess here it is: by natecull Can you summarise the semantics of Synth? by natecull Agreed by Neil Madden relational databases & logic programming by dmbarbour ...	Ivan V.	2014-06-25 12:51
Forum topic	Lambda: A Peek Under the Hood closure vs continuation by Phil Miess continuation hostility by Rys McCusker A thunk is a closure awaiting evaluation by marco How is that related? by Phil Miess or maybe by raould Thunks expensive in Java by marco slides and time marks by Phil Miess nota bene by Rys McCusker	Phil Miess	2014-06-19 21:58
Forum topic	Rank-0 Intersection Type System Type Inference in Logic by Keean Schupke Type Inference Algorithm on GitHub by Keean Schupke ML, HM by gasche Practical Engineering by Keean Schupke Fitting an LC by marco if first class by dmbarbour Assuming Uniformity. by Keean Schupke uniformity by dmbarbour Soundness by Keean Schupke The very notion of by dmbarbour ...	Keean Schupke	2014-06-15 11:52
Forum topic	2014 APL Programming Competition is Open	Morten Kromberg	2014-06-11 21:05
Forum topic	ICFP accepted papers	Sean McDirmid	2014-06-10 00:17
Forum topic	states in stateless machine No de facto standard approach by Matt Hellige reactive â‰ stateless by dmbarbour I like the idea of reactive by Ivan V. Ur programming language is not ABC by dmbarbour monotonic state by dmbarbour I think we are thinking of by Ivan V. stateless dual of state by Thomas Lord To me 'state' describes by dmbarbour I have come up with a by Ivan V. functions of history, pipelines, and htm by dmbarbour ...	Ivan V.	2014-06-06 22:12
Forum topic	Notation for debugging type derivations. "How to Write a Proof" by Allan McInnes Small Difference by Keean Schupke Leslie Lamport's How to Write a Proof by marco Both. by Keean Schupke Looks good. by Keean Schupke Repeating the context seems like a bad idea by Matt M Hurts my eyes by marco Prolog Style by Keean Schupke I agree, double is confusing by marco Twelf by Keean Schupke ...	Keean Schupke	2014-06-06 19:04
Forum topic	Self-assembling Type-directed Dataflows ok by raould every connection by Keean Schupke pattern matching nothing new, news at 11 by raould Prolog Again by Keean Schupke eyeball scale by dmbarbour not just composing by raould Fine-grained types by dmbarbour yeah, sounds like dataflow tuple-spaces by Rys McCusker how does this work in practice? by raould Linda by johnwcowan ...	raould	2014-06-04 18:13
first page previous page next page last page