Suchergebnisse - ASAI, KENICHI

1

Verifying Selective CPS Transformation for Shift and Reset von Ishio, Chiaki, Asai, Kenichi

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

A Functional Abstraction of Typed Invocation Contexts von Cong, Youyou, Ishio, Chiaki, Honda, Kaho, Asai, Kenichi

Veröffentlicht in Logical methods in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Certifying CPS Transformation of Let-Polymorphic Calculus Using PHOAS von Yamada, Urara, Asai, Kenichi

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Stepping OCaml von Furukawa, Tsukino, Cong, Youyou, Asai, Kenichi

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Report on a User Test and Extension of a Type Debugger for Novice Programmers von Ishii, Yuki, Asai, Kenichi

Veröffentlicht in Electronic proceedings in theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

A Weighted Type-Error Slicer von TSUSHIMA, Kanae, ASAI, Kenichi

Veröffentlicht in Computer Software

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Selected and extended papers from Partial Evaluation and Program Manipulation 2015 (PEPM'15) von Asai, Kenichi, Sagonas, Konstantinos

Veröffentlicht in Science of computer programming

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Understanding Algebraic Effect Handlers via Delimited Control Operators von Cong, Youyou, Asai, Kenichi

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Proceedings ML Family Workshop / OCaml Users and Developers workshops: Preface von Asai, Kenichi, Shinwell, Mark

Veröffentlicht in Electronic proceedings in theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Type Debugger using Compiler's Type Inference Engine von TSUSHIMA, Kanae, ASAI, Kenichi

Veröffentlicht in Computer Software

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Program to Create Precipitation Data Using Radar Rainfall Measurements von KAJIYAMA, Atsushi, YAJIMA, Yoshinori, ASAI, Kenichi

Veröffentlicht in Geoinformatics

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Handling delimited continuations with dependent types von Cong, Youyou, Asai, Kenichi

Veröffentlicht in Proceedings of ACM on programming languages

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Special Issue on the 2015 International Conference on Generative Programming: Concepts & Experiences (GPCE) von Gokhale, Aniruddha, Asai, Kenichi, Schultz, Ulrik Pagh

Veröffentlicht in Computer languages, systems & structures

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

A Dependently Typed Language with Delimited Control Operators von CONG, Youyou, ASAI, Kenichi

Veröffentlicht in Computer Software

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Hemoglobin-albumin cluster: physiological responses after exchange transfusion into rats and blood circulation persistence in dogs von Iwasaki, Hitomi, Yokomaku, Kyoko, Kureishi, Moeka, Igarashi, Keisuke, Hashimoto, Ryo, Kohno, Mitsutomo, Iwazaki, Masayuki, Haruki, Risa, Akiyama, Motofusa, Asai, Kenichi, Nakamura, Yuka, Funaki, Ryosuke, Morita, Yoshitsugu, Komatsu, Teruyuki

Veröffentlicht in Artificial cells, nanomedicine, and biotechnology

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

Comparison of Topographical Data and Orthophoto by Aerial Laser Measurements and Satellite Image von KAJIYAMA, Atsushi, YAJIMA, Yoshinori, ASAI, Kenichi

Veröffentlicht in Geoinformatics

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Type System for Four Delimited Control Operators von Ishio, Chiaki, Asai, Kenichi

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Report on PPL 2011 Workshop von KAWACHIYA, Kiyokuni, ASAI, Kenichi

Veröffentlicht in Konpyuta Sofutowea

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Report on PPL 2011 Workshop von KAWACHIYA, Kiyokuni, ASAI, Kenichi

Veröffentlicht in Computer Software

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

Derivation of an Abstract Machine for λ-calculus with Delimited-Continuation Constructs von KITANI, Arisa, ASAI, Kenichi

Veröffentlicht in Computer Software

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

1
2
3
4
5
6
7
8
9
10
11
Nächster
[67]

Verifying Selective CPS Transformation for Shift and Reset von Ishio, Chiaki, Asai, Kenichi

A Functional Abstraction of Typed Invocation Contexts von Cong, Youyou, Ishio, Chiaki, Honda, Kaho, Asai, Kenichi

Certifying CPS Transformation of Let-Polymorphic Calculus Using PHOAS von Yamada, Urara, Asai, Kenichi

Stepping OCaml von Furukawa, Tsukino, Cong, Youyou, Asai, Kenichi

Report on a User Test and Extension of a Type Debugger for Novice Programmers von Ishii, Yuki, Asai, Kenichi

A Weighted Type-Error Slicer von TSUSHIMA, Kanae, ASAI, Kenichi

Selected and extended papers from Partial Evaluation and Program Manipulation 2015 (PEPM'15) von Asai, Kenichi, Sagonas, Konstantinos

Understanding Algebraic Effect Handlers via Delimited Control Operators von Cong, Youyou, Asai, Kenichi

Proceedings ML Family Workshop / OCaml Users and Developers workshops: Preface von Asai, Kenichi, Shinwell, Mark

Type Debugger using Compiler's Type Inference Engine von TSUSHIMA, Kanae, ASAI, Kenichi

Program to Create Precipitation Data Using Radar Rainfall Measurements von KAJIYAMA, Atsushi, YAJIMA, Yoshinori, ASAI, Kenichi

Handling delimited continuations with dependent types von Cong, Youyou, Asai, Kenichi

Special Issue on the 2015 International Conference on Generative Programming: Concepts & Experiences (GPCE) von Gokhale, Aniruddha, Asai, Kenichi, Schultz, Ulrik Pagh

A Dependently Typed Language with Delimited Control Operators von CONG, Youyou, ASAI, Kenichi

Comparison of Topographical Data and Orthophoto by Aerial Laser Measurements and Satellite Image von KAJIYAMA, Atsushi, YAJIMA, Yoshinori, ASAI, Kenichi

Type System for Four Delimited Control Operators von Ishio, Chiaki, Asai, Kenichi

Report on PPL 2011 Workshop von KAWACHIYA, Kiyokuni, ASAI, Kenichi

Report on PPL 2011 Workshop von KAWACHIYA, Kiyokuni, ASAI, Kenichi

Derivation of an Abstract Machine for λ-calculus with Delimited-Continuation Constructs von KITANI, Arisa, ASAI, Kenichi

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle