Rose H. Abdul Rauf

According to our database¹, Rose H. Abdul Rauf authored at least 3 papers between 2006 and 2008.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2008

Integrating functional programming into C++.

[BibT_eX]

[DOI]

PhD thesis, 2008

A Provably Correct Translation of the <i>lambda</i> -Calculus into a Mathematical Model of C++.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2008

2006

Functional concepts in C++.

[BibT_eX]

Proceedings of the Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, 2006