Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Stone, Christopher A. - Computer Science Department, Harvey Mudd College
SafeforSpace Threads in Standard ML \Lambda Edoardo Biagioni Ken Cline Peter Lee
Under consideration for publication in J. Functional Programming 1 Equational Theories with Recursive Types
Bioimaging 6 (1998) 71--78. Printed in the UK PII: S09669051(98)117847 Systematic detection of subtle
Extensible Objects Without Labels Christopher A. Stone
RZ: a Tool for Bringing Constructive and Computable Mathematics
Elaboration and PhaseSplitting in the TIL/ML Compiler Chris Stone
Extensible Objects Without Labels CHRISTOPHER A. STONE
Under consideration for publication in J. Functional Programming 1 Equational Theories with Recursive Types
A TypeTheoretic Interpretation of Standard ML \Lambda Robert Harper and Christopher Stone
Deciding Type Equivalence in a Language with Singleton Kinds Christopher A. Stone
Privacy via Subsumption Jon G. Riecke
Specifications via Realizability Andrej Bauer
RZ: a Tool for Bringing Constructive and Computable Mathematics
