NickP | Lambda the Ultimate

NickP

view
track

type	title	author	last post
Forum topic	Conversion of 'functional' to 'imperative' algorithms: is it possible? same concept by NickP	Achilleas Margaritis	2017-03-31 19:14
Forum topic	On the (Alleged) Value of Proof for Assurance some came true by NickP	shap	2016-11-24 01:04
Story	Dependent Types for Low-Level Programming thanks by NickP except by NickP good stuff by NickP	naasking	2015-10-16 07:59
Forum topic	OcaPic: Programming PIC microcontrollers in OCaml source as docs by NickP good catch by NickP link by NickP here's the link by NickP	Allan McInnes	2015-10-12 22:15
Story	Facebook open sources "Infer", static program analysis tool prior work by NickP	Z-Bo	2015-07-28 18:54
Forum topic	Parsing people, unite! Call for position papers for Parsing@SLE (SPLASH, Indianapolis) verified parsers/generators by NickP	jurgenv	2013-08-28 06:56
Forum topic	Cryptography DSL. many interesting articles here by NickP yep by NickP	Ray Dillinger	2013-07-29 22:49
Forum topic	Cost of provably-correct code not sure by NickP how about a realistic estimate? by NickP rather obviously... by NickP	Ehud Lamm	2013-07-06 19:56
Forum topic	CFP: ACM High Integrity Language Technology (HILT 2013) due July 6th; conference in Pittsburgh Nov. 10-14 thanks by NickP so whose doing what by NickP	sttaft	2013-07-02 17:36
Forum topic	What will programming look like in 2020? in a similar vein by NickP isn't much different? i beg to differ by NickP	Sean McDirmid	2013-03-01 03:45
Story	Ada 2012 Language Standard Approved by ISO hmm getting closer by NickP yes by NickP MULTICS defeated stack by NickP thanks by NickP security-critical by NickP	Ehud Lamm	2013-01-13 11:54
Forum topic	Google's Dart announced thanks by NickP Wrong direction. (Note: I'm by NickP	vieiro	2012-12-30 17:29
Story	Julia, a language for technical computing I think it's better to keep by NickP Exactly! by NickP	Manuel J. Simoni	2012-03-12 02:05
next page last page