First-Class Contexts in ML (English)
- New search for: Hashimoto, Masatomo
- New search for: Hsiang, Jieh
- New search for: Ohori, Atsushi
- New search for: Hashimoto, Masatomo
In:
Advances in Computing Science ASIAN 98
: 4th Asian Computing Science Conference Manila, The Philippines, December 8–10, 1998 Proceedings
;
Chapter: 16
;
206-223
;
1998
-
ISSN:
- Article/Chapter (Book) / Electronic Resource
-
Title:First-Class Contexts in ML
-
Contributors:
-
Conference:Annual Asian Computing Science Conference ; 1998 ; Manila, Philippines
-
Published in:Advances in Computing Science ASIAN 98 : 4th Asian Computing Science Conference Manila, The Philippines, December 8–10, 1998 Proceedings ; Chapter: 16 ; 206-223Lecture Notes in Computer Science ; 1538 ; 206-223
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:1998-11-30
-
Size:18 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Testing Proofs by ExamplesHayashi, Susumu / Sumitomo, Ryosuke et al. | 1998
- 2
-
Rigid ReachabilityGanzinger, Harald / Jacquemard, Florent / Veanes, Margus et al. | 1998
- 3
-
Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem ProverKapur, Deepak / Subramaniam, M. et al. | 1998
- 4
-
A Polymorphic Language Which Is Typable and Poly-stepRoversi, Luca et al. | 1998
- 5
-
Cut Elimination for Classical Proofs as Continuation Passing Style ComputationOgata, Ichiro et al. | 1998
- 6
-
Semantics and Logic for Provable Fault-Tolerance, A TutorialJanowski, Tomasz et al. | 1998
- 7
-
The Rewriting Calculus as a Semantics of ELANCirstea, Horatiu / Kirchner, Claude et al. | 1998
- 8
-
Tried Linear HashingAng, C. H. / Tan, S. T. / Tan, T. C. et al. | 1998
- 9
-
A New Factoring Algorithm for Magic PredicatesDu, Xiaoyong / Liu, Zhibin / Ishii, Naohiro et al. | 1998
- 10
-
An Optimal Parallel Algorithm for the Perfect Dominating Set Problem on Distance-Hereditary GraphsHsieh, Sun-Yuan / Chen, Gen-Huey / Ho, Chin-Wen et al. | 1998
- 11
-
Taxonomy and Expressiveness of Preemption: A Syntactic ApproachPinchinat, Sophie / Rutten, Éric / Shyamasundar, R. K. et al. | 1998
- 12
-
Exploring Regional Locality in Distributed Shared MemoryHuang, Zhiyi / Sun, Chengzheng / Sattar, Abdul et al. | 1998
- 13
-
Guaranteed Mutually Consistent Checkpointing in Distributed ComputationsYang, Zhonghua / Sun, Chengzheng / Sattar, Abdul / Yang, Yanyan et al. | 1998
- 14
-
Type Inference for First-Class Messages with Feature ConstraintsMüller, Martin / Nishimura, Susumu et al. | 1998
- 15
-
Two Flavors of Offine Partial EvaluationHelsen, Simon / Thiemann, Peter et al. | 1998
- 16
-
First-Class Contexts in MLHashimoto, Masatomo et al. | 1998
- 17
-
Formal Methods: Past, Present, and FutureWing, Jeannette M. et al. | 1998
- 18
-
A Comparison of Petri Net Semantics under the Collective Token PhilosophyBruni, Roberto / Meseguer, José / Montanari, Ugo / Sassone, Vladimiro et al. | 1998
- 19
-
Bisimulation Lattice of Chi ProcessesFu, Yuxi et al. | 1998
- 20
-
Eventuality in LOTOS with a Disjunction OperatorIsobe, Yoshinao / Sato, Yutaka / Ohmaki, Kazuhito et al. | 1998
- 21
-
Towards a Characterisation of Finite-State Message-Passing SystemsMukund, Madhavan / Kumar, K. Narayan / Radhakrishnan, Jaikumar / Sohoni, Milind et al. | 1998
- 22
-
Mobile Computation: Calculus and Languages (A Tutorial)Raja, N. / Shyamasundar, R. K. et al. | 1998