Tag: Type theory

Tag Visualization: Top 50 related tags by occurrence

Recent Related Articles to Type theory

ethereum

Added to Collection on: 2017-12-11 03:27:31

Tags for this article:

Computing
Software engineering
Computer programming
Data types
C
Const
Type theory
Enumerated type
Struct
C++11

Click the tags to see associated articles and topics

View Article Details
OCamlPro's Liquidity-lang demo at JFLA2018 – a smart-contract design language

Added to Collection on: 2018-02-07 21:27:57

Tags for this article:

Computing
Software engineering
Computer programming
Data types
Anonymous function
Stack
Type theory
Procedural programming languages
Functional languages
Subroutine
Functional programming
OCaml

Click the tags to see associated articles and topics

View Article Details
Coinbase ico

Added to Collection on: 2018-02-20 10:14:27

Tags for this article:

Type theory
Program analysis
Type system

Click the tags to see associated articles and topics

View Article Details
Technology 'unification' project digs into hundreds of North Dakota state systems, websites

Added to Collection on: 2018-08-25 20:56:15

Tags for this article:

Theoretical computer science
Type theory
Mathematical logic
Logic programming
Unification
Logic in computer science
Automated theorem proving
Shawn Riley
Burgum

Click the tags to see associated articles and topics

View Article Details
Facebook AI Explores Automatic Differentiation System For The Kotlin Language

Added to Collection on: 2020-11-29 23:59:57

Tags for this article:

Programming languages
Computing
Computer programming
Type theory
Object-oriented programming languages
Kotlin
Type systems
JetBrains
Type inference
ML
Android

Click the tags to see associated articles and topics

View Article Details
Logic apps object variable

Added to Collection on: 2021-01-28 01:18:45

Tags for this article:

Fields of mathematics
Computing
Academic disciplines
Data types
Type theory
Elementary mathematics
Mathematical logic
Variable
Logic Pro
Hindley–Milner type system
Const
Scope

Click the tags to see associated articles and topics

View Article Details
How to build a basic web app in Flask

Added to Collection on: 2021-06-11 16:41:15

Tags for this article:

Software
Free software
Object-relational mapping
SQLAlchemy
Type theory
Flask
Nullable type
Empty string
PostgreSQL
Unique key

Click the tags to see associated articles and topics

View Article Details
How to build a Kubernetes operator - SearchITOperations.com

Added to Collection on: 2021-12-21 15:59:48

Tags for this article:

Programming languages
Computing
Computer programming
Data types
Type theory
Cross-platform software
Go
Enumerated type
Kubernetes

Click the tags to see associated articles and topics

View Article Details
Transcriptome analysis reveals molecularly distinct subtypes in retinoblastoma - Nature

Added to Collection on: 2023-09-30 21:49:56

Tags for this article:

Object-oriented programming
Polymorphism
Subtyping
Type theory
Retinoblastoma protein
Retinoblastoma

Click the tags to see associated articles and topics

View Article Details