user | Lambda the Ultimate

user

view
track

type	title	author	last post
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	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	SPLASH 2015 - Call for Student Volunteers	craiganslow	2015-07-31 08:00
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
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	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
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	PLATEAU 2015 - Call for Papers	craiganslow	2015-07-27 22:50
Forum topic	New paper: Theory of Programs To me, it looks roughly by Matt M No notion of computation? by Blaisorblade Why so simple? by Matt M Rant on axiomatic methods by Blaisorblade Specification vs. Program by Matt M UTP by Allan McInnes Active link by Allan McInnes	Bertrand_Meyer	2015-07-27 16:21
Forum topic	Functor You get correctly by Blaisorblade If I get it correctly: Type Theory by marco Mbeddr-ish by Allan McInnes Interesting by Allan McInnes	marco	2015-07-27 09:23
first page previous page next page last page