user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	cicada-nymph -- a forth-like language for to teach cicada-nymph is different from cicada-language by xieyuheng Joy is a more powerful by Josh Scholar	xieyuheng	2015-03-14 09:13
Story	Combining lazy and eager evaluation of terms Not true. by aaditmshah Lenient Evaluation by David B. Wildgoose Y, etc. by Tim Sweeney Laziness by David B. Wildgoose Y in (Parallel) Haskell by David B. Wildgoose Not exactly Y by Kevin Millikin Y in Haskell by Dominic Fox	Ehud Lamm	2015-03-14 06:12
Forum topic	Constraint typing, subtyping, and separate compilation I probably misunderstood by Keean Schupke Maybe you misunderstood my argument by Kalani Back to topic by Keean Schupke Again, this is a different by Sean McDirmid My Bad. by Keean Schupke Changing Types by Keean Schupke Fascinating by Kalani This is an old by Sean McDirmid OOHaskell by Keean Schupke Typeclass = Interface. by Keean Schupke ...	Sean McDirmid	2015-03-12 22:35
Forum topic	SPLASH 2015: 2nd Call for Contributions: OOPSLA, Onward!, Workshops, Dynamic Languages Symposium	craiganslow	2015-03-09 23:42
Forum topic	Type Inference in Object Oriented Languages How stupid was I? by Sean McDirmid Chuck, Type inference for Squeak using the DDP algorithm by Adriaan Moors Nemerle has type inference by naasking Self, Starkiller by shapr Variance / Subtyping by Nicolas Cannasse Finding out whether the by neelk Subclass/prototype polymorphism? by Riaan Moll How difficult? by Johan Tibell O'Haskell might be a by Peter A Jonsson It is by Andreas Rossberg ...	Johan Tibell	2015-03-09 01:57
Forum topic	Seeking candidates to work on a custom compiler/language in NYC money by raould I recently learned that by Sean McDirmid	Kalani	2015-03-04 20:22
Forum topic	general patterns in PL persistence schemes? Self control by Anton van Straaten maze of twisty passages all akin due to arcane labels by Rys McCusker Tarski by Hank Thediek Theory by Hank Thediek Simulations by Rys McCusker Semantics. by Hank Thediek software vision was fun before social networking narcissism by Rys McCusker Tukey by Bakul Shah The software vision by Hank Thediek Durability of Real Storage by Keean Schupke ...	Rys McCusker	2015-02-24 02:23
Story	Micro-Kanren They actually published a by naasking	Ehud Lamm	2015-02-22 23:40
Forum topic	Making implicits less powerful? Depends on the meaning of List<T> by L Spice iconv to the (partial) rescue by gasche The encoding got screwed up indeed by Blaisorblade Looks like neelk's comment by naasking From section 3.5:The rules by Jules Jacobs Thank you by Tom Primožič The Implicit Calculus: A New Foundation for Generic Programming by Philip Wadler whither eval? by raould ambiguity by Vladimir Slepnev Re link-time code generation by Matt Hellige ...	Vladimir Slepnev	2015-02-20 16:07
Forum topic	Negation in Logic Languages MiniKanren by Keean Schupke This seems like the approach by naasking Not equal easier than negation by Keean Schupke Proof vs Disproof by Keean Schupke closed vs. open universe? by raould Admissible by Keean Schupke Excluded middle by Matt M The way I understand it is by naasking In General by Keean Schupke Which is not true for a by naasking ...	Keean Schupke	2015-02-19 17:21
first page previous page next page last page