Dos Santos Oliveira, BC

 

Keywords in Publications
keywordsNo. of Authors
modularity 3
type systems 3
visitor pattern 3
bounded polymorphism 2
coherence 2
family polymorphism 2
intersection types 2
monads 2
nested composition 2
oop 2
polymorphism 2
subtyping 2
abstract datatypes 1
algebraic datatypes 1
algorithmic rule 1
aop 1
aspect-oriented programming 1
bounded quantification 1
c++ concepts 1
change impact 1
code generation 1
code reuse 1
cognitive rehabilitation 1
components with side effects 1
compositional programming 1
consistent subtypes 1
coq 1
datatype-generic programming 1
dependent types 1
design patterns 1
domain-specific languages 1
dsls 1
duality 1
duotyping 1
embedded domain-specific languages 1
executive dysfunction 1
explicit polymorphism 1
extensibility 1
extensible church encodings 1
extensible designs 1
extensible typesetting 1
first-order representations 1
formalization 1
functional language 1
functional languages 1
functional programming 1
generalized algebraic data types (gadts) 1
generic programming 1
gradual type system 1
gradual typing 1
graphs 1
haskell 1
hierarchical dispatching 1
higher-order polymorphism 1
higher-rank types 1
implicit parameters 1
implicit polymorphism 1
information flow type 1
interface-based programming 1
interference 1
intersection type 1
iso-recursive subtyping 1
iso-recursive types 1
language construct 1
language design 1
libraries comparison 1
local type inference 1
mechanical formalization 1
mechanization 1
mechanized meta-theory 1
metaprogramming 1
mixins 1
modern functional programming languages 1
modular mechanized meta-theory 1
modus ponens 1
monad transformers 1
multiple inheritance 1
object algebras 1
object encodings 1
object oriented languages 1
object-oriented programming 1
observable sharing 1
of concerns 1
operational semantics 1
parallel reduction 1
parametric hoas 1
parametricity 1
pattern matching 1
polytypic programming 1
poplmark challenge 1
program dependencies 1
program extensibility 1
program extensibility and adaptability 1
record type 1
row polymorphism 1
scala 1
separation 1
shallow embedding 1
side-effects 1
software components 1
software regressions 1
subtyping algorithm 1
subtyping relation 1
supertyping 1
symbolic execution 1
test suite augmentation 1
testing 1
trait composition 1
traits 1
traversal 1
type annotations 1
type check 1
type classes 1
type inference 1
type system 1
type variable 1
type-indexed functions 1
type-inference algorithm 1
typing rule 1
variable binding 1
virtual reality 1
worklist 1
zipper 1
View More
Co-Investigators
InvestigatorsNo. of Grants
lau, francis chi moon 1
wang, cho li 1
View More