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
Author(s)
Date Issued
2010
Journal
PLDI '10: Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation
Start page
316
End page
329
Peer reviewed
REVIEWED
Written at
EPFL
EPFL units
| Event name | Event date |
2010 | |
Available on Infoscience
February 14, 2010
Use this identifier to reference this record