What is he best known for?
The fields of study he is best known for:
- Programming language
- Object-oriented programming
- Operating system
Robert Bruce Findler focuses on Programming language, Gradual typing, Functional programming, Object-oriented programming and Soundness.
His Programming language study combines topics from a wide range of disciplines, such as Interoperation and Theoretical computer science.
His Theoretical computer science research integrates issues from Typed lambda calculus, Design by contract, Duck typing, Predicate and Eiffel.
His Gradual typing study integrates concerns from other disciplines, such as Lambda calculus and Artificial intelligence.
His Object-oriented programming course of study focuses on Class and Code reuse, Component-based software engineering, Modular design and Mixin.
His work deals with themes such as Identifier, Debugger, Graph and Semantics, which intersect with LOOP.
His most cited work include:
- Programming Languages and Systems (1463 citations)
- Contracts for higher-order functions (353 citations)
- DrScheme: a programming environment for Scheme (226 citations)
What are the main themes of his work throughout his whole career to date?
Robert Bruce Findler spends much of his time researching Programming language, Scheme, Racket, Semantics and Class.
Many of his studies involve connections with topics such as Theoretical computer science and Programming language.
His research integrates issues of Functional programming, Graph, Value, Macro and LOOP in his study of Scheme.
His studies deal with areas such as Semantics, Concolic testing and Construct as well as Semantics.
In his study, Subtyping is strongly linked to Component, which falls under the umbrella field of Class.
The various areas that Robert Bruce Findler examines in his Gradual typing study include Duck typing, Overhead and Data structure.
He most often published in these fields:
- Programming language (68.63%)
- Scheme (21.57%)
- Racket (13.73%)
What were the highlights of his more recent work (between 2014-2021)?
- Programming language (68.63%)
- Racket (13.73%)
- Gradual typing (9.80%)
In recent papers he was focusing on the following fields of study:
His primary areas of study are Programming language, Racket, Gradual typing, Class and Semantics.
While working on this project, Robert Bruce Findler studies both Programming language and Constructed language.
His Gradual typing research includes elements of Object-oriented programming, Overhead and Scripting language.
His work investigates the relationship between Class and topics such as Concolic testing that intersect with problems in Computer engineering.
His biological study deals with issues like Expression, which deal with fields such as Debugging.
His study on Computer access control is often connected to Context as part of broader study in Computer security.
Between 2014 and 2021, his most popular works were:
- A programmable programming language (30 citations)
- The racket manifesto (27 citations)
- Making random judgments: Automatically generating well-typed terms from the definition of a type-system (23 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Operating system
- Object-oriented programming
The scientist’s investigation covers issues in Programming language, Software, Gradual typing, Racket and Object-oriented programming.
His study focuses on the intersection of Programming language and fields such as Theoretical computer science with connections in the field of Solver.
His study in Class extends to Object-oriented programming with its themes.
His Programming domain study deals with First-generation programming language intersecting with High-level programming language.
His PEARL research is multidisciplinary, relying on both Interface and Meaning.
His work on Soundness expands to the thematically related Scripting language.
This overview was generated by a machine learning system which analysed the scientist’s
body of work. If you have any feedback, you can
contact us
here.
