R. KENT Dyvbig - Concepedia

Author

R. KENT Dyvbig

Also Known As

R. KENT Dyvbig

Publications

Citations

H-Index

Concepts

All Affiliations

R. KENT Dyvbig is an author at Indiana University specializing in formal verification, automated reasoning, and engineering.

#	Concept	H-Index	Publications	Citations
1	Engineering	1	1	74
2	Computer Science	1	1	74
3	Automated Reasoning	1	1	74
4	Formal Methods	1	1	74
5	Formal Verification	1	1	74

R. KENT Dyvbig

Publications

Citations

H-Index

Page 1

	Year	Citations
A monadic framework for delimited continuations R. KENT Dyvbig, Simon Peyton Jones, Amr Sabry Journal of Functional Programming Monadic FrameworkEngineeringAutomated ReasoningScheme LibraryFunctional Programming Language	2007	74

Page 1