×

Oliveira, Bruno C.d. S.

Compute Distance To:
Author ID: oliveira.bruno-c-d-s Recent zbMATH articles by "Oliveira, Bruno C.d. S."
Published as: Oliveira, Bruno C.d. S.; Oliveira, Bruno C. D. S.; Oliveira, Bruno C. d. S.

Publications by Year

Citations contained in zbMATH Open

11 Publications have been cited 25 times in 21 Documents Cited by Year
The essence of the ITERATOR pattern. Zbl 1191.68160
Gibbons, Jeremy; Oliveira, Bruno C.d. S.
5
2009
Meta-theory à la carte. Zbl 1301.68218
Delaware, Benjamin; Oliveira, Bruno C.d. S.; Schrijvers, Tom
3
2013
Modular monadic meta-theory. Zbl 1323.68357
Delaware, Benjamin; Keuchel, Steven; Schrijvers, Tom; Oliveira, Bruno C.d. S.
3
2013
Disjoint intersection types. Zbl 1361.68046
Oliveira, Bruno C.d. S.; Shi, Zhiyuan; Alpuim, João
3
2016
GMeta: a generic formal metatheory framework for first-order representations. Zbl 1352.68063
Lee, Gyesik; Oliveira, Bruno C. D. S.; Cho, Sungkeun; Yi, Kwangkeun
3
2012
“Scrap your boilerplate” reloaded. Zbl 1185.68196
Hinze, Ralf; Löh, Andres; Oliveira, Bruno C.d. S.
2
2006
Disjoint polymorphism. Zbl 1485.68052
Alpuim, João; Oliveira, Bruno C. d. S.; Shi, Zhiyuan
2
2017
Functional programming with structured graphs. Zbl 1291.68127
Oliveira, Bruno C.d. S.; Cook, William R.
1
2012
MRI: modular reasoning about interference in incremental programming. Zbl 1267.68090
Oliveira, Bruno C. D. S.; Schrijvers, Tom; Cook, William R.
1
2012
Consistent subtyping for all. Zbl 1418.68039
Xie, Ningning; Bi, Xuan; Oliveira, Bruno C. d. S.
1
2018
Unified syntax with iso-types. Zbl 1483.68065
Yang, Yanpeng; Bi, Xuan; Oliveira, Bruno C.d. S.
1
2016
Consistent subtyping for all. Zbl 1418.68039
Xie, Ningning; Bi, Xuan; Oliveira, Bruno C. d. S.
1
2018
Disjoint polymorphism. Zbl 1485.68052
Alpuim, João; Oliveira, Bruno C. d. S.; Shi, Zhiyuan
2
2017
Disjoint intersection types. Zbl 1361.68046
Oliveira, Bruno C.d. S.; Shi, Zhiyuan; Alpuim, João
3
2016
Unified syntax with iso-types. Zbl 1483.68065
Yang, Yanpeng; Bi, Xuan; Oliveira, Bruno C.d. S.
1
2016
Meta-theory à la carte. Zbl 1301.68218
Delaware, Benjamin; Oliveira, Bruno C.d. S.; Schrijvers, Tom
3
2013
Modular monadic meta-theory. Zbl 1323.68357
Delaware, Benjamin; Keuchel, Steven; Schrijvers, Tom; Oliveira, Bruno C.d. S.
3
2013
GMeta: a generic formal metatheory framework for first-order representations. Zbl 1352.68063
Lee, Gyesik; Oliveira, Bruno C. D. S.; Cho, Sungkeun; Yi, Kwangkeun
3
2012
Functional programming with structured graphs. Zbl 1291.68127
Oliveira, Bruno C.d. S.; Cook, William R.
1
2012
MRI: modular reasoning about interference in incremental programming. Zbl 1267.68090
Oliveira, Bruno C. D. S.; Schrijvers, Tom; Cook, William R.
1
2012
The essence of the ITERATOR pattern. Zbl 1191.68160
Gibbons, Jeremy; Oliveira, Bruno C.d. S.
5
2009
“Scrap your boilerplate” reloaded. Zbl 1185.68196
Hinze, Ralf; Löh, Andres; Oliveira, Bruno C.d. S.
2
2006

Citations by Year