recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	PLATEAU 2015 - Call for Papers	craiganslow	2015-07-27 22:50
Forum topic	adopt convention to define local sense of word in footnote? At the end of the day, we by Sean McDirmid just an idea, not intended as criticism by Rys McCusker	Rys McCusker	2015-07-28 00:19
Forum topic	Research vs implementation, theory vs practice, and LtU Types are Actors In ActorScript by Keean Schupke Dependent types not needed by Tom Primožič Neat! I really need to take by Sean McDirmid That is a good point. When I by Sean McDirmid Arrays by Keean Schupke Identity is not the name. by Keean Schupke I don't think recursion can by Sean McDirmid Identity isn't state, it is by Sean McDirmid Object Semantics. by Keean Schupke Surely "something" in this by simon.stapleton ...	Blaisorblade	2015-07-28 16:57
Story	Facebook open sources "Infer", static program analysis tool prior work by NickP Wow! by Andrew Moss Check out by jamii Been a while by Andrew Moss Datalog by Brandon Bloom Thanks by Andrew Moss XPath on directed property graphs by Brandon Bloom Checking patterns by Andrew Moss concur by raould You have math against you by marco ...	Z-Bo	2015-07-28 18:54
Forum topic	NOOL 2015 Taken at face value, I agree by Sean McDirmid And that was left over from by Sean McDirmid Hm by gasche Maybe the point is to look by Sean McDirmid Is NoOL like NoSQL? by Ehud Lamm I missed the joke by gasche Good that work is being done on the definition of OOP by Matt M You would find your answer by Sean McDirmid Strange title by gasche	Sean McDirmid	2015-07-31 00:19
Forum topic	SPLASH 2015 - Call for Student Volunteers	craiganslow	2015-07-31 08:00
Forum topic	Aggregations (e.g., sets) in Logic Programs Of course, both Ψ and ¬Ψ can hold in a theory. by Hewitt The Type Proposition by Keean Schupke Beyond Boolean propositions: using types, numbers, ⇒, ⊢, ∀, etc. by Hewitt What other kinds of propositions are there? by Keean Schupke Boolean propositions are a very special case of propostions by Hewitt Theorems. by Keean Schupke Inconsistency Robust Logic is a special case of Classical by Hewitt One step at a time by Keean Schupke General structure pt. 2 re "Rules." by Thomas Lord Rules. by Keean Schupke ...	Hewitt	2015-08-03 00:08
Forum topic	inline vs scatter/gather separate annotation Should've provided some context.... by Bakul Shah Thor called and asked for his hammer back. by Rys McCusker Beta language fragements by Bakul Shah replumbing metaphors and door bindings by Rys McCusker Calling at the back door by Ross Angle re: patterns by Rys McCusker agree configuration is a use case by Rys McCusker Implicit configurations by Bruce J. Bell aspect orientation by Rys McCusker re: runtime extensions by Rys McCusker ...	Rys McCusker	2015-08-04 04:33
Forum topic	Limitations of FRP? Well, there is always Why is by Sean McDirmid Bayesian Networks by Keean Schupke In 'C' ';' is bind by Keean Schupke VTM is what I'm calling by Sean McDirmid ML of course supports by Sean McDirmid I guess you're looking at it by Matt M ML by Keean Schupke Imperative is typically by Sean McDirmid I don't know that it's fair by Matt M Because what is out there by Sean McDirmid ...	Sean McDirmid	2015-08-04 08:28
Story	Ceptre: A Language for Modeling Generative Interactive Systems.	gasche	2015-08-04 15:14
first page previous page next page last page