Filters
Reconstruction of the Mizar Type System in the HOL Light System
a relatively sophisticated and rich type system, which makes formalization of mathematics in Mizar more intuitive than in other systems. On the other hand, the Mizar type system of proposed translation is...
IN - Informatika
- 2010 •
- D
Rok uplatnění
D - Stať ve sborníku
How to Evaluate the Performance of Gradual Type Systems
A sound gradual type system ensures that untyped components of a program can of gradual type systems. This gap has consequences for the implementors of gradual type to a gradual type system
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
KafKa: Gradual typing for objects
A wide range of gradual type systems have been proposed, providing many details, these gradual type systems embody fundamentally different ideas of what type systems provide distinct guarantees, a...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
On a discrete system of Verhulst's type
A discrete system of Verhulst's type are considered...
BA - Obecná matematika
- 2008 •
- D
Rok uplatnění
D - Stať ve sborníku
Solutions of a max-type system of difference equations
We show, in an elegant way, that the general solution to the max-type system of difference equations is possible to express using Fibonacci sequence......
BA - Obecná matematika
- 2012 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Systemic thinking in education
Basic themes of document: thinking; systems thinking; thinking types; errors in thinking; system thinking...
IN - Informatika
- 2011 •
- D
Rok uplatnění
D - Stať ve sborníku
Data Types in System Dynamics Model
Basic themes of document: Data Types System Dynamics; Data Accessibility; Semantics of Data; Data Warehousing...
IN - Informatika
- 2006 •
- D
Rok uplatnění
D - Stať ve sborníku
Monotonic gradual typing in a common calculus
gradual type systems differ. Each gradual type system comes with tradeoffs. Some type systems. In our previous paper, [1], we described four semantics for gradualGradual typing refers to...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
On the Treshold of the Second Decade of Systems Integration Era
Basic themes of document: systems integration; integration types...
BC - Teorie a systémy řízení
- 2005 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Two-dimensional product-type system of difference equations solvable in closed form
A solvable two-dimensional product-type system of difference equations of interest is presented. Closed form formulas for its general solution are given....
Pure mathematics
- 2016 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
- 1 - 10 out of 278 687