Verified low-level programming embedded in F (bibtex)
by Jonathan Protzenko, Jean Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella Béguelin, Antoine Delignat-Lavaud, Catalin Hritcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy
Reference:
Verified low-level programming embedded in F (Jonathan Protzenko, Jean Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella Béguelin, Antoine Delignat-Lavaud, Catalin Hritcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy), In PACMPL, volume 1, 2017.
Bibtex Entry:
@article{DBLP:journals/pacmpl/ProtzenkoZRRWBD17,
  author    = {Jonathan Protzenko and
                 Jean Karim Zinzindohou{\'{e}} and
		                Aseem Rastogi and
				               Tahina Ramananandro and
					                      Peng Wang and
							                     Santiago Zanella B{\'{e}}guelin and
									                    Antoine Delignat{-}Lavaud and
											                   Catalin Hritcu and
													                  Karthikeyan Bhargavan and
															                 C{\'{e}}dric Fournet and
																	                Nikhil Swamy},
																			  title     = {Verified low-level programming embedded in {F}},
																			    journal   = {{PACMPL}},
																			      volume    = {1},
																			        number    = {{ICFP}},
																				  pages     = {17:1--17:29},
																				    year      = {2017},
																				      url       = {http://doi.acm.org/10.1145/3110261},
																				        doi       = {10.1145/3110261},
																					  timestamp = {Tue, 12 Sep 2017 16:16:51 +0200},
																					    biburl    = {http://dblp.org/rec/bib/journals/pacmpl/ProtzenkoZRRWBD17},
																					      bibsource = {dblp computer science bibliography, http://dblp.org}
																					      }