sttaft | Lambda the Ultimate

sttaft

view
track

type	title	author	last post
Forum topic	Paper on ParaSail published in <Programming> journal V3.3; new release also available	sttaft	2019-02-10 19:01
Forum topic	Looking for papers on covariance and contravariance One alternative to consider by sttaft	AaronNGray	2019-02-10 18:33
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	CFP: ACM High Integrity Language Technology (HILT 2013) due July 6th; conference in Pittsburgh Nov. 10-14 Who is doing what at HILT 2013 by sttaft Deadline now July 6th for ACM HILT 2013 by sttaft	sttaft	2013-07-02 17:36
Forum topic	Pointer-Free Parallel Programming ParaSail article in top 10 for 2012 at embedded.com by sttaft Parallel toolbox -- work stealing by sttaft Deleting from a graph by sttaft Deleting from a graph by sttaft Symbolic simplification by sttaft Pointers and functional languages by sttaft Garbage collection by sttaft No hidden aliasing by sttaft Not just pointers. by sttaft An example of a pointer-free balanced (AA) tree by sttaft	sttaft	2013-01-11 15:58
Forum topic	Barbara Liskov, Greg Morrisett, Guy Steele keynoting ACM conference on High Integrity Language Technology in Boston, Dec. 2012 ACM HILT2012 hotel registration deadline coming up by sttaft	sttaft	2012-11-02 15:03
Forum topic	ParaSail, a new language oriented toward parallelism and verification ParaSail : Less is More with Multicore by sttaft Alpha release of ParaSail compiler and VM now available by sttaft ParaSail in the press by sttaft Draft of ParaSail Reference Manual now available by sttaft ParaSail grammar and Google Group by sttaft	sttaft	2012-07-02 16:41