Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Torgny Andersson
Robert J. Zomer
Saima Aman
Simon Alderton
Scott A. Starks
A. Murat Tekalp
Hikaru Fujisaki
Michael Terry
Zhihao Li
Radu Timofte
Home
/
Paper
/
Automatic Synthesis of Typed Lambda-Programs on Term Algebras
Paper Info
Open Visualization
Title
Automatic Synthesis of Typed Lambda-Programs on Term Algebras
Year
Venue
DocType
1985
Theor. Comput. Sci.
Journal
Volume
Citations
PageRank
39
33
5.81
References
Authors
0
2
Authors (2 rows)
Cited by (33 rows)
References (0 rows)
Name
Order
Citations
PageRank
Corrado Böhm
1
487
413.44
Alessandro Berarducci
2
136
22.96
1