Simple view
Full metadata view
Authors
Statistics
Boltzmann samplers for closed simply-typed lambda terms
Publisher
Springer
Author
Bendkowski Maciej
Grygiel Katarzyna
Tarau Paul
Editor
Lierler Yuliya
Taha Walid
Book title / Journal title
Practical Aspects of Declarative Languages : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017 : proceedings
Place of publication: Publisher
Cham : Springer
Pages
120-135
ISBN
978-3-319-51675-2
eISBN
978-3-319-51676-9
Series
LNCS Sublibrary. SL2, Programming and Software EngineeringLecture Notes in Computer Science
Serie's ISSN
0302-9743
Serie's eISSN
1611-3349
Number of serie
10137
Language
English
Book language / Journal language
English
Conference
19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017)
Conference short name
PADL
Conference start date
2017-01-16
End date conference
2017-01-17
Conference city
Paryż
Conference country
Francja
Conference type
international
Affiliation
Wydział Matematyki i Informatyki : Zespół Katedr i Zakładów Informatyki Matematycznej
Scopus© citations
8
| dc.affiliation | Wydział Matematyki i Informatyki : Zespół Katedr i Zakładów Informatyki Matematycznej | pl |
| dc.conference | 19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017) | |
| dc.conference.city | Paryż | |
| dc.conference.country | Francja | |
| dc.conference.datefinish | 2017-01-17 | |
| dc.conference.datestart | 2017-01-16 | |
| dc.conference.indexscopus | true | |
| dc.conference.indexwos | true | |
| dc.conference.shortcut | PADL | |
| dc.contributor.author | Bendkowski, Maciej - 177150 | pl |
| dc.contributor.author | Grygiel, Katarzyna - 136103 | pl |
| dc.contributor.author | Tarau, Paul | pl |
| dc.contributor.editor | Lierler, Yuliya | pl |
| dc.contributor.editor | Taha, Walid | pl |
| dc.date.accessioned | 2017-04-27T10:30:23Z | |
| dc.date.available | 2017-04-27T10:30:23Z | |
| dc.date.issued | 2017 | pl |
| dc.description.conftype | international | pl |
| dc.description.physical | 120-135 | pl |
| dc.description.publication | 0,9 | pl |
| dc.description.series | LNCS Sublibrary. SL2, Programming and Software Engineering | |
| dc.description.series | Lecture Notes in Computer Science | |
| dc.description.seriesnumber | 10137 | |
| dc.identifier.doi | 10.1007/978-3-319-51676-9_8 | pl |
| dc.identifier.eisbn | 978-3-319-51676-9 | pl |
| dc.identifier.isbn | 978-3-319-51675-2 | pl |
| dc.identifier.serieseissn | 1611-3349 | |
| dc.identifier.seriesissn | 0302-9743 | |
| dc.identifier.uri | http://ruj.uj.edu.pl/xmlui/handle/item/39844 | |
| dc.language | eng | pl |
| dc.language.container | eng | pl |
| dc.pubinfo | Cham : Springer | pl |
| dc.publisher.ministerial | Springer | pl |
| dc.rights | Dodaję tylko opis bibliograficzny | * |
| dc.rights.licence | Bez licencji otwartego dostępu | |
| dc.rights.uri | * | |
| dc.subtype | ConferenceProceedings | pl |
| dc.title | Boltzmann samplers for closed simply-typed lambda terms | pl |
| dc.title.container | Practical Aspects of Declarative Languages : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017 : proceedings | pl |
| dc.type | BookSection | pl |
| dspace.entity.type | Publication |
dc.affiliationpl
Wydział Matematyki i Informatyki : Zespół Katedr i Zakładów Informatyki Matematycznej dc.conference
19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017) dc.conference.city
Paryż dc.conference.country
Francja dc.conference.datefinish
2017-01-17 dc.conference.datestart
2017-01-16 dc.conference.indexscopus
true dc.conference.indexwos
true dc.conference.shortcut
PADL dc.contributor.authorpl
Bendkowski, Maciej - 177150 dc.contributor.authorpl
Grygiel, Katarzyna - 136103 dc.contributor.authorpl
Tarau, Paul dc.contributor.editorpl
Lierler, Yuliya dc.contributor.editorpl
Taha, Walid dc.date.accessioned
2017-04-27T10:30:23Z dc.date.available
2017-04-27T10:30:23Z dc.date.issuedpl
2017 dc.description.conftypepl
international dc.description.physicalpl
120-135 dc.description.publicationpl
0,9 dc.description.series
LNCS Sublibrary. SL2, Programming and Software Engineering dc.description.series
Lecture Notes in Computer Science dc.description.seriesnumber
10137 dc.identifier.doipl
10.1007/978-3-319-51676-9_8 dc.identifier.eisbnpl
978-3-319-51676-9 dc.identifier.isbnpl
978-3-319-51675-2 dc.identifier.serieseissn
1611-3349 dc.identifier.seriesissn
0302-9743 dc.identifier.uri
http://ruj.uj.edu.pl/xmlui/handle/item/39844 dc.languagepl
eng dc.language.containerpl
eng dc.pubinfopl
Cham : Springer dc.publisher.ministerialpl
Springer dc.rights*
Dodaję tylko opis bibliograficzny dc.rights.licence
Bez licencji otwartego dostępu dc.rights.uri*
dc.subtypepl
ConferenceProceedings dc.titlepl
Boltzmann samplers for closed simply-typed lambda terms dc.title.containerpl
Practical Aspects of Declarative Languages : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017 : proceedings dc.typepl
BookSection dspace.entity.type
Publication * The migration of download and view statistics prior to the date of April 8, 2024 is in progress.
Views
3
Views per month
Views per city
Ashburn
1
Beijing
1