user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	CfP for ACM High Integrity Language Technology conference (HILT 2014) -- due June 7th, co-located with SPLASH/OOPSLA Deadline of June 7th is coming up shortly. by sttaft	sttaft	2014-05-22 14:24
Forum topic	type theory about programming language? You're right that this isn't by natecull Desirability of Firewall by Brandon Bloom yes+no by raould rank-0 intersection type system by Keean Schupke Depends how much it knows by Matt M what could be checked by Keean Schupke Impurity wasn't my point by Matt M Impure program search by dmbarbour Answer Set Programming by Keean Schupke Proof search ~ pure term search by gasche ...	Rys McCusker	2014-05-21 23:10
Forum topic	Safe interior references in the presence of mutation More than generalisation by Keean Schupke Dependent products by Tom Primožič Mezzo by Matt M Defer the generalization of monomorphic variable to module by marco	Jules Jacobs	2014-05-20 20:26
Forum topic	Facebook Flux: simplify the dataflow	raould	2014-05-16 18:12
Forum topic	Using real arithmetic to eliminate bounds checking? For bounds checking, not by Tom Primožič Cool! by Vladimir Slepnev not really by Keean Schupke That is a great idea! Experiment using Z3: by Tom Primožič yeah by Vladimir Slepnev Registers by Keean Schupke Z3 by Vladimir Slepnev SAT and SMT by Keean Schupke Integers modulo N by Vladimir Slepnev Presburger arithmetic by Vladimir Slepnev ...	Vladimir Slepnev	2014-05-14 22:01
Forum topic	Explicit renaming of bound variables * And now I'm not. Sorry for the noise. by johnwcowan * I'm getting [Math Processing Error] by johnwcowan	George Cherevichenko	2014-05-13 20:27
Forum topic	Sectioning a chain of operators and dot as reverse application Just sharpening the conversation by marco . by AntC Not so superficial by AntC Superficial notational observation by marco I was thinking D might have by dmbarbour Can you give an example? by Matt M Linguistics by kms Unfortunately, I'm blanking by leonardo m Thanks by Matt M Dot as reverse function application (in Haskell) by AntC ...	Matt M	2014-05-12 18:17
Forum topic	Value-level programming Tracking Runtime Polymorphism by Keean Schupke Examples by Andreas Rossberg Generative grammars by James Lottes useful small example? by Keean Schupke Stupid examples not intended as use cases by Andreas Rossberg Type Systems by Keean Schupke Nonsense by gasche New Thread by Keean Schupke Of Course by Keean Schupke Let Bindings by Keean Schupke ...	Vladimir Slepnev	2014-05-08 19:51
Forum topic	The Mezzo programming language Separation logic and language design by gasche	hellertime	2014-05-08 13:18
Forum topic	Currying in non-curried languages	Chris Warburton	2014-05-08 08:07
first page previous page next page last page