Dulma Rodriguez

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2009

2 Martin Hofmann, Dulma Rodriguez: Efficient Type-Checking for Amortised Heap-Space Analysis. CSL 2009: 317-331

2008

1 Andreas Abel, Dulma Rodriguez: Syntactic Metatheory of Higher-Order Subtyping. CSL 2008: 446-460

	2009
2		Martin Hofmann, Dulma Rodriguez: Efficient Type-Checking for Amortised Heap-Space Analysis. CSL 2009: 317-331
	2008
1		Andreas Abel, Dulma Rodriguez: Syntactic Metatheory of Higher-Order Subtyping. CSL 2008: 446-460

Coauthor Index

1 Andreas Abel [1]

2 Martin Hofmann [2]

Colors in the list of coauthors