recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Types for Flexible Objects Oh, I see by Matt M You can always specify your by Sean McDirmid Onioning the Object by zach Conditional Constraints? by zach A sort of dual limitation by zach Why? by Matt M Whole program is a by Sean McDirmid (delete) by Sean McDirmid Flat global namespaces (and by Sean McDirmid The question is how much by Sean McDirmid ...	naasking	2013-09-16 18:49
Story	The Size-Change Termination Principle for Constructor Based Languages	naasking	2013-09-19 01:59
Story	Copatterns: the final approach to codata? I understood Oleg to be by Matt M See Section 4.2 of the by Cameron Zwarich Transfinite induction? by Matt M Copatterns: not the final approach to codata by Oleg Typo: s/Andreal/Andreas/ by Manuel J. Simoni Thanks. Great first post! by Ehud Lamm	gasche	2013-10-11 22:36
Story	LVars: monotonic update for deterministic parallel programming Two more things by gasche Encoding LVars as I-structures by Lindsey Kuper A minor type-and-effect system by rnewton IVars plus unification by rnewton Burton's papers by Lindsey Kuper Typing these things by Matt M I wonder by Matt M Improving Values by dmbarbour Single assignment, logic unification, and general lattices by gasche	gasche	2013-10-08 06:30
Story	Taking Off the Gloves with Reference Counting Immix Good, bad, ... I'm the guy with checkin privileges. by Rys McCusker I skimmed Berger's by naasking Here I veer way off topic. by Rys McCusker No inconvenience; feedback is good. by Rys McCusker hidden CPC reference? by gasche Devil's advocate. by pjmlp Rust by phazer Non sequitur, but true. by Rys McCusker Maybe not by Matt Hellige Does not scale. by pjmlp ...	naasking	2013-10-18 02:42
Story	John C. Reynolds Doctoral Dissertation Award (SIGPLAN)	Ehud Lamm	2013-11-05 07:09
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
Story	Python and Scientific Computing Symbolic vs. Numeric work by Ehud Lamm i meant 'bioinformatics' in the widest sense by raould How useful and/or practical by Ehud Lamm true in bioinformatics by raould so I'm all for Python by Matt M Very nice, I'm going to try by Jules Jacobs ggplot for python. by Ehud Lamm For me personally ggplot2 is by Jules Jacobs So you disagree with the by Ehud Lamm I did mean the set of by Daniel Marlay ...	Ehud Lamm	2013-11-22 10:03
Story	MOOC: Paradigms of Computer Programming Course has started this week by Peter Van Roy It will use Mozart 2 by Peter Van Roy Mozart 2? by Todd Coram	Ehud Lamm	2014-02-21 16:27
Story	The origin of zero-based array indexing Interesting by gasche Kinds of cause by Ichthyostega 0 and 1 by Charles Torre All compile time? by protist Ah. Right. A historical by Jason Grossman I don't think wikipedia is by gasche In addition to noting that by Jason Grossman It is suprisingly common by Robb Nebbe I perceive serious pursuit by John Shutt Personal recollection by Matt Hellige ...	Ehud Lamm	2013-12-23 09:24
first page previous page next page last page