An implementation of subtyping among regular expression types
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Saved in:
Main Authors: | Lu, K.Z.M., Sulzmann, M. |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Article |
Published: |
2013
|
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/39365 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
XHaskell - Adding regular expression types to Haskell
by: Sulzmann, M., et al.
Published: (2013) -
A type-safe embedding of XDuce into ML
by: Sulzmann, M., et al.
Published: (2013) -
XHaskell - Adding regular expression types to haskell
by: LU ZHUO MING
Published: (2010) -
Language-Based Program Verification via Expressive Types
by: Sulzmann, M., et al.
Published: (2013) -
Variation of nicotinic subtype α7 and muscarinic subtype M3 acetylcholine receptor expression in three main types of leukemia
by: Tawit Suriyo, et al.
Published: (2020)