Sciweavers

1828 search results - page 8 / 366
» First-Class Type Classes
Sort
View
PHOENIX
1991
15 years 29 days ago
Type Classes are Signatures of Abstract Types
Konstantin Läufer, Martin Odersky
CORR
2011
Springer
167views Education» more  CORR 2011»
14 years 4 months ago
Type Classes for Mathematics in Type Theory
Bas Spitters, Eelis van der Weegen
PLPV
2012
ACM
13 years 5 months ago
LTL types FRP: linear-time temporal logic propositions as types, proofs as functional reactive programs
Functional Reactive Programming (FRP) is a form of reactive programming whose model is pure functions over signals. FRP is often expressed in terms of arrows with loops, which is ...
Alan Jeffrey
84
Voted
WER
2001
Springer
15 years 1 months ago
Using the Language Extended Lexicon to Support Non-Functional Requirements Elicitation
Although Non-Functional Requirements (NFR) have been present in many software development methods, they have been faced as a second or even third class type of requirement, frequen...
Luiz Marcio Cysneiros, Julio Cesar Sampaio do Prad...
ISCAS
2005
IEEE
112views Hardware» more  ISCAS 2005»
15 years 3 months ago
Multiple resonance networks with incomplete energy transfer and operating with zero-state response
—This paper discusses two closely related classes of linear “multiple resonance networks”. The first class, instead of transferring all the energy in an input capacitor or in...
Antônio Carlos M. de Queiroz