Sciweavers

1828 search results - page 8 / 366
» First-Class Type Classes
Sort
View
PHOENIX
1991
13 years 12 months ago
Type Classes are Signatures of Abstract Types
Konstantin Läufer, Martin Odersky
CORR
2011
Springer
167views Education» more  CORR 2011»
13 years 3 months ago
Type Classes for Mathematics in Type Theory
Bas Spitters, Eelis van der Weegen
PLPV
2012
ACM
12 years 4 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
WER
2001
Springer
14 years 26 days 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»
14 years 2 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