Cited By
View all- Porkoláb Z(2019)Immutables in C++: Language Foundation for Functional ProgrammingCentral European Functional Programming School10.1007/978-3-030-28346-9_3(75-110)Online publication date: 14-Aug-2019
- Abdul Rauf RBerger USetzer A(2008)A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++Theory of Computing Systems10.1007/s00224-007-9062-143:3(298-321)Online publication date: 1-Dec-2008
- Järvi JPowell GLumsdaine A(2003)The Lambda librarySoftware—Practice & Experience10.1002/spe.50433:3(259-291)Online publication date: 1-Mar-2003
- Show More Cited By