Beluga: Programming with Dependent Types, Contextual Data, and Contexts

• Main Author: Pientka, Brigitte
• Format: Book Part
• Language: unknown
• Published: Springer Berlin Heidelberg 2010
• Subjects: Beluga; Beluga*
• Online Access: http://dx.doi.org/10.1007/978-3-642-12251-4_1; http://link.springer.com/content/pdf/10.1007/978-3-642-12251-4_1