Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
trinder, phil
(4)michaelson, greg
(2)grelck, clemens
(1)huch, frank
(1)lindley, sam
(1)mcbride, conor
(1)pena, ricardo
(1)rauber du bois, andre
(1)sannella, don
(1)Schlagwort
edv
(4)functional programming
(4)functionalprogramming
(4)informatik
(4)programmiersprachen
(4)functional programming languages
(2)functional theorem proving
(2)functionalprogramminglanguages
(2)functionaltheoremproving
(2)funktional
(2)programmieren (edv)
(2)programming
(2)programming languages implementation
(2)software engineering
(2)type systems
(2).net
(1)algorithm
(1)algorithms
(1)compiler und übersetzer
(1)compilers and interpreters
(1)computer science
(1)computer science, general
(1)computerprogrammierung und
(1)computerprogrammierung und softwar
(1)dependent object types
(1)dependentobjecttypes
(1)error reporting
(1)errorreporting
(1)formal semantics
(1)formalsemantics
(1)function-based programming
(1)function-basedprogramming
(1)functional languages
(1)functional logic computation
(1)functionallanguages
(1)functionallogiccomputation
(1)generic programming
(1)genericprogramming
(1)haskell
(1)haskell programming
(1)haskellprogramming
(1)higher-order functional programs
(1)higher-orderfunctionalprograms
(1)java
(1)lambda calculus
(1)lambdacalculus
(1)linear logic
(1)linearlogic
(1)logic
(1)ml
(1)ml programming
(1)mlprogramming
(1)modular language specifications
(1)modularlanguagespecifications
(1)mona
(1)monadic second order logic
(1)multiparty session types
(1)non-deterministic prog
(1)parametricity
(1)parsing
(1)programmier-
(1)programmier- und skriptsprachen, allgemein
(1)programming language design
(1)programming languages, compilers, interpreters
(1)programming techniques
(1)programminglan
(1)programminglanguagedesign
(1)programminglanguagesimplementation
(1)reduct
(1)reduction
(1)scripting languages
(1)scriptinglanguages
(1)software-entw.
(1)theorie
(1)typesystems
(1)virtual machines
(1)Ergebnis: 4 Artikel
Redaktion: phil trinder
