Programming languages and systems : 22nd Asian symposium, APLAS 2024 : Kyoto, Japan, October 22-24, 2024 : proceedings Corrected publication 2025 (Lecture notes in computer science ; 15194)

Programming languages and systems : 22nd Asian symposium, APLAS 2024 : Kyoto, Japan, October 22-24, 2024 : proceedings

Corrected publication 2025

(Lecture notes in computer science ; 15194)

Call No. (NDL): M17-25-73
Bibliographic ID of National Diet Library: 033765078

Material type: 図書

Author: APLAS (Symposium) (22nd : 2024 : Kyoto, Japan)ほか

Publisher: Springer

Publication date: [2025]

Material Format: Paper

Capacity, size, etc.: x, 388, C1-2, 389 pages ; 24 cm

NDC: -

View All

Notes on use

Note (General)：: Papers

Other physical details：: illustrations (chiefly color)

Detailed bibliographic record

Contents：: Type theory and Semantic FrameworksComparing semantic frameworks of dependently sorted algebraic theoriesRandom access lists from EE to FP...

Summary, etc.：: This book constitutes the proceedings of the 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024, held in Kyoto, Japan, during Octob...

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 9819789427
9789819789429
9789819789436 (electronic bk.)
9819789435 (electronic bk.)
ISSN (series): 0302-9743
Title: Programming languages and systems : 22nd Asian symposium, APLAS 2024 : Kyoto, Japan, October 22-24, 2024 : proceedings
Edition: Corrected publication 2025
Series Title: Lecture notes in computer science ; 15194
Author Heading: APLAS (Symposium) (22nd : 2024 : Kyoto, Japan)
Kiselyov, Oleg
Asian Association for Foundation of Software
Publication, Distribution, etc.: Singapore : Springer (出版)
Publication Date (W3CDTF): 2025
Extent: x, 388, C1-2, 389 pages
Other physical details: illustrations (chiefly color)
Size: 24 cm
Additional Title: Oct 2024, Kyoto, Japan
Place of Publication (Country Code): SG
Text Language Code: eng
Genre/Form Terms: proceedings (reports)
Conference papers and proceedings.
Actes de congrès.
Content Type: text
Media Type: unmediated
Carrier Type: volume
Subject Heading: Programming languages (Electronic computers)--Congresses
LCC: QA76.7
DDC: 005.13
NDLC: M17
Target Audience: 一般
Note (General): Papers
Note (Bibliography): Includes bibliographical references and author index
Source: https://public.ebookcentral.proquest.com/choice/PublicFullRecord.aspx?p=31743520
Holding library: 国立国会図書館
Call No.: M17-25-73
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 033765078
http://id.ndl.go.jp/bib/033765078
Cataloging Rule: RDA
Bibliographic Record Category (NDL): 215