user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	Different approaches to letting a programmer define interface implementations. Write about explicit IDE by dmbarbour Basically, I'm just saying by Sean McDirmid Extensibility of IDE will by dmbarbour Thanks by Keean Schupke So you're saying that by Matt M If I represent a soft by dmbarbour I would have loved to have avoided the Open discussion by marco Ah. Success and Goodbye. by marco Unification by Keean Schupke the feedback about such by Matt M ...	Kannan Goundan	2014-01-15 04:00
Forum topic	Pragmatic aspects of dimension types, and the problem of angles Optimization? by Douglas McClean Indeed by Douglas McClean international standards by dmbarbour I'm not sure that radians by naasking Actually I tried to argue by Jules Jacobs I think you misunderstood by naasking Why is this wrong? Droplets by Jules Jacobs In a unit system that by Jules Jacobs Whatever/Whatever by Hank Thediek Frequency vs. the SI by Alan Eliasen ...	Douglas McClean	2014-01-14 17:44
Story	Pure Subtype Systems Counter-example to confluence of pairs by delesley I now finally have a proof by Twan van Laarhoven Still no proof. by delesley A different idea. by delesley I believe I have a proof... by delesley Julien Cretin's idea is to by Twan van Laarhoven "Type" is both of type "Type" and a subtype of "Type" by Hewitt I hadn't looked at by delesley Step-indexing for strong normalization by gasche Now go backwards by Sean McDirmid ...	naasking	2014-01-14 06:09
Forum topic	ACPUL - Another CPU Language - a{}; I don't think you'll find by Sean McDirmid	d08ble	2014-01-10 00:58
Story	Multiple Dispatch as Dispatch on Tuples MultiJava by Gary T. Leavens	naasking	2014-01-09 20:41
Story	Oral History of Adele Goldberg myth busting by Thomas Lord A wonderful interview. by Cyril	bashyal	2014-01-08 19:33
Forum topic	a little language for platform games Internal vs External DSL's by markt Quick comments by Barry Watson nowt by Barry Watson ... by Mike Robinson Yes, finding the "Getting by Ehud Lamm nowt. by Barry Watson ? by Ivan V. I'd suggest editing or by Matt Fenwick Welcome! by Chris Warburton Welcome by dmbarbour	Mike Robinson	2014-01-06 19:10
Forum topic	Interfaces vs. Type Classes Calling a module with custom preferences by Ross Angle Implicitness and instance selection by Ross Angle Not sure what the question means. by shap Good summary by shap Further Thoughts by Keean Schupke Can you pass capsules implicitly? by Ross Angle Performance and Multiple Dispatch by Keean Schupke	shap	2014-01-06 00:40
Story	Backpack: Retrofitting Haskell with a Module System, at last	gasche	2014-01-05 16:59
Forum topic	Inconsistency Robustness in Logic Programs Re: Removed by Ross Angle Removed by j4n bur53 Logic Programs should be monotonic for assertions and goals by Hewitt Removed by j4n bur53 Negation as Failure: less proveable means more can be asserted! by Hewitt Removed by j4n bur53 Negation as failure (from Planner): \|\|- (Â¬âŠ¢p) â†’ âŠ¢Â¬p by Hewitt Removed by j4n bur53 Removed by j4n bur53 Removed by j4n bur53 ...	Hewitt	2014-01-01 18:30
first page previous page next page last page