Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with logic
Search options not deleted
user 15559
Questions related to mathematical logic and its use in computer science
1
vote
What do we gain by having "dependent types"?
Think of type declarations as nothing more than assertions. Currently, all you can say is things like isInt32(), isCharPtr(), etc. These various assertions are chosen to be checkable at compile-time …
- 490
2
votes
Accepted
Type checking relation to logic
https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ - This book.
A type for a parameter is like a precondition, and a type for a return value is like a postcondition. Structs function as an AND opera …
- 490