Patrick M. Rondon

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

2 Ming Kawaguchi, Patrick M. Rondon, Ranjit Jhala: Type-based data structure verification. PLDI 2009: 304-315

2008

1 Patrick M. Rondon, Ming Kawaguchi, Ranjit Jhala: Liquid types. PLDI 2008: 159-169

	2009
2		Ming Kawaguchi, Patrick M. Rondon, Ranjit Jhala: Type-based data structure verification. PLDI 2009: 304-315
	2008
1		Patrick M. Rondon, Ming Kawaguchi, Ranjit Jhala: Liquid types. PLDI 2008: 159-169

Coauthor Index