Questions tagged [oop]
Object-oriented programming is a programming paradigm using "objects": an encapsulation consisting of data fields and methods together with their interactions.
2
questions
0
votes
1
answer
101
views
How do you implement what's in the Pierce Book precisely? And why / why not have evaluation just mutate ParseTree's of a PEG parser generator library?
Here is a link to the "Pierce Book" or Benjamin Pierce's draft transcript of (the first part of) "Types and Programming Languages".
On PDF page 28 you'll see an OCaml ...
17
votes
3
answers
572
views
Bringing OOP features into proof assistants?
I am aware that some of the proof assistants (e.g., Isabelle/HOL, Coq) provide an implementation of the so-called record types. For example, the library HOL-Algebra associated with the standard ...
