 |
| λProlog and HOLP video tutorial: 5- Polymorphic & Custom Types. |
Title : λProlog and HOLP video tutorial: 5- Polymorphic & Custom Types.
Duration : 16:47
Channel : Zakaria Chihani
Label : Polymorphism (Field Of Study), Tutorial (Media Genre), λProlog, Programming Language (Software Genre), declarative language, Lambda Prolog, Higher Order Logic Programming, Programming with bindings, Higher Order Abstract Syntax, Declarative Programming, Higher Order Logic, Logic Programming (Programming Language Paradigm), Logic (Quotation Subject)
Duration : 16:47
Channel : Zakaria Chihani
Label : Polymorphism (Field Of Study), Tutorial (Media Genre), λProlog, Programming Language (Software Genre), declarative language, Lambda Prolog, Higher Order Logic Programming, Programming with bindings, Higher Order Abstract Syntax, Declarative Programming, Higher Order Logic, Logic Programming (Programming Language Paradigm), Logic (Quotation Subject)
 |
 |
 |
| λProlog and HOLP video tutorial: 5- Polymorphic & Custom Types. |
Discover polymorphic types! They can be anything you want! And if that is not enough, create your own types using custom types! Okay, this may sound like a lego commercial but all is actually based on solid foundations in logic. This tutorial's website where you will find additional pointers : http://sites.google.com/site/lambdaprologvideotutorial/ My personal website : http://sites.google.com/site/zakchihani/
No comments:
Post a Comment