Your browser does not allow JavaScript!
JavaScript is necessary for the proper functioning of this website. Please enable JavaScript or use a modern browser.
Open Science Slovenia
Open Science
DiKUL
slv
|
eng
Search
Browse
New in RUL
About RUL
In numbers
Help
Sign in
Preverjanje pravilnosti programov z odvisnimi tipi v programskem jeziku Idris : diplomsko delo
ID
Repas, Blaž
(
Author
),
ID
Mihelič, Jurij
(
Mentor
)
More about this mentor...
PDF - Presentation file,
Download
(419,64 KB)
MD5: 3755D6CF290C4A0B7B2A48786EBF280B
Image galllery
Language:
Slovenian
Keywords:
odvisni tipi
,
pravilnost programov
,
programski jezik Idris
,
računalništvo
,
računalništvo in informatika
,
univerzitetni študij
,
diplomske naloge
Work type:
Bachelor thesis/paper
Typology:
2.11 - Undergraduate Thesis
Organization:
FRI - Faculty of Computer and Information Science
Place of publishing:
Ljubljana
Publisher:
B. Repas
Year:
2014
Number of pages:
77 str.
PID:
20.500.12556/RUL-158077
UDC:
004.42(043.2)
COBISS.SI-ID:
1536094403
Publication date in RUL:
26.05.2024
Views:
186
Downloads:
15
Metadata:
Cite this work
Plain text
BibTeX
EndNote XML
EndNote/Refer
RIS
ABNT
ACM Ref
AMA
APA
Chicago 17th Author-Date
Harvard
IEEE
ISO 690
MLA
Vancouver
:
Copy citation
Share:
Secondary language
Language:
English
Keywords:
dependent types
,
program correctness
,
Idris programming language
,
computer science
,
computer and information science
,
diploma
Similar documents
Similar works from RUL:
Similar works from other Slovenian collections:
Back