ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
50
views
2
references
Top references
cited by
2
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,581
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Higher Order Logic Theorem Proving and Its Applications
Studying the ML module system in HOL
other
Author(s):
Savi Maharaj
,
Elsa Gunter
Publication date
(Online):
June 8 2005
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Annual Reviews AI, Machine Learning, and Society
Most cited references
2
Record
: found
Abstract
: not found
Book
: not found
The Definition of Standard ML
R. MILNER
,
R Milner
,
R Milner
(1990)
0
comments
Cited
6
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book
: not found
Commentary on Standard ML
R Milner
,
R Milner
(1991)
0
comments
Cited
4
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
1994
Publication date (Online):
June 8 2005
Pages
: 346-361
DOI:
10.1007/3-540-58450-1_53
SO-VID:
997342af-f5b4-4395-9f97-109cadcdda7e
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 407
A parameterized proof manager
pp. 346
Studying the ML module system in HOL
pp. 378
Simplifying deep embedding: A formalised code generator
pp. 456
Representing higher-order logic proofs in HOL
Similar content
2,581
Capturing Hiproofs in HOL Light
Authors:
Steven Obua
,
Mark Adams
,
David Aspinall
Towards the Formal Performance Analysis of Multistate Coherent Systems using HOL Theorem Proving
Authors:
Shahid Ali Murtza
,
Waqar Ahmed
,
Adnan Rashid
…
Smart Induction for Isabelle/HOL (System Description)
Authors:
Yutaka Nagashima
See all similar
Cited by
2
A theory of finite maps
Authors:
Graham Collins
,
Donald Syme
Supporting Reasoning about Functional Programs: An Operational Approach
Authors:
Graham Collins
See all cited by