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

Bibliographic Details
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
id crspringernat:10.1007/978-3-642-12251-4_1
record_format openpolar
spelling crspringernat:10.1007/978-3-642-12251-4_1 2024-03-10T08:33:51+00:00 Beluga: Programming with Dependent Types, Contextual Data, and Contexts Pientka, Brigitte 2010 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 unknown Springer Berlin Heidelberg http://www.springer.com/tdm Functional and Logic Programming Lecture Notes in Computer Science page 1-12 ISSN 0302-9743 1611-3349 ISBN 9783642122507 9783642122514 book-chapter 2010 crspringernat https://doi.org/10.1007/978-3-642-12251-4_1 2024-02-13T14:19:24Z Book Part Beluga Beluga* Springer Nature 1 12
institution Open Polar
collection Springer Nature
op_collection_id crspringernat
language unknown
format Book Part
author Pientka, Brigitte
spellingShingle Pientka, Brigitte
Beluga: Programming with Dependent Types, Contextual Data, and Contexts
author_facet Pientka, Brigitte
author_sort Pientka, Brigitte
title Beluga: Programming with Dependent Types, Contextual Data, and Contexts
title_short Beluga: Programming with Dependent Types, Contextual Data, and Contexts
title_full Beluga: Programming with Dependent Types, Contextual Data, and Contexts
title_fullStr Beluga: Programming with Dependent Types, Contextual Data, and Contexts
title_full_unstemmed Beluga: Programming with Dependent Types, Contextual Data, and Contexts
title_sort beluga: programming with dependent types, contextual data, and contexts
publisher Springer Berlin Heidelberg
publishDate 2010
url 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
genre Beluga
Beluga*
genre_facet Beluga
Beluga*
op_source Functional and Logic Programming
Lecture Notes in Computer Science
page 1-12
ISSN 0302-9743 1611-3349
ISBN 9783642122507 9783642122514
op_rights http://www.springer.com/tdm
op_doi https://doi.org/10.1007/978-3-642-12251-4_1
container_start_page 1
op_container_end_page 12
_version_ 1793129939956924416

Similar Items