Search results for: Robert Bruce Findler
Science of Computer Programming > 2018 > 164 > C > 49-65
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics, and Programs > 369-388
Lecture Notes in Computer Science > Programming Languages and Systems > Contributed Papers > 238-252
Lecture Notes in Computer Science > Programming Languages and Systems > Typed Functional Programming > 1-16
Lecture Notes in Computer Science > Implementation and Application of Functional Languages > 111-128
Lecture Notes in Computer Science > Programming Languages and Systems > Applicative Programming > 426-440
Lecture Notes in Computer Science > Programming Languages and Systems > Session 7: Certification and Logic > 369-383
Higher-Order and Symbolic Computation > 2012 > 25 > 2-4 > 209-253
Higher-Order and Symbolic Computation > 2005 > 18 > 3-4 > 245-269
Automated Software Engineering > 2004 > 11 > 4 > 337-364