J. Gregory Malecha

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

1 Adam J. Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky: Effective interactive proofs for higher-order imperative programs. ICFP 2009: 79-90

	2009
1		Adam J. Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky: Effective interactive proofs for higher-order imperative programs. ICFP 2009: 79-90

Coauthor Index

1	Adam J. Chlipala	[1]
2	J. Gregory Morrisett (Greg Morrisett)	[1]
3	Avraham Shinnar	[1]
4	Ryan Wisnesky	[1]