Loading...
conference paper
Complete Functional Synthesis
2010
PLDI '10: Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation
Type
conference paper
Publication date
2010
Published in
PLDI '10: Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation
Start page
316
End page
329
Peer reviewed
REVIEWED
EPFL units
| Event name | Event date |
2010 | |
Available on Infoscience
February 14, 2010
Use this identifier to reference this record