登入選單
Google圖書搜尋
Four Lectures on Standard ML
作者
Mads Tofte
出版1989
ISBN
OCLC:20706345
主題
ML (Computer program language)
Computing with Categories
作者
Rod M. Burstall / David Rydeheard
出版1986
ISBN
OCLC:17411389
主題
Categories (Mathematics)
Decoding Choice Encodings
作者
Uwe Nestmann / Benjamin C. Pierce / University of Cambridge. Computer Laboratory
出版1996
ISBN
UCSC:32106014495078
主題
Computer programming
A Type Discipline for Program Modules
作者
Robert Harper / Robin Milner / Mads Tofte
出版1987
ISBN
OCLC:16807865
主題
Programming languages (Electronic computers)
Formal Program Development in Extended ML for the ...
作者
Donald Sannella
出版1989
ISBN
OCLC:1171222803
主題
ML (Computer program language)
A Survey of Formal Software Development Methods
作者
Donald Sannella
出版1988
ISBN
OCLC:20159209
主題
Computers
Research in Interactive Theorem Proving at Edinbur...
作者
R. M. Burstall
出版1986
ISBN
OCLC:17371121
主題
Automatic theorem proving
Modules and Persistence in Standard ML
作者
Robert Harper
出版1986
ISBN
OCLC:17411392
主題
Computer programming
A Framework for Defining Logics
作者
Robert Harper / Furio Honsell / Gordon Plotkin
出版1987
ISBN
OCLC:16809315
主題
Logic
Extended ML
作者
Donald Sannella / Andrzej Tarlecki
出版1986
ISBN
OCLC:17194204
主題
Computer programs
Proof Search in the LambdaPi-calculus
作者
D. Pym / L. Wallen
出版1991
ISBN
OCLC:123332199
A Calculus of Mobile Processes
作者
R. Milner / J. Parrow / D. J. Walker
出版1989
ISBN
OCLC:20664498
主題
Computers
Investigations Into Proof-search in a System of Fi...
作者
D. Pym / Lincoln A. Wallen
出版1990
ISBN
OCLC:24332826
主題
Lambda calculus
Changes to the Standard ML Core Language
作者
Robin Milner
出版1987
ISBN
OCLC:123327449
主題
Modular programming
An Abstract View of Programming Languages
作者
Eugenio Moggi
出版1990
ISBN
OCLC:220925919
主題
Categories (Mathematics)
Unifying Exceptions with Constructors in Standard ...
作者
Andrew Appel / D. MacQueen / R. Milner
出版1988
ISBN
OCLC:20159317
主題
ML (Computer program language)
CTL* and ECTL* as Fragments of the Modal Mu-calcul...
作者
Mads Dam / University of Edinburgh. Dept. of Computer Science. Laboratory for Foundations of Computer Science
出版1992
ISBN
OCLC:59924997
主題
Computer software
Verification of Programs that Destructively Manipu...
作者
Ian A. Mason
出版1987
ISBN
OCLC:17552984
主題
Equivalence relations (Set theory)
Domain Theoretic Models of Polymorphism
作者
T. Coquand / C. Gunter / G. Winskel / University of Cambridge. Computer Laboratory
出版1987
ISBN
UCAL:B4502331
主題
Calculus
An Equational Formulation of LF.
作者
Robert Harper
出版1988
ISBN
OCLC:256149285
主題
Set theory
Hoare's Logic in the LF.
作者
Ian A. Mason
出版1987
ISBN
OCLC:17552635
主題
Logic, Symbolic and mathematical
Semantic Analysis of Specification Logic
作者
R. D. Tennent
出版1986
ISBN
OCLC:17371143
主題
Computer programming
Proving Correctness of Constructor Implementations
作者
Jordi Farrés-Casals
出版1989
ISBN
OCLC:19657983
主題
Computer programs
Edinburgh University Postgraduate Examination Ques...
作者
D. Sannella
出版1988
ISBN
OCLC:59753110
主題
Computer science
Functor-category Semantics of Programming Language...
作者
R. D. Tennent
出版1986
ISBN
OCLC:14223649
主題
Computer software
Using Typed Lambda Calculus to Implement Formal Sy...
作者
Arnon Avron / F. A. Honsell / Ian A. Mason
出版1987
ISBN
OCLC:17552629
主題
Lambda calculus
Typing Abstract Data Types
作者
Judith Underwood / University of Edinburgh. Dept. of Computer Science. Laboratory for Foundations of Computer Science
出版1995
ISBN
OCLC:60258316
主題
Computer software
Gentzenizing Schroeder-Heister's Natural Extension...
作者
Arnon Avron
出版1987
ISBN
OCLC:16809396
主題
Logic
Computational Lambda-calculus and Monads
作者
Eugenio Moggi
出版1988
ISBN
OCLC:20159229
主題
Lambda calculus
Constructing Type Systems Over an Operational Sema...
作者
Robert Harper
出版1988
ISBN
OCLC:20664426
主題
Type theory