Frances Spalding

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2005

1 Limin Jia, Frances Spalding, David Walker, Neal Glew: Certifying Compilation for a Language with Stack Allocation. LICS 2005: 407-416

	2005
1		Limin Jia, Frances Spalding, David Walker, Neal Glew: Certifying Compilation for a Language with Stack Allocation. LICS 2005: 407-416

Coauthor Index