Chuan-kai Lin

Learn More
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even though the type system can handle complex interactions between the two types, most programs require only simple interactions in the form of parametric instantiation and type(More)
An interleaved high step-up dc-dc converter is proposed for high voltage gain and high efficiency applications. The configuration is composed of modified two-phase interleaved boost converter with parallel-input series-output connection and a voltage multiplier module stacking on the output side. In the proposed converter, the parallel-input connection is(More)
  • 1